A new logical characterisation of stable models and answer sets 论文

1997Lecture notes in computer science引用 244

Logic, Reasoning, and KnowledgeMulti-Agent Systems and NegotiationSemantic Web and Ontologies

作者

David Pearce