A Multiple-Valued Logical Semantics for Prolog.
Roberto BarbutiPaolo MancarellaPublished in: ESOP (1996)
Keyphrases
- multiple valued
- logic programming
- multiple valued logic
- multi valued
- valued logic
- boolean functions
- file organization
- truth values
- continuous attributes
- logic programs
- expert systems
- programming language
- complex valued
- knowledge representation
- classical logic
- decision diagrams
- propositional logic
- neural network
- continuous data
- answer set programming
- knowledge base