John-Jules Ch. Meyer

Proceedings of the IJCAI 2011, 2011

Neural-Symbolic Cognitive Agents: Architecture and Theory.

[BibT_eX]

[DOI]

Leo de Penning

Artur S. d'Avila Garcez

Luís C. Lamb

Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

Explanation and Coordination in Human-Agent Teams: A Study in the BW4T Testbed.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology, 2011

A Methodology for the Generation of Multi-agent Argumentation Dialogue Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Multi-Agent Systems - 9th European Workshop, 2011

Classifying the decision to perform surgery in MEN1 cancer patients using decision trees.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on Computer-Based Medical Systems, 2011

Programming mental state abduction.

[BibT_eX]

[DOI]

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

Explanation in Human-Agent Teamwork.

[BibT_eX]

[DOI]

Proceedings of the Coordination, 2011

Multi-criteria Argument Selection in Persuasion Dialogues.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems - 8th International Workshop, 2011

Scenario-Based Training: Director's Cut.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Education - 15th International Conference, 2011

2010

Explaining Simulations Through Self Explaining Agents.

[BibT_eX]

[DOI]

J. Artif. Soc. Soc. Simul., 2010

Affective negotiation support systems.

[BibT_eX]

[DOI]

Joost Broekens

Catholijn M. Jonker

J. Ambient Intell. Smart Environ., 2010

Agents with emotions.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2010

Coping with shame and sense of guilt: a Dynamic Logic Account.

[BibT_eX]

[DOI]

Paolo Turrini

Cristiano Castelfranchi

Auton. Agents Multi Agent Syst., 2010

Affordance-Based Intention Recognition in Virtual Spatial Environments.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Do You Get It? User-Evaluated Explainable BDI Agents.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies, 8th German Conference, 2010

Design and Evaluation of Explainable BDI Agents.

[BibT_eX]

[DOI]

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

Mental State Ascription Using Dynamic Logic.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2010, 2010

Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

Emotions to control agent deliberation.

[BibT_eX]

[DOI]

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

Arguing about Preferences and Decisions.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems - 7th International Workshop, 2010

A Formal Argumentation Framework for Deliberation Dialogues.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems - 7th International Workshop, 2010

2009

Determining the environment: a modal logic for closed interaction.

[BibT_eX]

[DOI]

Synth., 2009

Model checking communicative agent-based systems.

[BibT_eX]

[DOI]

Wei Wan

Knowl. Based Syst., 2009

On the Semantics and Verification of Normative Multi-Agent Systems.

[BibT_eX]

[DOI]

Lacramioara Astefanoaei

J. Univers. Comput. Sci., 2009

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

[BibT_eX]

[DOI]

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

Goals in conflict: semantic foundations of goals in agent programming.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2009

Toward a programming theory for rational agents.

[BibT_eX]

[DOI]

Koen V. Hindriks

Auton. Agents Multi Agent Syst., 2009

Debugging BDI-Based Multi-Agent Programs.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

An Update Operator for Strategic Ability.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

Intentions and Assignments.

[BibT_eX]

[DOI]

Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

A Methodology for Developing Self-explaining Agents for Virtual Training.

[BibT_eX]

[DOI]

Proceedings of the Languages, 2009

BDI-Based Development of Virtual Characters with a Theory of Mind.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Virtual Agents, 9th International Conference, 2009

A Study into Preferred Explanations of Virtual Agent Behavior.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Virtual Agents, 9th International Conference, 2009

Autonomy and Coordination: Controlling External Influences on Decision Making.

[BibT_eX]

[DOI]

Bob van der Vecht

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

Programming Normative Artifacts with Declarative Obligations and Prohibitions.

[BibT_eX]

[DOI]

Leendert W. N. van der Torre

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

Modeling Agents with a Theory of Mind.

[BibT_eX]

[DOI]

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

Strategic Ability Update: A Modal Logic Account.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

Getting a Grip on Emotions in Negotiations: The Possibilities of ICT.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

A Formal Model of Emotion-Based Action Tendency for Intelligent Agents.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2009

Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Normative Multi-Agent Programs and Their Logics.

[BibT_eX]

[DOI]

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

Model Checking Normative Agent Organisations.

[BibT_eX]

[DOI]

Louise A. Dennis

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

Roles and norms for programming agent organizations.

[BibT_eX]

[DOI]

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

Practical Reasoning Using Values.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems, 6th International Workshop, 2009

Autonomous Agents Adopting Organizational Rules.

[BibT_eX]

[DOI]

Bob van der Vecht

Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

A Programming Language for Normative Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Research on Multi-Agent Systems, 2009

2008

Agent Technology.

[BibT_eX]

[DOI]

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

The many faces of counts-as: A formal analysis of constitutive rules.

[BibT_eX]

[DOI]

J. Appl. Log., 2008

Editorial.

[BibT_eX]

[DOI]

Lou Goble

J. Appl. Log., 2008

Orwell's Nightmare for Agents? Programming Multi-agent Organisations.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 2008

A Verification Framework for Normative Multi-Agent Systems.

[BibT_eX]

[DOI]

Lacramioara Astefanoaei

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Reo Connectors as Coordination Artifacts in 2APL Systems.

[BibT_eX]

[DOI]

Farhad Arbab

Lacramioara Astefanoaei

Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

A Logic for Closed-World Interaction.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

A Generic Architecture for a Companion Robot.

[BibT_eX]

Proceedings of the ICINCO 2008, 2008

A Cognitive Model for the Generation and Explanation of Behaviour in Virtual Training Systems.

[BibT_eX]

Proceedings of the Explanation-aware Computing, 2008

Magic Agents: Using Information Relevance to Control Autonomy.

[BibT_eX]

[DOI]

Bob van der Vecht

Proceedings of the ECAI 2008, 2008

Organizing Coherent Coalitions.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

A Deontic Logic for Socially Optimal Norms.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

Mental State Abduction of BDI-Based Agents.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VI, 2008

Strategic Agent Communication: An Argumentation-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VI, 2008

A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects.

[BibT_eX]

[DOI]

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

Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms.

[BibT_eX]

[DOI]

Proceedings of the Coordination, 2008

Achieving efficient and equitable collaboration among selfish agents using spender-signed currency.

[BibT_eX]

[DOI]

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

Reasoning about agent execution strategies.

[BibT_eX]

[DOI]

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

Personality-Based Practical Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems, Fifth International Workshop, 2008

2007

A verification framework for agent programming with declarative goals.

[BibT_eX]

[DOI]

J. Appl. Log., 2007

A security framework for agent-based systems.

[BibT_eX]

[DOI]

Int. J. Web Inf. Syst., 2007

A New Quantitative Trust Model for Negotiating Agents using Argumentation.

[BibT_eX]

[DOI]

Int. J. Comput. Sci. Appl., 2007

Ontology negotiation: goals, requirements and implementation.

[BibT_eX]

[DOI]

Int. J. Agent Oriented Softw. Eng., 2007

Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system.

[BibT_eX]

[DOI]

Appl. Ontology, 2007

Our Quest for the Holy Grail of Agent Verification.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

Model Checking Communicative Agent-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2007

A New Quantitative Trust Model for Negotiating Agents.

[BibT_eX]

Proceedings of the First International Conference on Research Challenges in Information Science, 2007

A Practical Agent Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Goal Selection Strategies for Rational Agents.

[BibT_eX]

[DOI]

Proceedings of the Languages, 2007

Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach.

[BibT_eX]

[DOI]

Bernard Moulin

Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

Towards Programming Multimodal Dialogues.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2007

On the Logic of Constitutive Rules.

[BibT_eX]

[DOI]

Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

Towards a Delegation Framework for Aerial Robotic Mission Scenarios.

[BibT_eX]

[DOI]

Patrick Doherty

Proceedings of the Cooperative Information Agents XI, 11th International Workshop, 2007

A Dynamic Coordination Mechanism Using Adjustable Autonomy.

[BibT_eX]

[DOI]

Proceedings of the Coordination, 2007

Achieving cooperation among selfish agents in the air traffic management domain using signed money.

[BibT_eX]

[DOI]

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

A formal road from institutional norms to organizational structures.

[BibT_eX]

[DOI]

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

A grounded specification language for agent programs.

[BibT_eX]

[DOI]

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

Practical extensions in agent programming languages.

[BibT_eX]

[DOI]

Dirk Hobo

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

Designing protocols for agent institutions.

[BibT_eX]

[DOI]

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

Rational Agents That Blush.

[BibT_eX]

[DOI]

Paolo Turrini

Cristiano Castelfranchi

Proceedings of the Affective Computing and Intelligent Interaction, 2007

A Logic of Emotions for Intelligent Agents.

[BibT_eX]

[DOI]

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

A Logic of Agent Programs.

[BibT_eX]

[DOI]

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

Intelligent agents and common sense reasoning.

[BibT_eX]

[DOI]

Frank Veltman

Proceedings of the Handbook of Modal Logic., 2007

2006

Semantics of plan revision in intelligent agents.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Dynamic Logic for Plan Revision in Agent Programming.

[BibT_eX]

[DOI]

J. Log. Comput., 2006

Classificatory Aspects of Counts-as: An Analysis in Modal Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2006

Reasoning about emotional agents.

[BibT_eX]

[DOI]

Int. J. Intell. Syst., 2006

Agent Logics as Program Logics: Grounding KARO.

[BibT_eX]

[DOI]

Koen V. Hindriks

Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

Going beyond BDI: Programming 'BDI+' Agents.

[BibT_eX]

[DOI]

Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

Goal Types in Agent Programming.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Programming Agents with Emotions.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Counts-as: Classification or Constitution? An Answer Using Modal Logic.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems.

[BibT_eX]

[DOI]

Rafael H. Bordini

Proceedings of the Foundations and Practice of Programming Multi-Agent Systems, 25.06., 2006

06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems.

[BibT_eX]

[DOI]

Rafael H. Bordini

Proceedings of the Foundations and Practice of Programming Multi-Agent Systems, 25.06., 2006

Prototyping 3APL in the Maude Term Rewriting Language.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

A New Logical Semantics for Agent Communication.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

A New Model Checking Approach for Verifying Agent Communication Protocols.

[BibT_eX]

[DOI]

Bernard Moulin

Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Influence-Based Autonomy Levels in Agent Decision-Making.

[BibT_eX]

[DOI]

Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2006

Goal-oriented modularity in agent programming.

[BibT_eX]

[DOI]

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

ANEMONE: an effective minimal ontology negotiation environment.

[BibT_eX]

[DOI]

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

A Compositional Semantics of Plan Revision in Intelligent Agents.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2006

Can I Please Drop It? Dialogues About Belief Contraction.

[BibT_eX]

[DOI]

Henk-Jan Lebbink

Cilia Witteman

Proceedings of the Agent Communication II, International Workshops on Agent Communication, 2006

Combining Normal Communication with Ontology Alignment.

[BibT_eX]

[DOI]

Proceedings of the Agent Communication II, International Workshops on Agent Communication, 2006

2005

Process algebra and constraint programming for modeling interactions in MAS.

[BibT_eX]

[DOI]

Appl. Algebra Eng. Commun. Comput., 2005

Programming Deliberative Agents for Mobile Services: The 3APL-M Platform.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, 2005

Programming Cognitive Agents.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies, Third German Conference, 2005

Modal logic investigations in the Modal logic investigations in the semantics of counts semantics of counts-as as.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Conference on Artificial Intelligence and Law, 2005

Subgoal Semantics in Agent Programming.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2005

Towards a Market Mechanism for Airport Traffic Control.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2005

A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication.

[BibT_eX]

[DOI]

Bernard Moulin

Proceedings of the Declarative Agent Languages and Technologies III, 2005

Contextual Terminologies.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

Efficiency and Fairness in Air Traffic Control.

[BibT_eX]

Proceedings of the BNAIC 2005, 2005

Semantics of declarative goals in agent programming.

[BibT_eX]

[DOI]

Birna van Riemsdijk

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

Verifying Norm Compliancy of Protocols.

[BibT_eX]

[DOI]

Javier Vázquez-Salceda

Proceedings of the Coordination, 2005

Norm compliance of protocols in electronic institutions.

[BibT_eX]

[DOI]

Javier Vázquez-Salceda

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

Programming Multi-Agent Systems in 3APL.

[BibT_eX]

Proceedings of the Multi-Agent Programming: Languages, Platforms and Applications, 2005

2004

Update Semantics of Security Protocols.

[BibT_eX]

[DOI]

Arjen Hommersom

Synth., 2004

An agent-mediated approach to the support of knowledge sharing in organizations.

[BibT_eX]

[DOI]

Virginia Dignum

Knowl. Eng. Rev., 2004

Rational Teams: Logical Aspects of Multi-Agent Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

Toward Reasoning about Security Protocols: A Semantic Approach.

[BibT_eX]

[DOI]

Arjen Hommersom

Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, 2004

A Dialogue Game to Offer an Agreement to Disagree.

[BibT_eX]

[DOI]

Henk-Jan Lebbink

Cilia Witteman

Proceedings of the Programming Multi-Agent Systems, 2004

Meeting the Deadline: Why, When and How.

[BibT_eX]

[DOI]

Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Collective Obligations and Agents: Who Gets the Blame?

[BibT_eX]

[DOI]

Lambèr M. M. Royakkers

Proceedings of the Deontic Logic in Computer Science, 2004

Designing a Deontic Logic of Deadlines.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 2004

Dynamics of Declarative Goals in Agent Programming.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies II, 2004

Dynamic Logic for Plan Revision in Intelligent Agents.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Contextual Taxonomies.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

A Computational Model for Conversation Policies for Agent Communication.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Issues in Multiagent System Development.

[BibT_eX]

[DOI]

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

A Logical Model for Commitment and Argument Network for Agent Communication.

[BibT_eX]

[DOI]

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

A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems, First International Workshop, 2004

Enacting and Deacting Roles in Agent Programming.

[BibT_eX]

[DOI]

Proceedings of the Agent-Oriented Software Engineering V, 5th International Workshop, 2004

Agent-Oriented Programming: Where Do We Stand?.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2004

Optimal Communication Vocabularies and Heterogeneous Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Agent Communication, International Workshop on Agent Communication, 2004

2003

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

[BibT_eX]

[DOI]

Theor. Comput. Sci., 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

A Modal Characterization of Nash Equilibrium.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Dialogue Games for Inconsistent and Biased Information.

[BibT_eX]

[DOI]

Henk-Jan Lebbink

Cilia Witteman

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

A Programming Language for Cognitive Agents Goal Directed 3APL.

[BibT_eX]

[DOI]

Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003

Objects, Agents, and Features: An Introduction.

[BibT_eX]

[DOI]

Mark Dermot Ryan

Hans-Dieter Ehrich

Proceedings of the Objects, 2003

Intelligent Agents: Issues and Logics.

[BibT_eX]

Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

Coordinating Agents in OO.

[BibT_eX]

[DOI]

Proceedings of the Objects, 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

Process Algebra for Agent Communication: A General Semantic Approach.

[BibT_eX]

[DOI]

Proceedings of the Communication in Multiagent Systems, 2003

Autonomy and Agent Deliberation.

[BibT_eX]

[DOI]

Proceedings of the Agents and Computational Autonomy - Potential, Risks, and Solutions - Postproceedings of the 1st International Workshop on Computational Autonomy, 2003

Programming agent deliberation: an approach illustrated using the 3APL language.

[BibT_eX]

[DOI]

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

2002

The Logic of Knowledge Bases - Hector J. Levesque, Gerhard Lakemeyer (Eds.), MIT Press, Cambridge, MA, 2000, ISBN 0-262-12232-4.

[BibT_eX]

[DOI]

Artif. Intell. Medicine, 2002

The mutual exclusion problem in reasoning about action and change.

[BibT_eX]

Jan M. Broersen

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 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

Tools and Education towards Formal Methods Practice.

[BibT_eX]

[DOI]

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

Formal Specification of Interaction in Agent Societies.

[BibT_eX]

[DOI]

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

Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World III, 2002

On Modal Logic Interpretations of Games.

[BibT_eX]

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

Towards an organizational model for agent societies using contracts.

[BibT_eX]

[DOI]

Virginia Dignum

Hans Weigand

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

2001

Regular database update logics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 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

A Fixed-point Characterization of a Deontic Logic of Regular Action.

[BibT_eX]

[DOI]

Jan M. Broersen

Fundam. Informaticae, 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

A Programming Language for Coordinating Group Actions.

[BibT_eX]

[DOI]

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

Introduction.

[BibT_eX]

[DOI]

Milind Tambe

Proceedings of the Intelligent Agents VIII, 8th International Workshop, 2001

2000

On Agents That Have the Ability to Choose.

[BibT_eX]

[DOI]

Stud Logica, 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

A Semantics for Persistency in Propositional Dynamic Logic.

[BibT_eX]

[DOI]

Jan M. Broersen

Proceedings of the Computational Logic, 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

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

Keynote Address: Formal and Informal Aspects of Intelligent Agent-based Systems.

[BibT_eX]

Proceedings of the Information System Concepts: An Integrated Discipline Emerging, 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

Informational independence: Models and normal forms.

[BibT_eX]

[DOI]

Linda C. van der Gaag

Int. J. Intell. Syst., 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

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

The Role of Deontic Logic in the Specification of Information Systems.

[BibT_eX]

Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

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

[BibT_eX]

[DOI]

Proceedings of the Advanced Topics in Artificial Intelligence, 1998

Agent Languages and Their Relationship to Other Programming Paradigms.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents V, 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

The Dynamics of Default Reasoning.

[BibT_eX]

[DOI]

Data Knowl. Eng., 1997

Formal Models of Agents: An Introduction.

[BibT_eX]

[DOI]

Pierre-Yves Schobbens

Proceedings of the Formal Models of Agents, 1997

Preferential Action Semantics (Preliminary Report).

[BibT_eX]

[DOI]

Patrick Doherty

Proceedings of the Formal Models of Agents, 1997

Formal Semantics for an Abstract Agent Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Agents IV, 1997

1996

Free Choice and Contextually Permitted Actions.

[BibT_eX]

[DOI]

Stud Logica, 1996

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

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1996

An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints.

[BibT_eX]

[DOI]

P. d'Altan

Artif. Intell. Law, 1996

Possible World Semantics for Analogous Reasoning.

[BibT_eX]

[DOI]

J. C. van Leeuwen

Proceedings of the Practical Reasoning, 1996

A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic, Agency and Normative Systems, 1996

1995

Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases.

[BibT_eX]

[DOI]

J. Log. Comput., 1995

A Default Logic Based on Epistemic States.

[BibT_eX]

[DOI]

Fundam. Informaticae, 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

An Epistemic Proof System for Parallel Processes.

[BibT_eX]

M. van Hulst

Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 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

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

Actors, Actions, and Initiative in Normative System Specification.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1993

Counterfactual Reasoning by (means of) Defaults.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1993

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

Dynamic Database Logic: the First-order Case.

[BibT_eX]

[DOI]

Proceedings of the Modelling Database Dynamics, 1992

1991

The Inheritance of Dynamic and Deontic Integrity Constraints.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 1991

Actor-Oriented System Specification with Dynamic Logic.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Actor-Oriented Specification of Deontic Integrity Constraints.

[BibT_eX]

[DOI]

Proceedings of the MFDBS 91, 1991

Discussion Issues for a Working Group on Update Semantics of Logic Databases.

[BibT_eX]

Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

Declarative Semantics of Passive and Active Updates in Logic Databases.

[BibT_eX]

Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

1990

Hiding in Stream Semantics of Uniform Concurrency.

[BibT_eX]

[DOI]

Acta Informatica, 1990

Non-Monotonic Reasoning by Monotonic Means.

[BibT_eX]

[DOI]

Proceedings of the Logics in AI, European Workshop, 1990

1989

Specifying Dynamic and Deontic Integrity Constraints.

[BibT_eX]

[DOI]

Hans Weigand

Data Knowl. Eng., 1989

Step Semantics for "True" Concurrency with Recursion.

[BibT_eX]

[DOI]

Distributed Comput., 1989

A Specification Language for Static, Dynamic and Deontic Integrity Constraints.

[BibT_eX]

[DOI]

Hans Weigand

Proceedings of the MFDBS 89, 1989

Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1988

Applications of Compactness in the Smyth Powerdomain of Streams.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1988

A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.

[BibT_eX]

[DOI]

Notre Dame J. Formal Log., 1988

Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency.

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 1988

Metric Semantics for Concurrency.

[BibT_eX]

[DOI]

BIT, 1988

1987

Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1987

Process modalities obtained as fixed points (part 2).

[BibT_eX]

Bull. EATCS, 1987

Process modalities obtained as fixed points (Part one).

[BibT_eX]

Bull. EATCS, 1987

Order and Metric in the Stream Semantics of Elemental Concurrency.

[BibT_eX]

[DOI]

Acta Informatica, 1987

Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987

1986

Merging Regular Processes by Means of Fixed-Point Theory.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1986

Contrasting Themes in the Semantics of Imperative Concurrency.

[BibT_eX]

[DOI]

Joost N. Kok

Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

1985

Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency

[BibT_eX]

[DOI]

Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985

1984

Linear Time and Branching Time Semantics for Recursion with Merge.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1984

On Specifying Sets of Integers.

[BibT_eX]

J. Inf. Process. Cybern., 1984

1983

On Infinite Computations in Denotational Semantics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1983

1982

On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1982

A Simple Transfer Lemma for Algebraic Specifications.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1982

1981

I/O-computable data structures.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1981

On the quantifier-free fragment of 'Logic of effective definitions'.

[BibT_eX]

Fundam. Informaticae, 1981

Correctness of Programs with Function Procedures.

[BibT_eX]

[DOI]

Jan Willem Klop