{"cited_by_count":1307827,"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.","display_name":"Logic, Reasoning, and Knowledge","domain_id":"3","external_ids":{"openalex":"https://openalex.org/T11010","wikipedia":"https://en.wikipedia.org/wiki/Logic_programming"},"field_id":"17","id":"T11010","keywords":[{"display_name":"modal logic","id":"modal-logic","score":0.5028,"url":"https://openalex.org/keywords/modal-logic"},{"display_name":"nonmonotonic reasoning","id":"non-monotonic-reasoning","score":0.7575,"url":"https://openalex.org/keywords/non-monotonic-reasoning"},{"display_name":"logic programming","id":"logic-programming","score":0.3105,"url":"https://openalex.org/keywords/logic-programming"},{"display_name":"first-order logic","id":"first-order-logic","score":0.2843,"url":"https://openalex.org/keywords/first-order-logic"},{"display_name":"belief revision","id":"belief-revision","score":0.4388,"url":"https://openalex.org/keywords/belief-revision"},{"display_name":"propositional logic","id":"propositional-logic","score":0.3756,"url":"https://openalex.org/keywords/propositional-logic"},{"display_name":"description logics","id":"description-logics","score":0.3738,"url":"https://openalex.org/keywords/description-logics"},{"display_name":"formal logic","id":"formal-logic","score":0.3555,"url":"https://openalex.org/keywords/formal-logic"},{"display_name":"epistemic logic","id":"epistemic-logic","score":0.6074,"url":"https://openalex.org/keywords/epistemic-logic"},{"display_name":"temporal logic","id":"temporal-logic","score":0.2517,"url":"https://openalex.org/keywords/temporal-logic"},{"display_name":"answer set programming","id":"answer-set-programming","score":0.5672,"url":"https://openalex.org/keywords/answer-set-programming"},{"display_name":"automated reasoning","id":"automated-reasoning","score":0.296,"url":"https://openalex.org/keywords/automated-reasoning"},{"display_name":"soundness and completeness","id":"soundness-and-completeness","score":0.3481,"url":"https://openalex.org/keywords/soundness-and-completeness"},{"display_name":"syllogism","id":"syllogism","score":0.2339,"url":"https://openalex.org/keywords/syllogism"},{"display_name":"deontic logic","id":"deontic-logic","score":0.5708,"url":"https://openalex.org/keywords/deontic-logic"},{"display_name":"Kripke semantics","id":"possible-worlds-semantics","score":0.4134,"url":"https://openalex.org/keywords/possible-worlds-semantics"},{"display_name":"logical consequence","id":"logical-consequence","score":0.3144,"url":"https://openalex.org/keywords/logical-consequence"},{"display_name":"temporal reasoning","id":"temporal-reasoning","score":0.2373,"url":"https://openalex.org/keywords/temporal-reasoning"},{"display_name":"logical inference","id":"logical-inference","score":0.337,"url":"https://openalex.org/keywords/logical-inference"},{"display_name":"default logic","id":"default-logic","score":0.8678,"url":"https://openalex.org/keywords/default-logic"},{"display_name":"non-classical logic","id":"non-classical-logic","score":0.41,"url":"https://openalex.org/keywords/non-classical-logic"},{"display_name":"default reasoning","id":"default-reasoning","score":0.7548,"url":"https://openalex.org/keywords/default-reasoning"},{"display_name":"syllogistic","id":"syllogistic-logic","score":0.2203,"url":"https://openalex.org/keywords/syllogistic-logic"},{"display_name":"uncertainty reasoning","id":"reasoning-under-uncertainty","score":0.2082,"url":"https://openalex.org/keywords/reasoning-under-uncertainty"},{"display_name":"sequent calculus","id":"sequent-calculus","score":0.2217,"url":"https://openalex.org/keywords/sequent-calculus"}],"legacy_keywords":["Answer Set Programming","Modal Logic","Knowledge Representation","Belief Revision","Temporal Logic","Epistemic Logic","Nonmonotonic Reasoning","Description Logics","Model Checking","Constraint Logic Programming"],"openalex_id":"https://openalex.org/T11010","source_created_date":"2024-01-23T15:27:09","source_updated_date":"2026-10-17T03:02:00","subfield_id":"1702","url":"/topics/T11010","works_api_url":"https://api.openalex.org/works?filter=topics.id:T11010","works_count":124412,"label":"Logic, Reasoning, and Knowledge","provider":"openalex","revision":"0ae887b895a7f149","taxonomy_revision":"f050b5d4780b1289","title":"Logic, Reasoning, and Knowledge","kind":"topic-directory","aeo_cohort":"topic-directory","catalogue_revision":"f050b5d4780b1289","numeric_address":"36174792625358035","address_version":"morton4x16-v1","coordinates":[3,17,1702,11010],"answer_status":"Directory metadata; local answer requires separate source review","truth_status":"Subject descriptor, not a factual answer or a demonstrated knowledge gap","reviewed_answer":null}