Completeness via Correspondence for Extensions of the Logic of Paradox.
Barteld P. KooiAllard M. TammingaPublished in: Rev. Symb. Log. (2012)
Keyphrases
- default theories
- classical logic
- default logic
- logic programming
- modal logic
- knowledge representation formalisms
- defeasible logic
- multi valued
- truth maintenance systems
- shape similarity
- probabilistic logic
- automated reasoning
- point correspondences
- knowledge representation
- image sequences
- neural network
- feature matching
- image matching
- computational properties
- digital circuits
- predicate logic
- modal operators
- asynchronous circuits
- search engine
- machine learning