Keyphrases
- conceptual graphs
- modal logic
- temporal logic
- decision procedures
- inference rules
- natural language
- nonmonotonic logics
- knowledge structures
- epistemic logic
- situation calculus
- conceptual structures
- partial order
- retrieval engine
- object oriented dbms
- model checking
- domain ontology
- incomplete information
- test collection
- information extraction
- database