Propositional semantics for disjunctive logic programs 论文

1994Annals of Mathematics and Artificial Intelligence引用 280
Logic, Reasoning, and KnowledgeMulti-Agent Systems and NegotiationLogic, programming, and type systems

Propositional semantics for disjunctive logic programs · 相关技术

暂无数据