Physical Sciences › Informatique › Artificial Intelligence › Logic, Reasoning, and Knowledge

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.

Questions & réponses

Aucune question publiée pour cette rubrique. Posez la première ci-dessous.