Tractable Reasoning about Group Beliefs

No abstract is available for this paper.

• Publication year

  2014

• Venue

  EMAS@AAMAS

• Publication date

  2014-05-05

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-319-14484-9_17
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Indeterministic Belief Structures

  2014cited by this paper
• Knowledge Representation, Reasoning, and the Design of Intelligent Agents: The Answer-Set Programming Approach

  2014cited by this paper
• Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing - IDC 2012, Calabria, Italy, September 2012

  2013cited by this paper
• Taming Complex Beliefs

  2013cited by this paper
• A language for the execution of graded BDI agents

  2013cited by this paper
• High-Level Mission Specification and Planning for Collaborative Unmanned Aircraft Systems Using Delegation

  2013cited by this paper
• How an agent might think

  2013influential reference
• Partiality and Inconsistency in Agents' Belief Bases

  2013cited by this paper
• Perceiving Rules under Incomplete and Inconsistent Information

  2013cited by this paper
• On the Instantiation of Knowledge Bases in Abstract Argumentation Frameworks

  2013cited by this paper
• Epistemic Profiles and Belief Structures

  2012cited by this paper
• Proceedings of the Workshop on Argumentation in Multi-Agent Systems, IFAAMAS

  2012cited by this paper
• Efficient Reasoning in Multiagent Epistemic Logics

  2012cited by this paper
• A paraconsistent approach to speech acts

  2012cited by this paper
• Logic Programming and Nonmonotonic Reasoning

  2011cited by this paper
• Approximations for Explanations of Inconsistency in Partially Known Multi-Context Systems

  2011cited by this paper
• Computational Aspects of Cooperative Game Theory

  2011cited by this paper
• Computational Aspects of Cooperative Game Theory

  2011cited by this paper
• Answer set programming at a glance

  2011cited by this paper
• Living with inconsistency and taming nonmonotonicity

  2010influential reference
• Complex Task Allocation in Mixed-Initiative Delegation: A UAV Case Study

  2010cited by this paper
• Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge

  2010cited by this paper
• Living with Inconsistency and Taming Nonmonotonicity

  2010cited by this paper
• Teamwork in Multi-Agent Systems - A Formal Approach

  2010influential reference
• TEAMLOG in action: A case study in teamwork

  2010cited by this paper
• Logical foundations and complexity of 4QL, a query language with unrestricted negation

  2010cited by this paper
• Multi-Agent Programming

  2009cited by this paper
• Modeling and Reasoning with Paraconsistent Rough Sets

  2009cited by this paper
• Multi-Agent Programming: Languages, Tools and Applications

  2009cited by this paper
• Paraconsistent Belief Revision

  2008cited by this paper
• Sum and Product in Dynamic Epistemic Logic

  2008cited by this paper
• Dynamic Epistemic Logic

  2007cited by this paper
• Towards heterogeneous robot teams for disaster mitigation: Results and performance metrics from RoboCup rescue

  2007cited by this paper
• A paraconsistent logic programming approach for querying inconsistent databases

  2007cited by this paper
• Handbook of paraconsistency

  2007cited by this paper
• Equilibria in Heterogeneous Nonmonotonic Multi-Context Systems

  2007cited by this paper
• On the complexity of practical ATL model checking

  2006cited by this paper
• ATL Satisfiability is Indeed EXPTIME-complete

  2006cited by this paper
• Diversity of Agents

  2006cited by this paper
• Answer Sets and Qualitative Decision Making

  2005cited by this paper
• Multi-Agent Programming: Languages, Platforms and Applications

  2005cited by this paper
• On Modal Deductive Databases

  2005cited by this paper
• AI 2005: Advances in Artificial Intelligence, 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings

  2005cited by this paper
• Human-robot teaming for search and rescue

  2005cited by this paper
• Model Checking Sum and Product

  2005cited by this paper
• On the logic of cooperation and propositional control

  2005cited by this paper
• Voting procedures under uncertainty

  2002cited by this paper
• A Paraconsistent Theory Of Belief Revision

  2002cited by this paper
• Creating Collective Intention through Dialogue

  2001cited by this paper
• Boolean games

  2001cited by this paper
• Sound and Efficient Closed-World Reasoning for Planning

  1997cited by this paper
• Epistemic logic and logical omniscience: A survey

  1997cited by this paper
• Reasoning about knowledge

  1995cited by this paper
• Epistemic logic for AI and computer science

  1995cited by this paper
• Defeasible Logic

  1994cited by this paper
• Multilanguage hierarchical logics (or: how we can do without modal logics)

  1994cited by this paper
• Non-Omniscient Belief as Context-Based Resoning

  1993cited by this paper
• Making inconsistency respectable 1 : A logical framework for inconsistency

  1992cited by this paper
• Fundamentals of Artificial Intelligence Research

  1991cited by this paper
• Possible-World Semantics for Autoepistemic Logic

  1987cited by this paper
• A Logic for Default Reasoning

  1987cited by this paper
• A Logic of Implicit and Explicit Belief

  1984cited by this paper
• Elements of Discourse Understanding

  1983cited by this paper
• Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence Managed Multi-Context Systems ∗

  year unknowncited by this paper

• Modeling and shadowing paraconsistent BDI agents

  2023cites this paper
• Doxastic Group Reasoning via Multiple Belief Shadowing

  2019cites this paper
• Multi-Party Persuasion: a Paraconsistent Approach

  2018cites this paper
• Rule-Based Reasoning with Belief Structures

  2017cites this paper
• Paraconsistent argumentation schemes

  2016cites this paper
• Modeling dialogues in multiagent systems: a paraconsistent approach

  2016influential citation
• Paraconsistent Multi-party Persuasion in TalkLOG

  2015cites this paper
• Paraconsistent semantics of speech acts

  2015cites this paper
• Tractable Inquiry in Information-Rich Environments

  2015cites this paper
• Lightweight Reasoning with Incomplete and Inconsistent Information: A Case Study

  2014cites this paper
• Computationally-Friendly Argumentation Schemes

  2014cites this paper
• Foundations of Intelligent Systems

  2012influential citation