On the complexity of propositional knowledge base revision, updates, and counterfactuals 论文

1992Artificial Intelligence引用 351
DOI
Logic, Reasoning, and KnowledgeSemantic Web and OntologiesAI-based Problem Solving and Planning
Semantic Web and OntologiesLogic, Reasoning, and KnowledgeAI-based Problem Solving and Planning
关系图谱

2

作者

0

相关技术

0

相关事件

0

相关文章

作者查看全部 (2)

G

Georg Gottlob

T

Thomas Eiter

相关技术

暂无数据

相关事件

暂无数据

相关文章

暂无数据