Nested expressions in logic programs 论文

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