Login / Signup
On the Relations between Stable and Well-Founded Semantics of Logic Programs.
Phan Minh Dung
Published in:
Theor. Comput. Sci. (1992)
Keyphrases
</>
semantics of logic programs
logic programs
deductive databases
truth values
logic programming
artificial intelligence
general purpose
answer sets
search algorithm
hidden markov models