Topic · Artificial Intelligence
Logic, Reasoning, and Knowledge
Logic, Reasoning, and Knowledge is a research topic within Artificial Intelligence. Science Explorer counts 39k research works in it since 1950. 9.9% of them reached the world's top 10% most cited for their field and year.
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.
- Answer Set Programming
- Modal Logic
- Knowledge Representation
- Belief Revision
- Temporal Logic
- Epistemic Logic
- Nonmonotonic Reasoning
- Description Logics
- Model Checking
- Constraint Logic Programming
- Research works
- 39k fractional, since 1950
- In the world top 10%
- 3.8k per year above
- Top-10% rate
- 9.9% share of its works in the world top 10%
- Growth, 2018-21 → 2022-25
- -14% the tick is no change
- Largest producer
United States
24% of the 10 largest, 2022-now
Discussion
Ask a question or share a note about Logic, Reasoning, and Knowledge. Posts are plain text and can be reported.