Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs.

Mauricio Osorio Verónica Borja Macías José Arrazola

Published in: IBERAMIA (2004)

Keyphrases

truth values
semantics of logic programs
modal logic
inference rules
logic programming
logic programs
nonmonotonic logics
multi valued
deductive databases
fixpoint
data structure
model checking
integrity constraints
answer sets
automated reasoning