Searching for Well-Behaved Fragments of Halpern-Shoham Logic.
Przemyslaw Andrzej WalegaPublished in: IJCAI (2017)
Keyphrases
- temporal logic
- modal logic
- formal theory
- modal operators
- predicate logic
- model checking
- reasoning about actions
- logic programming
- classical logic
- multi agent learning
- asynchronous circuits
- belief update
- automated reasoning
- epistemic logic
- inference rules
- defeasible logic
- causal models
- satisfiability problem
- search engine
- machine learning