Infinitary Classical Logic: Recursive Equations and Interactive Semantics.
Michele BasaldellaPublished in: CL&C (2014)
Keyphrases
- classical logic
- logic programming
- valued logic
- possibilistic logic
- autoepistemic logic
- intuitionistic logic
- logic programs
- modal logic
- commonsense reasoning
- default theories
- knowledge representation
- strong equivalence
- answer set programming
- datalog programs
- default logic
- deductive databases
- knowledge base
- computer science and artificial intelligence
- linear logic
- machine learning
- nonmonotonic logics
- possibility theory
- nonmonotonic reasoning
- programming language
- fuzzy logic