Tractable Reasoning about Group Beliefs
暂无分享,去创建一个
Andrzej Szalas | Barbara Dunin-Keplicz | Rineke Verbrugge | A. Szałas | R. Verbrugge | B. Dunin-Keplicz
[1] Jürgen Dix,et al. Multi-Agent Programming , 2009, Springer US.
[2] Barbara Dunin-Keplicz,et al. TEAMLOG in action: A case study in teamwork , 2010, Comput. Sci. Inf. Syst..
[3] Edwin D. Mares,et al. A Paraconsistent Theory Of Belief Revision , 2002 .
[4] Michael Wooldridge,et al. Computational Aspects of Cooperative Game Theory (Synthesis Lectures on Artificial Inetlligence and Machine Learning) , 2011 .
[5] Wiebe van der Hoek,et al. Dynamic Epistemic Logic and Knowledge Puzzles , 2007, ICCS.
[6] Sandra de Amo,et al. A paraconsistent logic programming approach for querying inconsistent databases , 2007, Int. J. Approx. Reason..
[7] Dov M. Gabbay,et al. Handbook of paraconsistency , 2007 .
[8] Patrick Doherty,et al. Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study , 2010, PRIMA.
[9] W. van der Hoek,et al. Epistemic logic for AI and computer science , 1995, Cambridge tracts in theoretical computer science.
[10] Rafael H. Bordini,et al. Multi-Agent Programming: Languages, Platforms and Applications , 2005, Multi-Agent Programming.
[11] Rineke Verbrugge,et al. Model Checking Sum and Product , 2005, Australian Conference on Artificial Intelligence.
[12] Barbara Dunin-Keplicz,et al. Teamwork in Multi-Agent Systems - A Formal Approach , 2010, Wiley series in agent technology.
[13] Michael Wooldridge,et al. ATL Satisfiability is Indeed EXPTIME-complete , 2006, J. Log. Comput..
[14] Giancarlo Fortino,et al. Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, September 2012 , 2013, IDC.
[15] Andrzej Szalas,et al. How an agent might think , 2013, Log. J. IGPL.
[16] K. Sim. Epistemic logic and logical omniscience: A survey , 1997 .
[17] Raymond Reiter,et al. A Logic for Default Reasoning , 1987, Artif. Intell..
[18] W. Hoek,et al. Dynamic Epistemic Logic , 2007 .
[19] Andrzej Szalas,et al. Taming Complex Beliefs , 2013, Trans. Comput. Collect. Intell..
[20] Fenrong Liu,et al. Diversity of Agents , 2006 .
[21] Andrzej Szalas,et al. Logical foundations and complexity of 4QL, a query language with unrestricted negation , 2010, J. Appl. Non Class. Logics.
[22] Trevor J. M. Bench-Capon,et al. On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks , 2013, CLIMA.
[23] Fausto Giunchiglia,et al. Multilanguage hierarchical logics (or: how we can do without modal logics) , 1994, CNKBS.
[24] Barbara Dunin-Keplicz,et al. Proceedings of the Workshop on Argumentation in Multi-Agent Systems, IFAAMAS , 2012 .
[25] Thomas Eiter,et al. Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems , 2011, LPNMR.
[26] Gerhard Lakemeyer,et al. Efficient Reasoning in Multiagent Epistemic Logics , 2012, ECAI.
[27] Michael Wooldridge,et al. On the complexity of practical ATL model checking , 2006, AAMAS '06.
[28] Michael Wooldridge,et al. On the logic of cooperation and propositional control , 2005, Artif. Intell..
[29] Barbara Dunin-Keplicz,et al. Perceiving Rules under Incomplete and Inconsistent Information , 2013, CLIMA.
[30] Miroslaw Truszczynski,et al. Answer set programming at a glance , 2011, Commun. ACM.
[31] Michael Wooldridge,et al. Computational Aspects of Cooperative Game Theory , 2011, KES-AMSTA.
[32] Antonius Weinzierl,et al. Managed Multi-Context Systems , 2011, IJCAI.
[33] Shichao Zhang,et al. AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings , 2005, Australian Conference on Artificial Intelligence.
[34] Fausto Giunchiglia,et al. Non-Omniscient Belief as Context-Based Resoning , 1993, IJCAI.
[35] Alina Strachocka,et al. A paraconsistent approach to speech acts , 2012 .
[36] Ronald Fagin,et al. Reasoning about knowledge , 1995 .
[37] Lluis Godo,et al. A language for the execution of graded BDI agents , 2013, Log. J. IGPL.
[38] Illah R. Nourbakhsh,et al. Human-robot teaming for search and rescue , 2005, IEEE Pervasive Computing.
[39] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[40] Barbara Dunin-Keplicz,et al. Creating Collective Intention through Dialogue , 2001, Log. J. IGPL.
[41] Enrico Pontelli,et al. Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge , 2010, AAMAS.
[42] Andrzej Szalas,et al. Epistemic Profiles and Belief Structures , 2012, KES-AMSTA.
[43] Oren Etzioni,et al. Sound and Efficient Closed-World Reasoning for Planning , 1997, Artif. Intell..
[44] Dov M. Gabbay,et al. Making inconsistency respectable: a logical framework for inconsistency in reasoning , 1991, FAIR.
[45] Arnoud Visser,et al. Towards heterogeneous robot teams for disaster mitigation: Results and performance metrics from RoboCup rescue , 2007, J. Field Robotics.
[46] Patrick Doherty,et al. High-Level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems Using Delegation , 2013 .
[47] G. Priest. Paraconsistent Belief Revision , 2008 .
[48] Michael Gelfond,et al. Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach , 2014 .
[49] Wolfgang Faber,et al. Logic Programming and Nonmonotonic Reasoning , 2011, Lecture Notes in Computer Science.
[50] Gerhard Brewka,et al. Answer Sets and Qualitative Decision Making , 2005, Synthese.
[51] Hannu Nurmi,et al. Voting procedures under uncertainty , 2002 .
[52] Andrzej Szalas,et al. Indeterministic Belief Structures , 2014, KES-AMSTA.
[53] Donald Nute,et al. Defeasible Logic , 1994, INAP.
[54] as,et al. Living with inconsistency and taming nonmonotonicity , 2010 .
[55] Jürgen Dix,et al. Multi-Agent Programming: Languages, Tools and Applications , 2009 .
[56] Rineke Verbrugge,et al. Sum and Product in Dynamic Epistemic Logic , 2008, J. Log. Comput..
[57] Michael Winikoff,et al. Principles and Practice of Multi-Agent Systems , 2012, Multiagent Grid Syst..
[58] Robert C. Moore. Possible-World Semantics for Autoepistemic Logic , 1987, NMR.
[59] B. Webber,et al. Elements of Discourse Understanding , 1983 .
[60] Cees Witteveen,et al. Boolean games , 2001 .
[61] Andrzej Szalas,et al. Partiality and Inconsistency in Agents' Belief Bases , 2013, KES-AMSTA.
[62] Andrzej Szalas,et al. Modeling and Reasoning with Paraconsistent Rough Sets , 2009, Fundam. Informaticae.
[63] Jozef Kelemen,et al. Fundamentals of Artificial Intelligence Research , 1991, Lecture Notes in Computer Science.
[64] Linh Anh Nguyen. On Modal Deductive Databases , 2005, ADBIS.
[65] Thomas Eiter,et al. Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems , 2007, AAAI.