Multi-agent VSK logic

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1919, Issue , 2000, Pages 300-312

  Wooldridge, Michael ^a   Lomuscio, Alessio ^b  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

^b IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; INTELLIGENT AGENTS; SEMANTICS;

EPISTEMIC LOGIC; FORMAL MODEL; GENERAL MODEL; INDIVIDUAL AGENT; INFORMATION PROPERTIES; INTERPRETED SYSTEMS; MULTI AGENT;

MULTI AGENT SYSTEMS;

EID: 84943178276     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. J.van Benthem.Correspondence theory.In D.Gabbay and F.Guenthner, editors, Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic, volume 165 of Synthese Library, chapter II.4, pages 167-247.D.Reidel Publ.Co., Dordrecht, 1984.
2. R.Fagin, J.Y.Halpern, Y.Moses, and M.Y.Vardi.Reasoning About Knowledge.The MIT Press: Cambridge, MA, 1995.
3. R.Goldblatt.Logics of Time and Computation, Second Edition, Revised and Expanded, volume 7 of CSLI Lecture Notes.CSLI, Stanford, 1992.Distributed by University of Chicago Press.
4. J.Hintikka.Knowledge and Belief.Cornell University Press: Ithaca, NY, 1962.
5. G.E.Hughes and M.J.Cresswell.A New Introduction to Modal Logic.Routledge, New York, 1996.
6. L.P.Kaelbling, M.L.Littman, and A.R.Cassandra.Planning and acting in partially observable stochastic domains.Artificial Intelligence, 101:99-134, 1998.
7. A.Lomuscio.Knowledge Sharing among Ideal Agents.PhD thesis, School of Computer Science, University of Birmingham, Birmingham, UK, June 1999.
8. M.Wooldridge and A.Lomuscio.A logic of visibility, perception, and knowledge: Completeness and correspondence results.In Formal and Applied Practical Reasoning-Proceedings of the Third International Conference (FAPR-2000), 2000.
9. Michael Wooldridge and Alessio Lomuscio.Reasoning about visibility, perception and knowledge.In N.R.Jennings and Y.Lespérance, editors, Intelligent Agents VI - Proceedings of the Sixth International Workshop on Agent Theories, Architectures, and Languages (ATAL-99), Lecture Notes in Artificial Intelligence.Springer-Verlag, Berlin, 2000.