Semantics for Logic Programs Without Occur Check.

Published in: Theor. Comput. Sci. (1990)

Keyphrases

semantics for logic programs
logic programs
logic programming
open world
answer sets
fixpoint
databases
propositional logic
stable models
multi agent
expert systems
relational databases
deductive databases
answer set programming
minimal models
closed world