Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic
暂无分享,去创建一个
[1] Dov M. Gabbay,et al. Meta-Reasoning in Executable Temporal Logic , 1991, KR.
[2] Jan Treur,et al. Specification of nonmonotonic reasoning , 2000, J. Appl. Non Class. Logics.
[3] Jan Treur,et al. An Interpretation of Default Logic in Minimal Temporal Epistemic Logic , 1998, J. Log. Lang. Inf..
[4] Joseph Y. Halpern,et al. The complexity of reasoning about knowledge and time , 1986, STOC '86.
[5] Jan Treur,et al. Formal Specification of Compositional Architectures , 1992, ECAI.
[6] Dieter Fensel,et al. Assumptions in Model-Based Diagnosis , 1996 .
[7] Dieter Fensel,et al. Specification and Verification of Knowledge-Based Systems , 1996 .
[8] Fausto Giunchiglia,et al. Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.
[9] Martín Abadi,et al. Composing specifications , 1989, TOPL.
[10] Fausto Giunchiglia,et al. Multi-content systems as a specification framework for complex reasoning systems , 1993 .
[11] Catholijn M. Jonker,et al. Compositional design and verification of a multi-agent system for one-to-many negotiation , 1998, Proceedings International Conference on Multi Agent Systems (Cat. No.98EX160).
[12] Ron van der Meyden,et al. Axioms for Knowledge and Time in Distributed Systems with Perfect Recall , 1994, LICS.
[13] Nicholas R. Jennings,et al. Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.
[14] Catholijn M. Jonker,et al. Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness , 1997, Int. J. Cooperative Inf. Syst..
[15] Fausto Giunchiglia,et al. A Model Checking Algorithm for Multiagent Systems , 1998, ATAL.
[16] Johan van Benthem,et al. The Logic of Time , 1983 .
[17] Jan Treur,et al. Compositional Verification of Knowledge-Based Systems in Temporal Epistemic Logic , 1997 .
[18] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[19] K. Konolige. A deduction model of belief , 1986 .
[20] Nicholas R. Jennings,et al. Formal Specification of Multi-Agent Systems: A Real-World Case , 1995, ICMAS.
[21] Jan Treur,et al. Formal Specification of Complex Reasoning Systems , 1993 .
[22] Joeri Engelfriet,et al. Minimal Temporal Epistemic Logic , 1996, Notre Dame J. Formal Log..
[23] Jan Treur,et al. Executable Temporal Logic for Non-Monotonic Reasoning , 1996, J. Symb. Comput..
[24] Johan van Benthem,et al. The logic of time - a model-theoretic investigation into the varieties of temporal ontology and temporal discourse, 2nd Edition , 1982, Synthese library.
[25] Jan Treur,et al. A Logical Foundation for Verification , 1994, ECAI.
[26] Jan Treur,et al. Specification of Nonmonotonic Reasonong , 1996, FAPR.
[27] Catholijn M. Jonker,et al. Compositional Verification of Knowledge-based Systems: a Case Study in Diagnostic Reasoning , 1997, EUROVAV.
[28] Michael Fisher,et al. A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.
[29] Dov M. Gabbay,et al. The imperative future: principles of executable temporal logic , 1996 .
[30] Frank van Harmelen,et al. Comparing formal specification languages for complex reasoning systems , 1993 .
[31] Michael Wooldridge,et al. On the Formal Specification and Verification of Multi-Agent Systems , 1997, Int. J. Cooperative Inf. Syst..
[32] Dov M. Gabbay,et al. Adding a temporal dimension to a logic system , 1992, J. Log. Lang. Inf..
[33] Dennis Dams,et al. Practical symbolic model checking of the full µ-calculus using compositional abstractions , 1995 .