Login / Signup
A Non-Ground Realization of the Stable and Well-Founded Semantics.
Georg Gottlob
Sherry Marcus
Anil Nerode
Gernot Salzer
V. S. Subrahmanian
Published in:
Theor. Comput. Sci. (1996)
Keyphrases
</>
logic programs
logic programming
deductive databases
fixpoint
normal logic programs
genetic algorithm
multiscale
definite clause
neural network
hidden markov models
defeasible logic
general logic programs
mobile robot
general purpose
integrity constraints