Syntactical Truth Predicates for Formulas with Atomic Negation.
Loïc ColsonPublished in: Math. Struct. Comput. Sci. (2002)
Keyphrases
- horn clauses
- truth values
- inference rules
- fixpoint
- horn clause logic
- logic programs
- first order logic
- datalog programs
- quantifier free
- logical formulas
- inductive logic programming
- predicate logic
- logic programming
- representation language
- background knowledge
- multi valued
- function symbols
- database queries
- neural network
- database
- deductive databases
- expressive power
- quantifier elimination
- natural language text
- temporal logic
- databases
- data sets