Consistency Property of Finite FC-Normal Logic Programs.

Yisong Wang Mingyi Zhang Yu-Ping Shen

Published in: J. Comput. Sci. Technol. (2007)

Keyphrases

normal logic programs
logic programs
stable models
answer sets
default reasoning
logic programming
knowledge representation and reasoning
answer set semantics
deductive databases
answer set programming
stable model semantics
general purpose
semantic web
belief revision