Logic, Reasoning, and Knowledge
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.
Papers listed on taxonomy pages are the top few works per node from the OpenAlex snapshot. That list is not exhaustive and is not an endorsement. The topic map and the journal registry remain separate: there is still no authoritative topic-to-venue or topic-to-organization edge. Search is a lexical lookup, not a claim that a venue publishes a topic.