Author:
Ginsberg Matthew L.,Smith David E.
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference29 articles.
1. Towards a general theory of action and time;Allen;Artificial Intelligence,1984
2. An assumption-based TMS;de Kleer;Artificial Intelligence,1986
3. A truth maintenance system;Doyle;Artificial Intelligence,1979
4. On the semantics of updates in databases;Fagin,1983
5. STRIPS: A new approach to the application of theorem proving to problem solving;Fikes;Artificial Intelligence,1971
Cited by
129 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Verifying Multi -Agent Coordination Correctness for BDI Agents;2024 IEEE 48th Annual Computers, Software, and Applications Conference (COMPSAC);2024-07-02
2. Mining and Validating Belief-Based Agent Explanations;Explainable and Transparent AI and Multi-Agent Systems;2023
3. Four Approaches to Supposition;Ergo an Open Access Journal of Philosophy;2022-12-28
4. DITURIA: A Framework for Decision Coordination Among Multiple Agents;PRIMA 2022: Principles and Practice of Multi-Agent Systems;2022-11-12
5. Feeling Functional: A Formal Account of Artificial Phenomenology;Journal of Artificial Intelligence and Consciousness;2021-02-16