A uniform integration of higher-order reasoning and external evaluations in answer-set programming 论文

2005引用 220

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

Semantic Web and Ontologies Logic, Reasoning, and Knowledge Multi-Agent Systems and Negotiation

A uniform integration of higher-order reasoning and external evaluations in answer-set programming · 相关文章

暂无数据