Keyphrases
- logic programming
- classical logic
- modal logic
- multi valued
- logical framework
- sound and complete axiomatization
- logic synthesis
- dynamic logic
- predicate logic
- feature selection
- search engine
- real world
- automated reasoning
- information management
- data model
- computational properties
- nonmonotonic logics
- digital circuits
- formal theory
- abductive reasoning
- epistemic logic
- proof theory
- databases
- real time