Keyphrases
- cognitive science
- knowledge representation
- automated reasoning
- modal logic
- artificial intelligence
- information processing
- logic programming
- natural language
- database
- domain knowledge
- multi valued
- proof theory
- deontic logic
- epistemic logic
- formal theory
- predicate logic
- set theory
- defeasible logic
- classical logic
- owl ontologies
- context dependent
- website
- domain ontology
- computer science
- expert systems
- domain specific