Wiebe van der Hoek

Proceedings of the Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, 2023

2022

Who Should Be My Friends? Social Balance from the Perspective of Game Theory.

[BibT_eX]

[DOI]

Yì N. Wáng

J. Log. Lang. Inf., 2022

Reasoning about general preference relations.

[BibT_eX]

[DOI]

Artif. Intell., 2022

2021

Preface.

[BibT_eX]

[DOI]

Inf. Comput., 2021

2020

Arrow update synthesis.

[BibT_eX]

[DOI]

Inf. Comput., 2020

Introduction to the special issue on Logic and the Foundations of Game and Decision Theory (LOFT13).

[BibT_eX]

[DOI]

Pierpaolo Battigalli

Games Econ. Behav., 2020

The logic of gossiping.

[BibT_eX]

[DOI]

Artif. Intell., 2020

Logics of Preference when There Is No Best.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Logics of Allies and Enemies: A Formal Approach to the Dynamics of Social Balance Theory.

[BibT_eX]

[DOI]

Yì N. Wáng

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

2019

Introduction to the Special Issue on Logic and the Foundations of Game and Decision Theory (LOFT12).

[BibT_eX]

[DOI]

Andrés Perea

Stud Logica, 2019

Program models and semi-public environments.

[BibT_eX]

[DOI]

Christos Moyzes

J. Log. Comput., 2019

Introduction to the special issue.

[BibT_eX]

[DOI]

J. Log. Comput., 2019

2018

Logic, rationality and interaction (LORI-5): introduction to the special issue.

[BibT_eX]

[DOI]

Wesley H. Holliday

Wen-Fang Wang

Synth., 2018

Editorial Logic, Rationality and Interaction (LORI-5): Introduction to the Special Issue.

[BibT_eX]

[DOI]

Wesley H. Holliday

Wen-Fang Wang

J. Log. Comput., 2018

When Are Two Gossips the Same? Types of Communication in Epistemic Gossip Protocols.

[BibT_eX]

[DOI]

Krzysztof R. Apt

CoRR, 2018

Second-order propositional modal logic: Expressiveness and completeness results.

[BibT_eX]

[DOI]

Artif. Intell., 2018

When Are Two Gossips the Same?

[BibT_eX]

[DOI]

Krzysztof R. Apt

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017

The undecidability of arbitrary arrow update logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Fair decomposition of group obligations.

[BibT_eX]

[DOI]

Natasha Alechina

Brian Logan

J. Log. Comput., 2017

A Note on Nesting in Dyadic Deontic Logic.

[BibT_eX]

[DOI]

Agneau Belanyek

CoRR, 2017

A Logic for Global and Local Announcements.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2017

Arbitrary arrow update logic.

[BibT_eX]

[DOI]

Artif. Intell., 2017

Non-Determinism and the Dynamics of Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Special Issue on Logical Aspects of Multi-Agent Systems.

[BibT_eX]

[DOI]

Nils Bulling

Stud Logica, 2016

Second-order Propositional Announcement Logic.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Fully Arbitrary Public Announcements.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 11, 2016

A Semantical Analysis of Second-Order Propositional Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

An Introduction to Logics of Knowledge and Belief.

[BibT_eX]

[DOI]

CoRR, 2015

Epistemic Protocols for Distributed Gossiping.

[BibT_eX]

[DOI]

Krzysztof R. Apt

Proceedings of the Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, 2015

Epistemic Quantified Boolean Logic: Expressiveness and Completeness Results.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Effective Approximations for Multi-Robot Coordination in Spatially Distributed Tasks.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

A Modal Logic for Mixed Strategies.

[BibT_eX]

[DOI]

Joshua Sack

Stud Logica, 2014

On the definability of simulation and bisimulation in epistemic logic.

[BibT_eX]

[DOI]

David Fernández-Duque

J. Log. Comput., 2014

Introduction.

[BibT_eX]

[DOI]

IGTR, 2014

Justified Beliefs by Justified Arguments.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

A Framework for Epistemic Gossip Protocols.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - 12th European Conference, 2014

Knowledge and Gossip.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Fair Allocation of Group Tasks According to Social Norms.

[BibT_eX]

[DOI]

Natasha Alechina

Brian Logan

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

On the relative succinctness of modal logics with union, intersection and quantification.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Some Exponential Lower Bounds on Formula-size in Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 10, 2014

Structures for Epistemic Logic.

[BibT_eX]

[DOI]

Nick Bezhanishvili

Proceedings of the Johan van Benthem on Logic and Information Dynamics, 2014

2013

Building and using social structures: A case study using the agent ART testbed.

[BibT_eX]

[DOI]

Elisabetta Erriquez

ACM Trans. Intell. Syst. Technol., 2013

Editorial Introduction to the Special Issue LOFT Sevilla.

[BibT_eX]

[DOI]

J. Philos. Log., 2013

Program equilibrium - a program reasoning approach.

[BibT_eX]

[DOI]

Int. J. Game Theory, 2013

Introduction to the special issue.

[BibT_eX]

[DOI]

Int. J. Game Theory, 2013

Connecting dynamic epistemic and temporal epistemic logics.

[BibT_eX]

[DOI]

Ji Ruan

Log. J. IGPL, 2013

On the succinctness of some modal logics.

[BibT_eX]

[DOI]

Artif. Intell., 2013

Boolean Games with Epistemic Goals.

[BibT_eX]

[DOI]

Paul Harrenstein

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

Audience-Based Uncertainty in Abstract Argument Games.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

Verifiable Equilibria in Boolean Games.

[BibT_eX]

[DOI]

Paul Harrenstein

Proceedings of the IJCAI 2013, 2013

Control and Delegation.

[BibT_eX]

Proceedings of the ICAART 2013, 2013

Reasoning about Choice.

[BibT_eX]

[DOI]

Proceedings of the Agreement Technologies - Second International Conference, 2013

2012

Erratum to: Introduction chapter.

[BibT_eX]

[DOI]

Cilia Witteman

Synth., 2012

Introduction chapter.

[BibT_eX]

[DOI]

Cilia Witteman

Synth., 2012

Logics for Multiagent Systems.

[BibT_eX]

[DOI]

AI Mag., 2012

Local properties in modal logic.

[BibT_eX]

[DOI]

Artif. Intell., 2012

Conservative Social Laws.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2012, 2012

On the Relative Succinctness of Two Extensions by Definitions of Multimodal Logic.

[BibT_eX]

[DOI]

Proceedings of the How the World Computes, 2012

GOAL Agents Instantiate Intention Logic.

[BibT_eX]

[DOI]

Koen V. Hindriks

Proceedings of the Logic Programs, Norms and Action, 2012

A logic of revelation and concealment.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

Reasoning About Social Choice Functions.

[BibT_eX]

[DOI]

J. Philos. Log., 2011

Foreword.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2011

On the logic of preference and judgment aggregation.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2011

Sigma algebras in probabilistic epistemic dynamics.

[BibT_eX]

[DOI]

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Knowledge and Action in Semi-public Environments.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction - Third International Workshop, 2011

Succinctness of Epistemic Languages.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

On the Definability of Simulability and Bisimilarity by Finite Epistemic Models.

[BibT_eX]

[DOI]

David Fernández-Duque

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

Decomposing constraint systems: equivalences and computational properties.

[BibT_eX]

[DOI]

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

Knowledge and control.

[BibT_eX]

[DOI]

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

An abstract framework for reasoning about trust.

[BibT_eX]

[DOI]

Elisabetta Erriquez

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

Reasoning about local properties in modal logic.

[BibT_eX]

[DOI]

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

Scientia potentia est.

[BibT_eX]

[DOI]

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

2010

Reasoning About the Transfer of Control.

[BibT_eX]

[DOI]

Dirk Walther

J. Artif. Intell. Res., 2010

Robust normative systems and a logic of norm compliance.

[BibT_eX]

[DOI]

Log. J. IGPL, 2010

Reasoning about Normative Systems.

[BibT_eX]

[DOI]

Proceedings of the Legal Knowledge and Information Systems, 2010

2009

Multi-Modal CTL: Completeness, Complexity, and an Application.

[BibT_eX]

[DOI]

Juan A. Rodríguez-Aguilar

Carles Sierra

Stud Logica, 2009

Verification of Games in the Game Description Language.

[BibT_eX]

[DOI]

Ji Ruan

J. Log. Comput., 2009

A coordination language for agents interacting in distributed plan-execute cycles.

[BibT_eX]

[DOI]

Int. J. Reason. based Intell. Syst., 2009

Logics for Qualitative Coalitional Games.

[BibT_eX]

[DOI]

Log. J. IGPL, 2009

Reasoning about coalitional games.

[BibT_eX]

[DOI]

Artif. Intell., 2009

A logic of propositional control for truthful implementations.

[BibT_eX]

[DOI]

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

Concurrently Decomposable Constraint Systems.

[BibT_eX]

[DOI]

Nico Roos

Proceedings of the Multiagent System Technologies, 7th German Conference, 2009

Knowing More - From Global to Local Correspondence.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Robust Normative Systems.

[BibT_eX]

[DOI]

Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

A logic of games and propositional control.

[BibT_eX]

[DOI]

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

Agent programming with temporally extended goals.

[BibT_eX]

[DOI]

Koen V. Hindriks

M. Birna van Riemsdijk

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

Power in normative systems.

[BibT_eX]

[DOI]

Moshe Tennenholtz

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

A Temporal Logic of Normative Systems.

[BibT_eX]

[DOI]

Juan A. Rodríguez-Aguilar

Carles Sierra

Proceedings of the Towards Mathematical Philosophy, 2009

2008

Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Knowledge Representation, 2008

Quantified coalition logic.

[BibT_eX]

[DOI]

Nivea de Carvalho Ferreira

Synth., 2008

Specifying and reasoning about uncertain agents.

[BibT_eX]

[DOI]

Int. J. Approx. Reason., 2008

Model Checking Strategic Equilibria.

[BibT_eX]

[DOI]

Proceedings of the Model Checking and Artificial Intelligence, 5th International Workshop, 2008

GOAL Agents Instantiate Intention Logic.

[BibT_eX]

[DOI]

Koen V. Hindriks

Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

Cooperative Boolean games.

[BibT_eX]

[DOI]

Sarit Kraus

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

Quantifying over coalitions in epistemic logic.

[BibT_eX]

[DOI]

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

2007

Social laws in alternating time: effectiveness, feasibility, and synthesis.

[BibT_eX]

[DOI]

Mark Roberts

Synth., 2007

Towards a theory of intention revision.

[BibT_eX]

[DOI]

Synth., 2007

A verification framework for agent programming with declarative goals.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

A logical characterisation of qualitative coalitional games.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2007

Completeness and Complexity of Multi-modal CTL.

[BibT_eX]

[DOI]

Proceedings of the 5th Workshop on Methods for Modalities, 2007

Logics in AI: post-proceedings JELIA06 (Editorial).

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2007

Alternating-time temporal logic with explicit strategies.

[BibT_eX]

[DOI]

Dirk Walther

Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), 2007

On the Logic of Normative Systems.

[BibT_eX]

[DOI]

Juan A. Rodríguez-Aguilar

Carles Sierra

Proceedings of the IJCAI 2007, 2007

Dynamic Epistemic Logic and Knowledge Puzzles.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

Normative system games.

[BibT_eX]

[DOI]

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

Reasoning about judgment and preference aggregation.

[BibT_eX]

[DOI]

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

Logic for Automated Mechanism Design - A Progress Report.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Modal logic for games and information.

[BibT_eX]

[DOI]

Marc Pauly

Proceedings of the Handbook of Modal Logic., 2007

2006

Knowledge Condition Games.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2006

Temporal Logics of Knowledge and their Applications in Security.

[BibT_eX]

[DOI]

Clare Dixon

M. Carmen Fernández Gago

Proceedings of the First Workshop in Information and Computer Security, 2006

Preface.

[BibT_eX]

[DOI]

Chiara Ghidini

Paolo Giorgini

Auton. Agents Multi Agent Syst., 2006

Reasoning about action and cooperation.

[BibT_eX]

[DOI]

Luigi Sauro

Jelle Gerbrandy

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

On the complexity of practical ATL model checking.

[BibT_eX]

[DOI]

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

Temporal qualitative coalitional games.

[BibT_eX]

[DOI]

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

On the logic of coalitional games.

[BibT_eX]

[DOI]

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

Uncertainty, rationality, and agency.

[BibT_eX]

Kluwer, ISBN: 978-1-4020-4630-8, 2006

2005

On obligations and normative ability: Towards a logical analysis of the social contract.

[BibT_eX]

[DOI]

J. Appl. Log., 2005

Preface.

[BibT_eX]

[DOI]

Erik P. de Vink

Proceedings of the Third International Workshop on Logic and Communication in Multi-Agent Systems, 2005

Model Checking Russian Cards.

[BibT_eX]

[DOI]

Ron van der Meyden

Ji Ruan

Proceedings of the Third Workshop on Model Checking and Artificial Intelligence, 2005

On the logic of cooperation and propositional control.

[BibT_eX]

[DOI]

Artif. Intell., 2005

Process algebra and constraint programming for modeling interactions in MAS.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2005

Intentions and Strategies in Game-Like Scenarios.

[BibT_eX]

[DOI]

Nivea de Carvalho Ferreira

Proceedings of the Progress in Artificial Intelligence, 2005

Logical Implementation of Uncertain Agents.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2005

On the dynamics of delegation, cooperation, and control: a logical account.

[BibT_eX]

[DOI]

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

Knowledge and social laws.

[BibT_eX]

[DOI]

Mark Roberts

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

A logic for strategic reasoning.

[BibT_eX]

[DOI]

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

Dynamic epistemic logic with assignment.

[BibT_eX]

[DOI]

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

2004

Theories of Knowledge and Ignorance.

[BibT_eX]

[DOI]

Proceedings of the Logic, Epistemology, and the Unity of Science, 2004

Editorial.

[BibT_eX]

[DOI]

Synth., 2004

Agents that Know How to Play.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

Rational Teams: Logical Aspects of Multi-Agent Systems.

[BibT_eX]

[DOI]

Huib Aldewereld

Fundam. Informaticae, 2004

Model Checking A Knowledge Exchange Scenario.

[BibT_eX]

[DOI]

Appl. Artif. Intell., 2004

Using Temporal Logics of Knowledge in the Formal Verification of Security Protocols.

[BibT_eX]

[DOI]

Clare Dixon

M. Carmen Fernández Gago

Nivea de Carvalho Ferreira

Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

Practical Reasoning for Uncertain Agents.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Representation and Complexity in Boolean Games.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

On Obligations and Abilities.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 2004

Preferences in Game Logics.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Knowledge, Rationality and Action.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Public Announcements and Belief Expansion.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 5, 2004

2003

A fully abstract model for the exchange of information in multi-agent systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Cooperation, Knowledge, and Time: Alternating-time Temporal Epistemic Logic and its Applications.

[BibT_eX]

[DOI]

Stud Logica, 2003

Preface.

[BibT_eX]

[DOI]

Stud Logica, 2003

Formal semantics of meta-level architectures: Temporal epistemic reflection.

[BibT_eX]

[DOI]

Jan Treur

Int. J. Intell. Syst., 2003

Iterated Belief Change in Multi-Agent Systems.

[BibT_eX]

[DOI]

Jan-Willem Roorda

Log. J. IGPL, 2003

Towards a Logic of Rational Agency.

[BibT_eX]

[DOI]

Log. J. IGPL, 2003

Editorial.

[BibT_eX]

[DOI]

Log. J. IGPL, 2003

A Modal Characterization of Nash Equilibrium.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Knowledge as Strategic Ability.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

Preface: Volume 85, Issue 2.

[BibT_eX]

[DOI]

Erik P. de Vink

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

A Logic For Ignorance.

[BibT_eX]

[DOI]

Proceedings of the 1st International Workshop on Logic and Communication in Multi-Agent Systems, 2003

A Verification Framework for Agent Communication.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2003

Agent programming in dribble: from beliefs to goals using plans.

[BibT_eX]

[DOI]

Birna van Riemsdijk

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Ignore at your peril - towards a logic for ignorance.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Process Algebra for Agent Communication: A General Semantic Approach.

[BibT_eX]

[DOI]

Proceedings of the Communication in Multiagent Systems, 2003

Concurrent dynamic epistemic logic for MAS.

[BibT_eX]

[DOI]

Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002

Note by the Guest Editors.

[BibT_eX]

[DOI]

Stud Logica, 2002

A General Approach to Multi-Agent Minimal Knowledge: With Tools and Samples.

[BibT_eX]

[DOI]

Stud Logica, 2002

Model Checking Knowledge and Time.

[BibT_eX]

[DOI]

Proceedings of the Model Checking of Software, 2002

Agent Programming in Dribble: From Beliefs to Goals with Plans.

[BibT_eX]

[DOI]

Birna van Riemsdijk

Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

On Modal Logic Interpretations of Games.

[BibT_eX]

Proceedings of the 15th European Conference on Artificial Intelligence, 2002

Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Tractable multiagent planning for epistemic goals.

[BibT_eX]

[DOI]

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

2001

RoboCup European Championship: Report of the Amsterdam 2000 event.

[BibT_eX]

[DOI]

Robotics Auton. Syst., 2001

Scanning the issue.

[BibT_eX]

[DOI]

Giovanni Adorni

Robotics Auton. Syst., 2001

Modal Logic with Bounded Quantification over Worlds.

[BibT_eX]

[DOI]

J. Log. Comput., 2001

On dynamically generated ontology translators in agent communication.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2001

On Programming KARO Agents.

[BibT_eX]

[DOI]

Log. J. IGPL, 2001

Reasoning about agents in the KARO framework.

[BibT_eX]

[DOI]

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

A Truly Concurrent Model for Interacting Agents.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents: Specification, 2001

Logical Foundations of Agent-Based Computing.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems and Applications, 2001

A Programming Language for Coordinating Group Actions.

[BibT_eX]

[DOI]

Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

On BAN Logics for Industrial Security Protocols.

[BibT_eX]

[DOI]

Nesria Agray

Erik P. de Vink

Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

2000

On Agents That Have the Ability to Choose.

[BibT_eX]

[DOI]

Stud Logica, 2000

Nonmonotonic Reasoning, Grigoris Antoniou.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2000

A General Approach to Multi-agent Minimal Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

A Modal Logic for Network Topologies.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Verification within the KARO Agent Theory.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

A Programming Logic for Part of the Agent Language 3APL.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Classical, General Frameworks for Recovery.

[BibT_eX]

Proceedings of the ECAI 2000, 2000

Agent Programming with Declarative Goals.

[BibT_eX]

[DOI]

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

Generalised Object-Oriented Concepts for Inter-agent Communication.

[BibT_eX]

[DOI]

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

Semantics of Communicating Agents Based on Deduction and Abduction.

[BibT_eX]

[DOI]

Proceedings of the Issues in Agent Communication, 2000

Operational Semantics for Agent Communication Languages.

[BibT_eX]

[DOI]

Proceedings of the Issues in Agent Communication, 2000

1999

Persistence and minimality in epistemic logic.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1999

A Logical Approach to the Dynamics of Commitments.

[BibT_eX]

[DOI]

Artif. Intell., 1999

Agent Programming in 3APL.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 1999

Failure Semantics for the Exchange of Information in Multi-agent Systems.

[BibT_eX]

Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Open Multi-agent Systems: Agent Communication and Integration.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents VI, 1999

1998

Temporalizing Epistemic Default Logic.

[BibT_eX]

[DOI]

Jan Treur

J. Log. Lang. Inf., 1998

Logic for Applications, Anil Nerode and Richard A. Shore.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1998

Formalising Abilities and Opportunities of Agents.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1998

Translations of Vocabularies in Systems of Communicating Agents.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Concurrent Constraint Programming for Time Critical Applications and Multi-Agent Systems, 1998

Recovery of (Non)Monotonic Theories.

[BibT_eX]

[DOI]

Artif. Intell., 1998

Information-Passing and Belief Revision in Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Multiagent Systems, 1998

Systems of Communicating Agents.

[BibT_eX]

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

A Formal Embedding of AgentSpeak(L) in 3APL.

[BibT_eX]

[DOI]

Proceedings of the Advanced Topics in Artificial Intelligence, 1998

Control Structures of Rule-Based Agent Languages.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents V, 1998

Constructing Translations Between Individual Vocabularies in Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 1998

1997

Seeing Is Believing.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 1997

Some Considerations on the Logic PFD~.

[BibT_eX]

J. Appl. Non Class. Logics, 1997

The Dynamics of Default Reasoning.

[BibT_eX]

[DOI]

Data Knowl. Eng., 1997

A General Framework for Revising Non-Monotonic Theories.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Formal Semantics for an Abstract Agent Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents IV, 1997

1996

Honesty in partial logic.

[BibT_eX]

[DOI]

Stud Logica, 1996

Qualitative Modalities.

[BibT_eX]

[DOI]

Int. J. Uncertain. Fuzziness Knowl. Based Syst., 1996

A Modal Contrastive Logic: The Logic of 'but'.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1996

Revising and Updating Using a Back-Up Semantics.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996

Updating Nonmonotonic Databases.

[BibT_eX]

Proceedings of the Fourth Israel Symposium on Theory of Computing and Systems, 1996

Some postulates for Nonmonotonic Theory Revision Applied to Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

1995

Counting Objects.

[BibT_eX]

[DOI]

Maarten de Rijke

J. Log. Comput., 1995

A Default Logic Based on Epistemic States.

[BibT_eX]

[DOI]

Fundam. Informaticae, 1995

Revision by Communication.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Actions That Make You Change Your Mind (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

The Dynamics of Default Reasoning (Extended Abstract).

[BibT_eX]

[DOI]

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

Formalising Motivational Attitudes of Agents.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents II, 1995

Epistemic logic for AI and computer science.

[BibT_eX]

John-Jules Charles Meyer

Cambridge tracts in theoretical computer science 41, Cambridge University Press, ISBN: 978-0-521-46014-9, 1995

1994

Formal Semantics of Temporal Epistemic Reflection.

[BibT_eX]

[DOI]

Jan Treur

Proceedings of the Logic Programming Synthesis and Transformation, 1994

A Logic of Capabilities.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

Communicating Rational Agents.

[BibT_eX]

[DOI]

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

Revision of Non-Monotonic Theories.

[BibT_eX]

[DOI]

Hans de Nivelle

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994

Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II.

[BibT_eX]

[DOI]

Proceedings of the Advances in Intelligent Computing, 1994

Tests as Epistemic Updates.

[BibT_eX]

Proceedings of the Eleventh European Conference on Artificial Intelligence, 1994

1993

Systems for Knowledge and Belief.

[BibT_eX]

[DOI]

J. Log. Comput., 1993

Generalized quantifiers and modal logic.

[BibT_eX]

[DOI]

Maarten de Rijke

J. Log. Lang. Inf., 1993

Counterfactual Reasoning by (means of) Defaults.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1993

Belief Revision by Expansion.

[BibT_eX]

[DOI]

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

1992

On the Semantics of Graded Modalities.

[BibT_eX]

J. Appl. Non Class. Logics, 1992

Making Some Issues of Implicit Knowledge Explicit.

[BibT_eX]

[DOI]

Int. J. Found. Comput. Sci., 1992

Towards an Epistemic Approach to Reasoning about Concurrent Programs.

[BibT_eX]

[DOI]

M. van Hulst

Proceedings of the Sematics: Foundations and Applications, 1992

Graded Modalities in Epistemic Logic.

[BibT_eX]

[DOI]

Proceedings of the Logical Foundations of Computer Science, 1992

1990

Non-Monotonic Reasoning by Monotonic Means.

[BibT_eX]

[DOI]

Proceedings of the Logics in AI, European Workshop, 1990

Systems for Knowledge and Beliefs.

[BibT_eX]

[DOI]