Conflict-driven answer set solving: From theory to practice 论文

2012Artificial Intelligence引用 320
DOI
Logic, Reasoning, and KnowledgeMulti-Agent Systems and NegotiationLogic, programming, and type systems
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsMulti-Agent Systems and Negotiation
关系图谱

3

作者

0

相关技术

0

相关事件

0

相关文章

作者查看全部 (3)

T

Torsten Schaub

B

Benjamin Kaufmann

M

Martin Gebser

相关技术

暂无数据

相关事件

暂无数据

相关文章

暂无数据