Computing Well-founded Semantics Faster.

Kenneth A. Berman John S. Schlipf John V. Franco

Published in: LPNMR (1995)

Keyphrases

logic programs
logic programming
deductive databases
decision making
defeasible logic
knowledge base
case study
multi agent systems
general purpose
finite state machines