John-Jules Ch. Meyer

According to our database1, John-Jules Ch. Meyer
  • authored at least 350 papers between 1981 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2017
A two-phase method for extracting explanatory arguments from Bayesian networks.
Int. J. Approx. Reasoning, 2017

A formal account of opportunism based on the situation calculus.
AI Soc., 2017

Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires.
Proceedings of the PRIMA 2017: Principles and Practice of Multi-Agent Systems - 20th International Conference, Nice, France, October 30, 2017

A Versatile Simulation Model of Agile Production by Autonomous Systems.
Proceedings of the 13th IEEE International Symposium on Autonomous Decentralized System, 2017

Towards a Framework for Predicting Opportunism in Multi-agent Systems.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires.
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, 2017

2016
General directionality and the local behavior of argumentation semantics.
AI Commun., 2016

Agent-Based Personalisation and User Modeling for Personalised Educational Games.
Proceedings of the 2016 Conference on User Modeling Adaptation and Personalization, 2016

Preference and Priorities: A Study Based on Contrction.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Internet of Smart Things - A Study on Embedding Agents and Information in a Device.
Proceedings of the 8th International Conference on Agents and Artificial Intelligence (ICAART 2016), 2016

Towards a Framework for Detecting Opportunism in Multi-Agent Systems.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

A Dynamic Logic of Norm Change.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Formal Frameworks for Verifying Normative Multi-agent Systems.
Proceedings of the Theory and Practice of Formal Methods, 2016

Monitoring Opportunism in Multi-agent Systems.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems XII, 2016

2015
Forbidding undesirable agreements.
J. Log. Comput., 2015

Communication for Agents with Ontological Reasoning.
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

Integrating Ontology Negotiation and Agent Communication.
Proceedings of the Ontology Engineering, 2015

Towards A Formal Model of Opportunism Based on Situation Calculus.
Proceedings of the Multiagent System Technologies - 13th German Conference, 2015

Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract.
Proceedings of the Legal Knowledge and Information Systems, 2015

Explaining Legal Bayesian Networks Using Support Graphs.
Proceedings of the Legal Knowledge and Information Systems, 2015

Implementation of an Agent-Based Manufacturing Grid.
Proceedings of the Twelfth IEEE International Symposium on Autonomous Decentralized Systems, 2015

Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing Grid.
Proceedings of the 11th International Conference on ICT in Education, 2015

Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation.
Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation.
Proceedings of the 15th International Conference on Artificial Intelligence and Law, 2015

Dynamic Task Allocation for Human-robot Teams.
Proceedings of the ICAART 2015, 2015

Explaining Bayesian Networks Using Argumentation.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2015

On Formalizing Opportunism Based on Situation Calculus.
Proceedings of the Advances in Social Computing and Multiagent Systems, 2015

Verifying Normative System Specification containing Collective Imperatives and Deadlines.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

CÒIR: Verifying Normative Specifications of Complex Systems.
Proceedings of the Coordination, Organizations, Institutions, and Normes in Agent Systems XI, 2015

2014
Programming Agents with Emotions.
Proceedings of the Emotion Modeling, 2014

Logics for Intelligent Agents and Multi-Agent Systems.
Proceedings of the Computational Logic, 2014

The design and effect of automated directions during scenario-based training.
Computers & Education, 2014

A Formalization of the Coach Problem.
Proceedings of the RoboCup 2014: Robot World Cup XVIII [papers from the 18th Annual RoboCup International Symposium, 2014

Extracting Legal Arguments from Forensic Bayesian Networks.
Proceedings of the Legal Knowledge and Information Systems, 2014

Reasoning about Dynamic Normative Systems.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions.
Proceedings of the 2014 International Joint Conference on Neural Networks, 2014

A Demo Processor as an Educational Tool.
Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2014

Agent-based Manufacturing in a Production Grid - Adapting a Production Grid to the Production Paths.
Proceedings of the ICAART 2014, 2014

Adaptive emotional expression in robot-child interaction.
Proceedings of the ACM/IEEE International Conference on Human-Robot Interaction, 2014

Norm Monitoring Through Observation Sharing.
Proceedings of the European Conference on Social Intelligence (ECSI-2014), 2014

Encoding Definitional Fragments of Temporal Action Logic into Logic Programming.
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2014

An Agent-Based Model of Procrastination.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

A Tool for the Generation of Arguments from Bayesian Networks.
Proceedings of the Computational Models of Argument, 2014

Neural-symbolic cognitive agents: architecture, theory and application.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013
Computational Modeling of Emotion: Toward Improving the Inter- and Intradisciplinary Exchange.
IEEE Trans. Affective Computing, 2013

A weakest precondition calculus for BUnity.
Sci. Comput. Program., 2013

A logic for normative multi-agent programs.
J. Log. Comput., 2013

Norms, organizations, and semantics.
Knowledge Eng. Review, 2013

Introducing surprising events can stimulate deep learning in a serious game.
BJET, 2013

A Versatile Agile Agent-Based Infrastructure for Hybrid Production Environments.
Proceedings of the 7th IFAC Conference on Manufacturing Modelling, Management, and Control, 2013

Embedded autonomous agents in products supporting repair and recycling.
Proceedings of the 11th International Symposium on Autonomous Decentralized Systems, 2013

Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents.
Proceedings of the 2013 Imperial College Computing Student Workshop, 2013

Monitoring Agents in Complex Products - Enhancing a Discovery Robot with an Agent for Monitoring, Maintenance and Disaster Prevention.
Proceedings of the ICAART 2013, 2013

Enhancing Products by Embedding Agents: Adding an Agent to a Robot for Monitoring, Maintenance and Disaster Prevention.
Proceedings of the Agents and Artificial Intelligence - 5th International Conference, 2013

Automatic Structured Decomposition of Manufacturing Actions in an Agent-Based Manufacturing System.
Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2013

A Multiagent-Based Agile Work Distribution System.
Proceedings of the 2013 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2013

Encapsulated Models for Reasoning and Decision Support.
Proceedings of the Informatik 2013, 2013

Automated Scenario Generation - Coupling Planning Techniques with Smart Objects.
Proceedings of the CSEDU 2013, 2013

Event-processing in autonomous robot programming.
Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Norms in Distributed Organizations.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems IX, 2013

2012
Modeling agents with a theory of mind: Theory-theory versus simulation theory.
Web Intelligence and Agent Systems, 2012

A formal model of emotion triggers: an approach for BDI agents.
Synthese, 2012

Regulating competing coalitions: a logic for socially optimal group choices.
Journal of Applied Non-Classical Logics, 2012

Programming norm change.
Journal of Applied Non-Classical Logics, 2012

Agent Programming Languages Requirements for Programming Autonomous Robots.
Proceedings of the Programming Multi-Agent Systems - 10th International Workshop, 2012

Virtual Reality Negotiation Training Increases Negotiation Knowledge and Skill.
Proceedings of the Intelligent Virtual Agents - 12th International Conference, 2012

Generating Phonemes from Written Thai using Lexical Analysis based on Regular Expressions.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

Production Scheduling in an Agile Agent-Based Production Grid.
Proceedings of the 2012 IEEE/WIC/ACM International Conferences on Intelligent Agent Technology, 2012

Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation.
Proceedings of the Computational Logic in Multi-Agent Systems, 2012

GOAL Agents Instantiate Intention Logic.
Proceedings of the Logic Programs, Norms and Action, 2012

General Directionality and the Local Behavior of Argumentation Semantics.
Proceedings of the First International Conference on Agreement Technologies, 2012

Testing the benfits of structured argumentation in multi-agent deliberation dialogues.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
Reasoning about plan revision in BDI agent programs.
Theor. Comput. Sci., 2011

Reasoning about agent deliberation.
Autonomous Agents and Multi-Agent Systems, 2011

A Theoretical Framework for Explaining Agent Behavior.
Proceedings of the SIMULTECH 2011 - Proceedings of 1st International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Noordwijkerhout, The Netherlands, 29, 2011

Validity of a Virtual Negotiation Training.
Proceedings of the Intelligent Virtual Agents - 11th International Conference, 2011

Decentralized Autonomous-Agent-Based Infrastructure for Agile Multiparallel Manufacturing.
Proceedings of the 10th International Symposium on Autonomous Decentralized Systems, 2011

A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning.
Proceedings of the IJCAI 2011, 2011

Neural-Symbolic Cognitive Agents: Architecture and Theory.
Proceedings of the 2011 Imperial College Computing Student Workshop, 2011

Explanation and Coordination in Human-Agent Teams: A Study in the BW4T Testbed.
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.
Proceedings of the Multi-Agent Systems - 9th European Workshop, 2011

Classifying the decision to perform surgery in MEN1 cancer patients using decision trees.
Proceedings of the 24th IEEE International Symposium on Computer-Based Medical Systems, 2011

Multi-criteria argument selection in persuasion dialogues.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Programming mental state abduction.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Explanation in Human-Agent Teamwork.
Proceedings of the Coordination, 2011

Multi-criteria Argument Selection in Persuasion Dialogues.
Proceedings of the Argumentation in Multi-Agent Systems - 8th International Workshop, 2011

Scenario-Based Training: Director's Cut.
Proceedings of the Artificial Intelligence in Education - 15th International Conference, 2011

2010
Explaining Simulations Through Self Explaining Agents.
J. Artificial Societies and Social Simulation, 2010

Affective negotiation support systems.
JAISE, 2010

Agents with emotions.
Int. J. Intell. Syst., 2010

Coping with shame and sense of guilt: a Dynamic Logic Account.
Autonomous Agents and Multi-Agent Systems, 2010

Affordance-Based Intention Recognition in Virtual Spatial Environments.
Proceedings of the Principles and Practice of Multi-Agent Systems, 2010

Do You Get It? User-Evaluated Explainable BDI Agents.
Proceedings of the Multiagent System Technologies, 8th German Conference, 2010

Design and Evaluation of Explainable BDI Agents.
Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010

Mental State Ascription Using Dynamic Logic.
Proceedings of the ECAI 2010, 2010

Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems.
Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

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

Emotions to control agent deliberation.
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

Arguing about Preferences and Decisions.
Proceedings of the Argumentation in Multi-Agent Systems - 7th International Workshop, 2010

A Formal Argumentation Framework for Deliberation Dialogues.
Proceedings of the Argumentation in Multi-Agent Systems - 7th International Workshop, 2010

2009
Determining the environment: a modal logic for closed interaction.
Synthese, 2009

Model checking communicative agent-based systems.
Knowl.-Based Syst., 2009

On the Semantics and Verification of Normative Multi-Agent Systems.
J. UCS, 2009

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

Goals in conflict: semantic foundations of goals in agent programming.
Autonomous Agents and Multi-Agent Systems, 2009

Toward a programming theory for rational agents.
Autonomous Agents and Multi-Agent Systems, 2009

Debugging BDI-Based Multi-Agent Programs.
Proceedings of the Programming Multi-Agent Systems - 7th International Workshop, 2009

A Methodology for Developing Self-Explaining Agents for Virtual Training.
Proceedings of the Second Multi-Agent Logics, 2009

An Update Operator for Strategic Ability.
Proceedings of the Logic, Rationality, and Interaction, Second International Workshop, 2009

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

A Methodology for Developing Self-explaining Agents for Virtual Training.
Proceedings of the Languages, 2009

BDI-Based Development of Virtual Characters with a Theory of Mind.
Proceedings of the Intelligent Virtual Agents, 9th International Conference, 2009

A Study into Preferred Explanations of Virtual Agent Behavior.
Proceedings of the Intelligent Virtual Agents, 9th International Conference, 2009

Autonomy and Coordination: Controlling External Influences on Decision Making.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Programming Normative Artifacts with Declarative Obligations and Prohibitions.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Modeling Agents with a Theory of Mind.
Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Strategic Ability Update: A Modal Logic Account.
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.
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.
Proceedings of the Progress in Artificial Intelligence, 2009

Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Normative Multi-Agent Programs and Their Logics.
Proceedings of the Normative Multi-Agent Systems, 15.03. - 20.03.2009, 2009

Model Checking Normative Agent Organisations.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009

Roles and norms for programming agent organizations.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

A methodology for developing self-explaining agents for virtual training.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

Practical Reasoning Using Values.
Proceedings of the Argumentation in Multi-Agent Systems, 6th International Workshop, 2009

2008
Agent Technology.
Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

The many faces of counts-as: A formal analysis of constitutive rules.
J. Applied Logic, 2008

Editorial.
J. Applied Logic, 2008

Orwell's Nightmare for Agents? Programming Multi-agent Organisations.
Proceedings of the Programming Multi-Agent Systems, 2008

A Verification Framework for Normative Multi-Agent Systems.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Reo Connectors as Coordination Artifacts in 2APL Systems.
Proceedings of the Intelligent Agents and Multi-Agent Systems, 2008

Normative Multi-agent Programs and Their Logics.
Proceedings of the Knowledge Representation for Agents and Multi-Agent Systems, 2008

Reasoning about Agent Deliberation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

A Logic for Closed-World Interaction.
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

A Generic Architecture for a Companion Robot.
Proceedings of the ICINCO 2008, 2008

A Cognitive Model for the Generation and Explanation of Behaviour in Virtual Training Systems.
Proceedings of the Explanation-aware Computing, 2008

Magic Agents: Using Information Relevance to Control Autonomy.
Proceedings of the ECAI 2008, 2008

A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects.
Proceedings of the ECAI 2008, 2008

Organizing Coherent Coalitions.
Proceedings of the ECAI 2008, 2008

A Deontic Logic for Socially Optimal Norms.
Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

Mental State Abduction of BDI-Based Agents.
Proceedings of the Declarative Agent Languages and Technologies VI, 2008

Strategic Agent Communication: An Argumentation-Driven Approach.
Proceedings of the Declarative Agent Languages and Technologies VI, 2008

A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects.
Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

Normative Multi-Agent Programs and Their Logics.
Proceedings of the Programming Multi-Agent Systems, 31.08. - 05.09.2008, 2008

Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms.
Proceedings of the Coordination, 2008

Achieving efficient and equitable collaboration among selfish agents using spender-signed currency.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Reasoning about agent execution strategies.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

Personality-Based Practical Reasoning.
Proceedings of the Argumentation in Multi-Agent Systems, Fifth International Workshop, 2008

2007
A verification framework for agent programming with declarative goals.
J. Applied Logic, 2007

A security framework for agent-based systems.
IJWIS, 2007

A New Quantitative Trust Model for Negotiating Agents using Argumentation.
IJCSA, 2007

Ontology negotiation: goals, requirements and implementation.
IJAOSE, 2007

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

Our Quest for the Holy Grail of Agent Verification.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

Model Checking Communicative Agent-Based Systems.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2007

A New Quantitative Trust Model for Negotiating Agents.
Proceedings of the First International Conference on Research Challenges in Information Science, 2007

A Practical Agent Programming Language.
Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions.
Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Goal Selection Strategies for Rational Agents.
Proceedings of the Languages, 2007

Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach.
Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

Towards Programming Multimodal Dialogues.
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.
Proceedings of the Normative Multi-agent Systems, 18.03. - 23.03.2007, 2007

Towards a Delegation Framework for Aerial Robotic Mission Scenarios.
Proceedings of the Cooperative Information Agents XI, 11th International Workshop, 2007

A Dynamic Coordination Mechanism Using Adjustable Autonomy.
Proceedings of the Coordination, 2007

Achieving cooperation among selfish agents in the air traffic management domain using signed money.
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.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

A grounded specification language for agent programs.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Practical extensions in agent programming languages.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Designing protocols for agent institutions.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Rational Agents That Blush.
Proceedings of the Affective Computing and Intelligent Interaction, 2007

A Logic of Emotions for Intelligent Agents.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

A Logic of Agent Programs.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Semantics of plan revision in intelligent agents.
Theor. Comput. Sci., 2006

Dynamic Logic for Plan Revision in Agent Programming.
J. Log. Comput., 2006

Classificatory Aspects of Counts-as: An Analysis in Modal Logic.
J. Log. Comput., 2006

Reasoning about emotional agents.
Int. J. Intell. Syst., 2006

Agent Logics as Program Logics: Grounding KARO.
Proceedings of the KI 2006: Advances in Artificial Intelligence, 2006

Going beyond BDI: Programming 'BDI+' Agents.
Proceedings of the 4th European Workshop on Multi-Agent Systems EUMAS'06, 2006

Goal Types in Agent Programming.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Programming Agents with Emotions.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

Counts-as: Classification or Constitution? An Answer Using Modal Logic.
Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems.
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.
Proceedings of the Foundations and Practice of Programming Multi-Agent Systems, 25.06., 2006

Prototyping 3APL in the Maude Term Rewriting Language.
Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

A New Logical Semantics for Agent Communication.
Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

A New Model Checking Approach for Verifying Agent Communication Protocols.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Influence-Based Autonomy Levels in Agent Decision-Making.
Proceedings of the Coordination, Organizations, Institutions, and Norms in Agent Systems II, 2006

Goal-oriented modularity in agent programming.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Prototyping 3APL in the Maude term rewriting language.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

ANEMONE: an effective minimal ontology negotiation environment.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

Goal types in agent programming.
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.
Proceedings of the Algebraic Methodology and Software Technology, 2006

Can I Please Drop It? Dialogues About Belief Contraction.
Proceedings of the Agent Communication II, International Workshops on Agent Communication, 2006

Combining Normal Communication with Ontology Alignment.
Proceedings of the Agent Communication II, International Workshops on Agent Communication, 2006

2005
Toward Reasoning about Security Protocols: A Semantic Approach.
Electr. Notes Theor. Comput. Sci., 2005

Process algebra and constraint programming for modeling interactions in MAS.
Appl. Algebra Eng. Commun. Comput., 2005

Programming Deliberative Agents for Mobile Services: The 3APL-M Platform.
Proceedings of the Programming Multi-Agent Systems, 2005

Programming Cognitive Agents.
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.
Proceedings of the Tenth International Conference on Artificial Intelligence and Law, 2005

Subgoal Semantics in Agent Programming.
Proceedings of the Progress in Artificial Intelligence, 2005

Towards a Market Mechanism for Airport Traffic Control.
Proceedings of the Progress in Artificial Intelligence, 2005

A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication.
Proceedings of the Declarative Agent Languages and Technologies III, 2005

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

Efficiency and Fairness in Air Traffic Control.
Proceedings of the BNAIC 2005, 2005

Semantics of declarative goals in agent programming.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Verifying Norm Compliancy of Protocols.
Proceedings of the Coordination, 2005

Norm compliance of protocols in electronic institutions.
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005

Programming Multi-Agent Systems in 3APL.
Proceedings of the Multi-Agent Programming: Languages, Platforms and Applications, 2005

2004
Update Semantics of Security Protocols.
Synthese, 2004

An agent-mediated approach to the support of knowledge sharing in organizations.
Knowledge Eng. Review, 2004

Rational Teams: Logical Aspects of Multi-Agent Systems.
Fundam. Inform., 2004

Dialogue Games for Inconsistent and Biased Information.
Electr. Notes Theor. Comput. Sci., 2004

A Dialogue Game to Offer an Agreement to Disagree.
Proceedings of the Programming Multi-Agent Systems, 2004

Meeting the Deadline: Why, When and How.
Proceedings of the Formal Approaches to Agent-Based Systems, Third InternationalWorkshop, 2004

Reasoning about Emotional Agents.
Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

Collective Obligations and Agents: Who Gets the Blame?
Proceedings of the Deontic Logic in Computer Science, 2004

Designing a Deontic Logic of Deadlines.
Proceedings of the Deontic Logic in Computer Science, 2004

Dynamics of Declarative Goals in Agent Programming.
Proceedings of the Declarative Agent Languages and Technologies II, 2004

Dynamic Logic for Plan Revision in Intelligent Agents.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

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

A Computational Model for Conversation Policies for Agent Communication.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

A Dialogue Game to Offer an Agreement to Disagree.
Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

Issues in Multiagent System Development.
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.
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.
Proceedings of the Argumentation in Multi-Agent Systems, First International Workshop, 2004

Enacting and Deacting Roles in Agent Programming.
Proceedings of the Agent-Oriented Software Engineering V, 5th International Workshop, 2004

Semantics of Plan Revision in Intelligent Agents.
Proceedings of the Algebraic Methodology and Software Technology, 2004

Agent-Oriented Programming: Where Do We Stand?.
Proceedings of the Algebraic Methodology and Software Technology, 2004

Optimal Communication Vocabularies and Heterogeneous Ontologies.
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.
Theor. Comput. Sci., 2003

Formal semantics of meta-level architectures: Temporal epistemic reflection.
Int. J. Intell. Syst., 2003

Iterated Belief Change in Multi-Agent Systems.
Logic Journal of the IGPL, 2003

A Modal Characterization of Nash Equilibrium.
Fundam. Inform., 2003

A Verification Framework for Agent Communication.
Autonomous Agents and Multi-Agent Systems, 2003

A Programming Language for Cognitive Agents Goal Directed 3APL.
Proceedings of the Programming Multi-Agent Systems, First International Workshop, 2003

Objects, Agents, and Features: An Introduction.
Proceedings of the Objects, 2003

Intelligent Agents: Issues and Logics.
Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

Coordinating Agents in OO.
Proceedings of the Objects, 2003

Agent programming in dribble: from beliefs to goals using plans.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

Process Algebra for Agent Communication: A General Semantic Approach.
Proceedings of the Communication in Multiagent Systems, 2003

Autonomy and Agent Deliberation.
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.
Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems, 2003

2002
Agent Programming with Declarative Goals
CoRR, 2002

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

The mutual exclusion problem in reasoning about action and change.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

Agent Programming in Dribble: From Beliefs to Goals with Plans.
Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

Tools and Education towards Formal Methods Practice.
Proceedings of the Formal Approaches to Agent-Based Systems, Second International Workshop, 2002

Formal Specification of Interaction in Agent Societies.
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.
Proceedings of the Engineering Societies in the Agents World III, 2002

On Modal Logic Interpretations of Games.
Proceedings of the 15th Eureopean Conference on Artificial Intelligence, 2002

Iterated belief change in multi-agent systems.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

Towards an organizational model for agent societies using contracts.
Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems, 2002

2001
Regular database update logics.
Theor. Comput. Sci., 2001

Modal Logic with Bounded Quantification over Worlds.
J. Log. Comput., 2001

On dynamically generated ontology translators in agent communication.
Int. J. Intell. Syst., 2001

On Programming KARO Agents.
Logic Journal of the IGPL, 2001

A Fixed-point Characterization of a Deontic Logic of Regular Action.
Fundam. Inform., 2001

Reasoning about agents in the KARO framework.
Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

A Truly Concurrent Model for Interacting Agents.
Proceedings of the Intelligent Agents: Specification, 2001

A Programming Language for Coordinating Group Actions.
Proceedings of the From Theory to Practice in Multi-Agent Systems, 2001

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

2000
On Agents That Have the Ability to Choose.
Studia Logica, 2000

A Modal Logic for Network Topologies.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 2000

Verification within the KARO Agent Theory.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

A Programming Logic for Part of the Agent Language 3APL.
Proceedings of the Formal Approaches to Agent-Based Systems, First International Workshop, 2000

Failure Semantics for the Exchange of Information in Multi-Agent Systems.
Proceedings of the CONCUR 2000, 2000

A Semantics for Persistency in Propositional Dynamic Logic.
Proceedings of the Computational Logic, 2000

Agent Programming with Declarative Goals.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Generalised Object-Oriented Concepts for Inter-agent Communication.
Proceedings of the Intelligent Agents VII. Agent Theories Architectures and Languages, 2000

Semantics of Communicating Agents Based on Deduction and Abduction.
Proceedings of the Issues in Agent Communication, 2000

Operational Semantics for Agent Communication Languages.
Proceedings of the Issues in Agent Communication, 2000

1999
A Logical Approach to the Dynamics of Commitments.
Artif. Intell., 1999

Agent Programming in 3APL.
Autonomous Agents and Multi-Agent Systems, 1999

Keynote Address: Formal and Informal Aspects of Intelligent Agent-based Systems.
Proceedings of the Information System Concepts: An Integrated Discipline Emerging, 1999

Failure Semantics for the Exchange of Information in Multi-agent Systems.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Open Multi-agent Systems: Agent Communication and Integration.
Proceedings of the Intelligent Agents VI, 1999

1998
Temporalizing Epistemic Default Logic.
Journal of Logic, Language and Information, 1998

Informational independence: Models and normal forms.
Int. J. Intell. Syst., 1998

Formalising Abilities and Opportunities of Agents.
Fundam. Inform., 1998

Translations of Vocabularies in Systems of Communicating Agents.
Electr. Notes Theor. Comput. Sci., 1998

Information-Passing and Belief Revision in Multi-Agent Systems.
Proceedings of the Third International Conference on Multiagent Systems, 1998

Systems of Communicating Agents.
ECAI, 1998

The Role of Deontic Logic in the Specification of Information Systems.
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.
Proceedings of the Advanced Topics in Artificial Intelligence, 1998

Agent Languages and Their Relationship to Other Programming Paradigms.
Proceedings of the Intelligent Agents V, 1998

Control Structures of Rule-Based Agent Languages.
Proceedings of the Intelligent Agents V, 1998

Information-Passing and Belief Revision in Multi-Agent Systems.
Proceedings of the Intelligent Agents V, 1998

Constructing Translations Between Individual Vocabularies in Multi-Agent Systems.
Proceedings of the Artificial Intelligence: Methodology, 1998

1997
Seeing Is Believing.
Journal of Logic, Language and Information, 1997

The Dynamics of Default Reasoning.
Data Knowl. Eng., 1997

Formal Models of Agents: An Introduction.
Proceedings of the Formal Models of Agents, 1997

Preferential Action Semantics (Preliminary Report).
Proceedings of the Formal Models of Agents, 1997

Formal Semantics for an Abstract Agent Programming Language.
Proceedings of the Intelligent Agents IV, 1997

1996
Free Choice and Contextually Permitted Actions.
Studia Logica, 1996

A Modal Contrastive Logic: The Logic of 'but'.
Ann. Math. Artif. Intell., 1996

An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints.
Artif. Intell. Law, 1996

Possible World Semantics for Analogous Reasoning.
Proceedings of the Practical Reasoning, 1996

A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation.
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.
J. Log. Comput., 1995

A Default Logic Based on Epistemic States.
Fundam. Inform., 1995

Actions That Make You Change Your Mind (Extended Abstract).
Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

The Dynamics of Default Reasoning (Extended Abstract).
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1995

Formalising Motivational Attitudes of Agents.
Proceedings of the Intelligent Agents II, 1995

Seeing is Believing.
Proceedings of the Topics in Artificial Intelligence, 1995

1994
An Epistemic Proof System for Parallel Processes.
Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, 1994

Formal Semantics of Temporal Epistemic Reflection.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

A Logic of Capabilities.
Proceedings of the Logical Foundations of Computer Science, Third International Symposium, 1994

Communicating Rational Agents.
Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II.
Proceedings of the Advances in Intelligent Computing, 1994

Tests as Epistemic Updates.
ECAI, 1994

1993
Actors, Actions, and Initiative in Normative System Specification.
Ann. Math. Artif. Intell., 1993

Counterfactual Reasoning by (means of) Defaults.
Ann. Math. Artif. Intell., 1993

A Default Logic Based on Epistemic States.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning and Uncertainty, 1993

1992
Making Some Issues of Implicit Knowledge Explicit.
Int. J. Found. Comput. Sci., 1992

Towards an Epistemic Approach to Reasoning about Concurrent Programs.
Proceedings of the Sematics: Foundations and Applications, 1992

Graded Modalities in Epistemic Logic.
Proceedings of the Logical Foundations of Computer Science, 1992

Dynamic Database Logic: the First-order Case.
Proceedings of the Modelling Database Dynamics, 1992

1991
The Inheritance of Dynamic and Deontic Integrity Constraints.
Ann. Math. Artif. Intell., 1991

Actor-Oriented System Specification with Dynamic Logic.
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.
Proceedings of the MFDBS 91, 1991

Discussion Issues for a Working Group on Update Semantics of Logic Databases.
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.
Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, 1991

1990
Hiding in Stream Semantics of Uniform Concurrency.
Acta Inf., 1990

Non-Monotonic Reasoning by Monotonic Means.
Proceedings of the Logics in AI, European Workshop, 1990

1989
Specifying Dynamic and Deontic Integrity Constraints.
Data Knowl. Eng., 1989

Step Semantics for "True" Concurrency with Recursion.
Distributed Computing, 1989

A Specification Language for Static, Dynamic and Deontic Integrity Constraints.
Proceedings of the MFDBS 89, 1989

Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract).
Proceedings of the Mathematical Foundations of Computer Science 1989, 1989

1988
Applications of Compactness in the Smyth Powerdomain of Streams.
Theor. Comput. Sci., 1988

A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic.
Notre Dame Journal of Formal Logic, 1988

Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency.
J. Comput. Syst. Sci., 1988

Metric Semantics for Concurrency.
BIT, 1988

1987
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency.
Theor. Comput. Sci., 1987

Process modalities obtained as fixed points (part 2).
Bulletin of the EATCS, 1987

Process modalities obtained as fixed points (Part one).
Bulletin of the EATCS, 1987

Order and Metric in the Stream Semantics of Elemental Concurrency.
Acta Inf., 1987

Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract).
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.
Theor. Comput. Sci., 1986

Contrasting Themes in the Semantics of Imperative Concurrency.
Proceedings of the Current Trends in Concurrency, Overviews and Tutorials, 1986

1985
Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency
Proceedings of the 17th Annual ACM Symposium on Theory of Computing, 1985

Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency.
Proceedings of the Automata, 1985

1984
On Infinite Computations in Denotational Semantics.
Theor. Comput. Sci., 1984

Linear Time and Branching Time Semantics for Recursion with Merge.
Theor. Comput. Sci., 1984

On Specifying Sets of Integers.
Elektronische Informationsverarbeitung und Kybernetik, 1984

1983
On Infinite Computations in Denotational Semantics.
Theor. Comput. Sci., 1983

Linear Time and Branching Time Semantics for Recursion with Merge.
Proceedings of the Automata, 1983

1982
On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic.
Theor. Comput. Sci., 1982

A Simple Transfer Lemma for Algebraic Specifications.
Inf. Process. Lett., 1982

1981
On the quantifier-free fragment of 'Logic of effective definitions'.
Fundam. Inform., 1981

Correctness of Programs with Function Procedures.
Proceedings of the Logics of Programs, Workshop, Yorktown Heights, New York, May 1981, 1981


  Loading...