Barbara Dunin-Keplicz

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2014

Tractable Reasoning about Group Beliefs.

[BibT_eX]

[DOI]

Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

2013

Taming Complex Beliefs.

[BibT_eX]

[DOI]

Trans. Comput. Collect. Intell., 2013

Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2009.

[BibT_eX]

[DOI]

Log. J. IGPL, 2013

Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007.

[BibT_eX]

[DOI]

Log. J. IGPL, 2013

Perceiving Speech Acts under Incomplete and Inconsistent Information.

[BibT_eX]

[DOI]

Proceedings of the Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems, 2013

Horn-TeamLog: A Horn Fragment of TeamLog with PTime Data Complexity.

[BibT_eX]

[DOI]

Proceedings of the Computational Collective Intelligence. Technologies and Applications, 2013

Perceiving Rules under Incomplete and Inconsistent Information.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012

A Logical View on Teamwork.

[BibT_eX]

[DOI]

Proceedings of the Games, Actions and Social Software - Multidisciplinary Aspects, 2012

Agents in Approximate Environments.

[BibT_eX]

[DOI]

Proceedings of the Games, Actions and Social Software - Multidisciplinary Aspects, 2012

Epistemic Profiles and Belief Structures.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

Distributed Paraconsistent Belief Fusion.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing, 2012

2011

Converse-PDL with regular inclusion axioms: a framework for MAS logics.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2011

Deliberation Dialogues during Multi-agent Planning.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Intelligent Systems - 19th International Symposium, 2011

Tractable model checking for fragments of higher-order coalition logic.

[BibT_eX]

[DOI]

Patrick Doherty

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Modeling Deliberation in Teamwork.

[BibT_eX]

[DOI]

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

Tractable approximate knowledge fusion using the Horn fragment of serial propositional dynamic logic.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2010

A Framework for Graded Beliefs, Goals and Intentions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2010

TEAMLOG in action: A case study in teamwork.

[BibT_eX]

[DOI]

Michal Slizak

Comput. Sci. Inf. Syst., 2010

A layered rule-based architecture for approximate knowledge fusion?

[BibT_eX]

[DOI]

Comput. Sci. Inf. Syst., 2010

Teamwork in Multi-Agent Systems - A Formal Approach.

[BibT_eX]

[DOI]

Wiley series in agent technology, Wiley, ISBN: 978-0-470-69988-1, 2010

2009

Formal approaches to multi-agent sysems.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2009

Introductory Essay of FAMAS'09.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

Case-Study for TeamLog, a Theory of Teamwork.

[BibT_eX]

[DOI]

Michal Slizak

Proceedings of the Intelligent Distributed Computing III, Proceedings of the 3rd International Symposium on Intelligent Distributed Computing, 2009

Fusing Approximate Knowledge from Distributed Sources.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Distributed Computing III, Proceedings of the 3rd International Symposium on Intelligent Distributed Computing, 2009

2007

Complexity Issues in Multiagent Logics.

[BibT_eX]

[DOI]

Marcin Dziubinski

Fundam. Informaticae, 2007

Dynamics of Approximate Information Fusion.

[BibT_eX]

[DOI]

Patrick Doherty

Proceedings of the Rough Sets and Intelligent Systems Paradigms, International Conference, 2007

Towards Approximate BGI Systems.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications V, 2007

Reducing the complexity of logics for multiagent systems.

[BibT_eX]

[DOI]

Marcin Dziubinski

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006

Awareness as a vital ingredient of teamwork.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

Complexity of a theory of collective attitudes in teamwork.

[BibT_eX]

[DOI]

Marcin Dziubinski

Proceedings of the 2005 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2005

2004

A Tuning Machine for Cooperative Problem Solving.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

Creating Common Beliefs in Rescue Situations.

[BibT_eX]

[DOI]

Proceedings of the Monitoring, Security, and Rescue Techniques in Multiagent Systems, 2004

Collectively Cognitive Agents in Cooperative Teams.

[BibT_eX]

[DOI]

Jacek Brzezinski

Piotr Dunin-Keplicz

Proceedings of the Engineering Societies in the Agents World V, 5th InternationalWorkshop, 2004

2003

Evolution of Collective Commitment during Teamwork.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Dialogue in teamwork.

[BibT_eX]

Proceedings of the Enhanced Interoperable Systems. Proceedings of the 10th ISPE International Conference on Concurrent Engineering (ISPE CE 2003), 2003

Dynamics of Collective Attitudes during Teamwork.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World IV, 2003

Calibrating Collective Commitments.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications III, 2003

2002

Collective Intentions.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

Evolution of collective commitment during reconfiguration.

[BibT_eX]

[DOI]

Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001

Creating Collective Intention through Dialogue.

[BibT_eX]

[DOI]

Frank Dignum

Log. J. IGPL, 2001

2000

Agent Theory for Team Formation by Dialogue.

[BibT_eX]

[DOI]

Frank Dignum

Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Dialogue in Team Formation.

[BibT_eX]

[DOI]

Frank Dignum

Proceedings of the Issues in Agent Communication, 2000

1999

Collective Motivational Attitudes in Cooperative Problem Solving.

[BibT_eX]

Proceedings of the 1st International Workshop of Central and Eastern Europe on Multi-Agent Systems, 1999

1998

A Reconfiguration Algorithm for the Maintenance of Collective Commitments.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Multiagent Systems, 1998

1997

DESIRE: Modelling Multi-Agent Systems in a Compositional Formal Framework.

[BibT_eX]

[DOI]

Frances M. T. Brazier

Nicholas R. Jennings

Int. J. Cooperative Inf. Syst., 1997

Nondeterministic Actions with Typical Effects: Reasoning about Scenarios.

[BibT_eX]

[DOI]

Anna Radzikowska

Proceedings of the Formal Models of Agents, 1997

Modelling Internal Dynamic Behaviour of BDI Agents.

[BibT_eX]

[DOI]

Frances M. T. Brazier

Proceedings of the Formal Models of Agents, 1997

1995

Actions with Typical Effects: Epistemic Characterization of Scenarios.

[BibT_eX]

Anna Radzikowska

Proceedings of the First International Conference on Multiagent Systems, 1995

Formal Specification of Multi-Agent Systems: A Real-World Case.

[BibT_eX]

Frances M. T. Brazier

Nick R. Jennings

Proceedings of the First International Conference on Multiagent Systems, 1995

Epistemic Approach to Actions with Typical Effects.

[BibT_eX]

[DOI]

Anna Radzikowska

Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

1994

CAProDel: a system for computer aided program development.

[BibT_eX]

Janusz Jablonowski

Witold Lukaszewicz

Ewa Madalinska-Bugaj

Proceedings of the SEKE'94, 1994

An Architecture with Multiple Meta-Levels for the Development of Correct Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Synthesis and Transformation, 1994

Compositional Formal Specification of Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents, 1994

1988

Partial Reconstruction of Coreferential Structure of Discourse.

[BibT_eX]

Proceedings of the 8th European Conference on Artificial Intelligence, 1988

1986

Towards Discourse-Oriented Nonmonotonic System.

[BibT_eX]

[DOI]

Witold Lukaszewicz

Proceedings of the 11th International Conference on Computational Linguistics, 1986

1985

How To Restrict Ambiguity Of Discourse.

[BibT_eX]

[DOI]

Proceedings of the EACL 1985, 1985

1984

Default Reasoning in Anaphora Resolution.

[BibT_eX]

Proceedings of the Advances in Artificial Intelligence, 1984

1983

Towards Better Understanding Of Anaphora.

[BibT_eX]

[DOI]