Affordable Classes of Normal Logic Programs.

J. Seitzer John S. Schlipf

Published in: LPNMR (1997)

Keyphrases

object oriented
normal logic programs
logic programs
stable models
answer sets
programming language
logic programming
default reasoning
deductive databases
answer set semantics
machine learning
answer set programming
databases
fixpoint
expert systems
artificial intelligence
stable model semantics