Login / Signup
A Comparison of the Static and the Disjunctive Well-Founded Semantics and its Implementation.
Stefan Brass
Jürgen Dix
Ilkka Niemelä
Teodor C. Przymusinski
Published in:
KR (1998)
Keyphrases
</>
logic programming
artificial intelligence
logic programs
efficient implementation
deductive databases
database
databases
machine learning
genetic algorithm
implementation details
fixpoint
implementation issues