Truth-Value Semantics and Functional Extensions for Classical Logic of Partial Terms Based on Equality.
Franco ParlamentoPublished in: Notre Dame J. Formal Log. (2014)
Keyphrases
- classical logic
- valued logic
- logic programming
- default theories
- default logic
- intuitionistic logic
- propositional logic
- autoepistemic logic
- possibilistic logic
- logic programs
- modal logic
- fuzzy sets
- argumentation semantics
- nonmonotonic logics
- knowledge representation
- fuzzy logic
- default reasoning
- expert systems
- data model
- probability distribution
- computational intelligence
- nonmonotonic reasoning
- answer set programming
- artificial intelligence
- query evaluation
- first order logic