ParaLog_e: A Paraconsistent Evidential Logic Programming Language.
Bráulio Coelho ÁvilaJair Minoro AbeJosé Pacheco de Almeida PradoPublished in: SCCC (1997)
Keyphrases
- logic programming language
- logic programming
- inference rules
- logic programs
- declarative semantics
- nonmonotonic reasoning
- constraint logic programming
- answer set programming
- knowledge representation
- deductive databases
- programming language
- default logic
- stable models
- truth values
- classical logic
- knowledge base
- belief functions
- answer sets
- situation calculus
- expert systems
- data model
- linear programming
- optimal solution
- object oriented
- machine learning