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

1997Lecture notes in computer science引用 244
DOI
Logic, Reasoning, and KnowledgeMulti-Agent Systems and NegotiationSemantic Web and Ontologies
Semantic Web and OntologiesLogic, Reasoning, and KnowledgeMulti-Agent Systems and Negotiation
关系图谱

A new logical characterisation of stable models and answer sets · 相关技术

暂无数据