Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study
暂无分享,去创建一个
[1] Andreas Herzig,et al. Knowing how to play: uniform choices in logics of agency , 2006, AAMAS '06.
[2] Wojciech Jamroga,et al. A logic for strategic reasoning , 2005, AAMAS '05.
[3] Agostino Poggi,et al. Developing Multi-agent Systems with JADE , 2007, ATAL.
[4] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .
[5] Matthias Klusch,et al. Software agent-based applications, platforms and development kits , 2005 .
[6] Hector J. Levesque,et al. ConGolog, a concurrent programming language based on the situation calculus , 2000, Artif. Intell..
[7] Tran Cao Son,et al. Domain-dependent knowledge in answer set planning , 2002, TOCL.
[8] Andrew B. Baker,et al. A Simple Solution to the Yale Shooting Problem , 1989, KR.
[9] Nicholas R. Jennings,et al. A Roadmap of Agent Research and Development , 2004, Autonomous Agents and Multi-Agent Systems.
[10] Drew McDermott,et al. Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..
[11] Michael Wooldridge,et al. Reasoning about action and cooperation , 2006, AAMAS '06.
[12] Henry A. Kautz. The Logic of Persistence , 1986, AAAI.
[13] Jelle Gerbrandy,et al. Logics of propositional control , 2006, AAMAS '06.
[14] Chiaki Sakama,et al. Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming , 2009, DALT.
[15] Michael Fisher,et al. A Survey of Concurrent METATEM - the Language and its Applications , 1994, ICTL.
[16] Tran Cao Son,et al. Formalizing sensing actions A transition function based approach , 2001, Artif. Intell..
[17] Michael Gelfond,et al. Action Languages , 1998, Electron. Trans. Artif. Intell..
[18] Michael Wooldridge,et al. Programming Multi-Agent Systems in AgentSpeak using Jason (Wiley Series in Agent Technology) , 2007 .
[19] Chiaki Sakama,et al. Logic Programming for Multiagent Planning with Negotiation , 2009, ICLP.
[20] Winfried Lamersdorf,et al. Jadex: A BDI-Agent System Combining Middleware and Reasoning , 2005 .
[21] Viviana Mascardi,et al. Logic-based specification languages for intelligent software agents , 2003, Theory and Practice of Logic Programming.
[22] Krzysztof R. Apt,et al. Logic Programming , 1990, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
[23] Walter Van de Velde,et al. Agents Breaking Away , 1996, Lecture Notes in Computer Science.
[24] Ronen I. Brafman,et al. Partial-Order Planning with Concurrent Interacting Actions , 2011, J. Artif. Intell. Res..
[25] Frank Dignum,et al. A Programming Language for Cognitive Agents Goal Directed 3APL , 2003, PROMAS.
[26] Hector J. Levesque,et al. Knowledge, action, and the frame problem , 2003, Artif. Intell..
[27] Guido Boella,et al. Enforceable social laws , 2005, AAMAS '05.
[28] A. S. Roa,et al. AgentSpeak(L): BDI agents speak out in a logical computable language , 1996 .
[29] Fabio Bellifemine,et al. Developing Multi-Agent Systems with JADE (Wiley Series in Agent Technology) , 2007 .
[30] Michael Gelfond,et al. Representing Action and Change by Logic Programs , 1993, J. Log. Program..
[31] Michael Brenner,et al. Planning for Multiagent Environments From Individual Perceptions to Coordinated Execution , 2005 .
[32] Alasdair Urquhart,et al. Temporal Logic , 1971 .
[33] Andrea Omicini,et al. Declarative Agent Languages and Technologies III , 2005, Lecture Notes in Computer Science.
[34] Koen V. Hindriks,et al. A verification framework for agent programming with declarative goals , 2007, J. Appl. Log..
[35] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[36] Nikos A. Vlassis,et al. Decentralized planning under uncertainty for teams of communicating agents , 2006, AAMAS '06.
[37] Wiebe van der Hoek,et al. Concurrent dynamic epistemic logic for MAS , 2003, AAMAS '03.