From Hybrid Modal Logic to Matching Logic and back.
Ioana LeusteanNatalia MoangaTraian-Florin SerbanutaPublished in: FROM (2019)
Keyphrases
- modal logic
- temporal logic
- inference rules
- decision procedures
- nonmonotonic logics
- classical logic
- epistemic logic
- modal operators
- dynamic logic
- conditional logic
- matching algorithm
- situation calculus
- default logic
- autoepistemic logic
- prime implicates
- model checking
- description logic alc
- explanation based generalization
- logical framework
- multi agent systems
- general logic programs
- artificial intelligence