Keyphrases
- abductive reasoning
- logic programming
- logic programs
- modal logic
- classical logic
- data mining
- automated reasoning
- nonmonotonic reasoning
- natural deduction
- dynamic logic
- asynchronous circuits
- formal theory
- predicate logic
- reasoning tasks
- real time
- inference rules
- background knowledge
- programming language
- multi agent
- data sets