Meta-reasoning Methods for Agent's Intention Modelling
暂无分享,去创建一个
[1] Vladimir Marik,et al. Multi-Agent Systems and Applications III , 2003, Lecture Notes in Computer Science.
[2] Michal Pechoucek,et al. Social Knowledge in Multi-agent Systems , 2001, EASSS.
[3] Tom M. Mitchell,et al. Generalization as Search , 2002 .
[4] Munindar P. Singh,et al. Formal methods in DAI: logic-based representation and reasoning , 1999 .
[5] Gerhard Weiss,et al. Multiagent systems: a modern approach to distributed artificial intelligence , 1999 .
[6] Michal Pechoucek,et al. Social knowledge in multi-agent systems , 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583).
[7] Bernhard Beckert,et al. Dynamic Logic , 2007, The KeY Approach.
[8] Michal Pechoucek,et al. Knowledge-Based Approach to Coalition Formation , 2002, IEEE Intell. Syst..
[9] Pattie Maes,et al. Computational reflection , 1987, The Knowledge Engineering Review.
[10] Richard C. T. Lee,et al. Symbolic logic and mechanical theorem proving , 1973, Computer science classics.
[11] Dov M. Gabbay,et al. Proceedings of the First International Conference on Temporal Logic , 1994 .
[12] Luc De Raedt,et al. Inductive Logic Programming: Theory and Methods , 1994, J. Log. Program..
[13] Michael Luck,et al. Multi-Agent Systems and Applications , 2001, Lecture Notes in Computer Science.
[14] Alasdair Urquhart,et al. Temporal Logic , 1971 .
[15] Michal Pechoucek,et al. Abstract Architecture for Meta-reasoning in Multi-agent Systems , 2003, CEEMAS.
[16] Michael Fisher,et al. A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.
[17] Milind Tambe,et al. Monitoring deployed agent teams , 2001, AGENTS '01.
[18] Donald W. Loveland,et al. Automated theorem proving: a logical basis , 1978, Fundamental studies in computer science.
[19] Eugene Santos,et al. Making Adversary Decision Modeling Tractable with Intent Inference and Information Fusion 1 , 2002 .