# Logic, Reasoning, and Knowledge

**Type:** Topics  
**Canonical URL:** https://scholariq.org/topics/logic-reasoning-and-knowledge-2/

## Facts

| Field | Value |
| --- | --- |
| Citations | 924,261 |
| Description | This cluster of papers focuses on the intersection of logic programming, knowledge representation, and reasoning. It encompasses topics such as answer set programming, modal logic, belief revision, temporal logic, epistemic logic, nonmonotonic reasoning, description logics, model checking, and constraint logic programming. |
| Domain | Physical Sciences |
| Field | Computer Science |
| OpenAlex ID | https://openalex.org/T11010 |
| Works | 76,992 |

## Topic researchers

Showing 12 of 20.

- [Amos Tversky](https://scholariq.org/researchers/amos-tversky/)
- [Herbert A. Simon](https://scholariq.org/researchers/herbert-a-simon/)
- [Lotfi A. Zadeh](https://scholariq.org/researchers/lotfi-a-zadeh/)
- [Francisco Herrera](https://scholariq.org/researchers/francisco-herrera/)
- [Sebastian Thrun](https://scholariq.org/researchers/sebastian-thrun/)
- [L. A. Zadeh](https://scholariq.org/researchers/l-a-zadeh/)
- [Nir Friedman](https://scholariq.org/researchers/nir-friedman/)
- [Russell A. Poldrack](https://scholariq.org/researchers/russell-a-poldrack/)
- [Ronald R. Yager](https://scholariq.org/researchers/ronald-r-yager/)
- [Judea Pearl](https://scholariq.org/researchers/judea-pearl/)
- [George Lakoff](https://scholariq.org/researchers/george-lakoff/)
- [David E. Goldberg](https://scholariq.org/researchers/david-e-goldberg/)

---
Source: ScholarIQ — public research metadata, principally OpenAlex. See https://scholariq.org/sources/ for provenance and https://scholariq.org/methodology/ for what these figures mean.