An Alternative Foundation for DeLP: Defeating Relations and Truth Values.

Ignacio D. Viglizzo Fernando A. Tohmé Guillermo Ricardo Simari

Published in: FoIKS (2008)

Keyphrases

truth values
inference rules
multi valued
boolean logic
lattice structure
fixpoint
deductive databases
databases
hidden markov models
pattern matching
functional dependencies
valued logic
linearly ordered
semantics of logic programs