Relating only knowing to minimal belief and negation as failure.

Published in: J. Exp. Theor. Artif. Intell. (1994)

Keyphrases

logic programming
belief revision
genetic algorithm
information systems
containment of conjunctive queries
deductive databases
belief functions
truth values
failure recovery
component failures