Keyphrases
- classical logic
- data sets
- plan recognition
- modal logic
- logic programming
- asynchronous circuits
- planning domains
- defeasible logic
- search algorithm
- truth values
- sound and complete axiomatization
- case study
- dynamic logic
- digital circuits
- database
- logical framework
- ai planning
- machine learning
- decision theoretic
- artificial intelligence
- domain independent
- knowledge base