Characterizations of Stable Model Semantics for Logic Programs with Arbitrary Constraint Atoms

Yi-Dong Shen Jia-Huai You Li-Yan Yuan

Published in: CoRR (2009)

Keyphrases

logic programs
semantics for logic programs
artificial intelligence
high level
multi agent systems
search space
conceptual model
incomplete information