Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms
暂无分享,去创建一个
Guido Governatori | Abdul Sattar | Vineet Padmanabhan | V. Padmanabhan | A. Sattar | Guido Governatori
[1] Laurent Catach. Normal Multimodal Logics , 1988, AAAI.
[2] Frank Wolter,et al. Fusions of Modal Logics Revisited , 1996, Advances in Modal Logic.
[3] Guido Governatori,et al. A Fibred Tableau Calculus for Modal Logics of Agents , 2006, DALT.
[4] Cristina Sernadas,et al. Fibring Modal First-Order Logics: Completeness Preservation , 2002, Log. J. IGPL.
[5] Dov M. Gabbay,et al. Combining Temporal Logic Systems , 1996, Notre Dame J. Formal Log..
[6] Sally Popkorn. First Steps in Modal Logic , 1995 .
[7] Cristina Sernadas,et al. Fibring Non-Truth-Functional Logics: Completeness Preservation , 2003, J. Log. Lang. Inf..
[8] Frank Wolter,et al. Semi-qualitative Reasoning about Distances: A Preliminary Report , 2000, JELIA.
[9] Marcus Kracht,et al. Properties of independently axiomatizable bimodal logics , 1991, Journal of Symbolic Logic.
[10] Cristina Sernadas,et al. Fibring of Logics as a Categorial Construction , 1999, J. Log. Comput..
[11] Guido Governatori,et al. On constructing fibred tableaux for BDI logics , 2006 .
[12] Geoffrey I. Webb,et al. PRICAI 2006: Trends in Artificial Intelligence, 9th Pacific Rim International Conference on Artificial Intelligence, Guilin, China, August 7-11, 2006, Proceedings , 2006, PRICAI.
[13] Guido Governatori,et al. On Fibring Semantics for BDI Logics , 2002, JELIA.
[14] Cristina Sernadas,et al. Fibring: completeness preservation , 2001, Journal of Symbolic Logic.
[15] Michael Wooldridge,et al. Reasoning about rational agents , 2000, Intelligent robots and autonomous agents.
[16] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .
[17] Andrea Omicini,et al. Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.
[18] Alessio Lomuscio. Information sharing among ideal agents , 1999 .
[19] Vineet Chand Padmanabhan Nair. On Extending BDI Logics , 2003 .