Constructor-based Logics.
Daniel GâinâKokichi FutatsugiKazuhiro OgataPublished in: J. Univers. Comput. Sci. (2012)
Keyphrases
- number restrictions
- description logics
- expressive power
- modal logic
- classical logic
- propositional calculus
- proof theory
- temporal logic
- inference rules
- artificial intelligence
- epistemic logic
- conditional logic
- multi agent systems
- data structure
- default logic
- video sequences
- multi agent
- knowledge base
- proof theoretic
- databases
- inheritance reasoning