Hypothesis-based semantics of logic programs in multivalued logics.

Yann Loyer Nicolas Spyratos Daniel Stamate

Published in: ACM Trans. Comput. Log. (2004)

Keyphrases

semantics of logic programs
truth values
logic programs
deductive databases
answer sets
multi valued
expressive power
fixpoint
logic programming
modal logic
inference rules
information systems
answer set programming
knowledge management
general purpose
default logic
relational databases
database systems