Embedding from multilattice logic into classical logic and vice versa.
Norihiro KamideYaroslav ShramkoPublished in: J. Log. Comput. (2017)
Keyphrases
- classical logic
- logic programming
- modal logic
- intuitionistic logic
- autoepistemic logic
- possibilistic logic
- default logic
- revision operators
- valued logic
- commonsense reasoning
- default theories
- computer science and artificial intelligence
- temporal logic
- nonmonotonic reasoning
- machine learning
- theorem prover
- general purpose
- data model
- knowledge base
- artificial intelligence