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.

Journals publishing in this area

1

Fuzzy Sets and Systems

ISSN 0165-0114480 articles in this topic

264h-index

2.13Impact

11.4KArticles

500KCitations

2

Machine Learning

Machine Learning

ISSN 0885-6125125 articles in this topic

260h-index

2.73Impact

3.9KArticles

620.6KCitations