Partial algebras for Lukasiewicz logics and its extensions.
Thomas VetterleinPublished in: Arch. Math. Log. (2005)
Keyphrases
- modal logic
- default logic
- truth values
- expressive power
- knowledge representation formalisms
- inference rules
- spatial reasoning
- nonmonotonic logics
- temporal logic
- decision procedures
- default theories
- situation calculus
- efficient implementation
- artificial intelligence
- real time
- classical logic
- expert systems
- multi agent
- website
- autoepistemic logic
- epistemic logic
- valued logic
- data sets