| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer |
GOAL Agents Instantiate Intention Logic.  |
Logic Programs, Norms and Action  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer |
Reasoning about plan revision in BDI agent programs.  |
Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer |
Reasoning about agent deliberation.  |
Autonomous Agents and Multi-Agent Systems  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer |
A Neural-Symbolic Cognitive Agent for Online Learning and Reasoning.  |
IJCAI  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Maaike Harbers, Jeffrey M. Bradshaw, Matthew Johnson, Paul J. Feltovich, Karel van den Bosch, John-Jules Ch. Meyer |
Explanation and Coordination in Human-Agent Teams: A Study in the BW4T Testbed.  |
Web Intelligence/IAT Workshops  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer |
A Theoretical Framework for Explaining Agent Behavior.  |
SIMULTECH  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx |
Scenario-Based Training: Director's Cut.  |
AIED  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer |
Programming mental state abduction.  |
AAMAS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk |
Multi-criteria argument selection in persuasion dialogues.  |
AAMAS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Joost Broekens, Maaike Harbers, Willem-Paul Brinkman, Catholijn M. Jonker, Karel van den Bosch, John-Jules Ch. Meyer |
Validity of a Virtual Negotiation Training.  |
IVA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Dastani, John-Jules Ch. Meyer |
Agents with emotions.  |
Int. J. Intell. Syst.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maaike Harbers, John-Jules Ch. Meyer, Karel van den Bosch |
Explaining Simulations Through Self Explaining Agents.  |
J. Artificial Societies and Social Simulation  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Joost Broekens, Catholijn M. Jonker, John-Jules Ch. Meyer |
Affective negotiation support systems.  |
JAISE  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi |
Coping with shame and sense of guilt: a Dynamic Logic Account.  |
Autonomous Agents and Multi-Agent Systems  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Paolo Turrini, Davide Grossi, Jan Broersen, John-Jules Ch. Meyer |
Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems.  |
DEON  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer |
Mental State Ascription Using Dynamic Logic.  |
ECAI  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer |
Design and Evaluation of Explainable BDI Agents.  |
IAT  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost Broekens, Maaike Harbers, Koen V. Hindriks, Karel van den Bosch, Catholijn M. Jonker, John-Jules Ch. Meyer |
Do You Get It? User-Evaluated Explainable BDI Agents.  |
MATES  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk |
Arguing about Preferences and Decisions.  |
ArgMAS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk |
A Formal Argumentation Framework for Deliberation Dialogues.  |
ArgMAS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer |
Emotions to control agent deliberation.  |
AAMAS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer |
Programming norm change.  |
AAMAS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal P. Sindlar, John-Jules Ch. Meyer |
Affordance-Based Intention Recognition in Virtual Spatial Environments.  |
PRIMA  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer |
On the Semantics and Verification of Normative Multi-Agent Systems.  |
J. UCS  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Jamal Bentahar, John-Jules Ch. Meyer, Wei Wan |
Model checking communicative agent-based systems.  |
Knowl.-Based Syst.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini |
Determining the environment: a modal logic for closed interaction.  |
Synthese  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer |
Goals in conflict: semantic foundations of goals in agent programming.  |
Autonomous Agents and Multi-Agent Systems  |
2009 |
DBLP DOI BibTeX RDF |
Logic, Goals, Agent programming languages |
| 1 | Koen V. Hindriks, John-Jules Ch. Meyer |
Toward a programming theory for rational agents.  |
Autonomous Agents and Multi-Agent Systems  |
2009 |
DBLP DOI BibTeX RDF |
Verification logic, State-based semantics, Programming theory, Denotational semantics, Rational agents |
| 1 | Paolo Turrini, Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer |
An Update Operator for Strategic Ability.  |
LORI  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Emiliano Lorini, Mehdi Dastani, Hans P. van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer |
Intentions and Assignments.  |
LORI  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer |
Model Checking Normative Agent Organisations.  |
CLIMA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer |
A Formal Model of Emotion-Based Action Tendency for Intelligent Agents.  |
EPIA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | John-Jules Ch. Meyer, Jan Broersen (eds.) |
Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers  |
KRAMAS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer |
Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games.  |
DALT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre |
Programming Normative Artifacts with Declarative Obligations and Prohibitions.  |
IAT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer |
Autonomy and Coordination: Controlling External Influences on Decision Making.  |
IAT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem-Paul Brinkman, Joost Broekens, Catholijn M. Jonker, John-Jules Ch. Meyer |
Getting a Grip on Emotions in Negotiations: The Possibilities of ICT.  |
Web Intelligence/IAT Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer |
Modeling Agents with a Theory of Mind.  |
IAT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini |
Strategic Ability Update: A Modal Logic Account.  |
Web Intelligence/IAT Workshops  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Dastani, Jaap Brandsema, Amco Dubel, John-Jules Ch. Meyer |
Debugging BDI-Based Multi-Agent Programs.  |
PROMAS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk |
Practical Reasoning Using Values.  |
ArgMAS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer |
A Methodology for Developing Self-explaining Agents for Virtual Training.  |
LADS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer |
Roles and norms for programming agent organizations.  |
AAMAS  |
2009 |
DBLP DOI BibTeX RDF |
organizations, operational semantics, roles, norms |
| 1 | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer |
A methodology for developing self-explaining agents for virtual training.  |
AAMAS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer |
A Methodology for Developing Self-Explaining Agents for Virtual Training.  |
MALLOW  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer |
A Study into Preferred Explanations of Virtual Agent Behavior.  |
IVA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer |
BDI-Based Development of Virtual Characters with a Theory of Mind.  |
IVA  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Lou Goble, John-Jules Ch. Meyer |
Editorial.  |
J. Applied Logic  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Grossi, John-Jules Ch. Meyer, Frank Dignum |
The many faces of counts-as: A formal analysis of constitutive rules.  |
J. Applied Logic  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | John-Jules Ch. Meyer |
Agent Technology.  |
Wiley Encyclopedia of Computer Science and Engineering  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini |
A Deontic Logic for Socially Optimal Norms.  |
DEON  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer |
Magic Agents: Using Information Relevance to Control Autonomy.  |
ECAI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer |
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects.  |
ECAI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini |
Organizing Coherent Coalitions.  |
ECAI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier |
Normative Multi-agent Programs and Their Logics.  |
KRAMAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer |
Mental State Abduction of BDI-Based Agents.  |
DALT  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin |
Strategic Agent Communication: An Argumentation-Driven Approach.  |
DALT  |
2008 |
DBLP DOI BibTeX RDF |
Complexity, Argumentation, Agent Communication, Strategic Reasoning, Social Commitments |
| 1 | Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini |
A Logic for Closed-World Interaction.  |
JELIA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer |
Orwell's Nightmare for Agents? Programming Multi-agent Organisations.  |
ProMAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk |
Personality-Based Practical Reasoning.  |
ArgMAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer |
Reasoning about Agent Deliberation.  |
KR  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Geert Jonker, Frank Dignum, John-Jules Ch. Meyer |
Achieving efficient and equitable collaboration among selfish agents using spender-signed currency.  |
AAMAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer, Virginia Dignum |
Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms.  |
COIN@AAMAS&AAAI  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Natasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer |
Reasoning about agent execution strategies.  |
AAMAS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Farhad Arbab, Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier |
Reo Connectors as Coordination Artifacts in 2APL Systems.  |
PRIMA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer |
A Verification Framework for Normative Multi-Agent Systems.  |
PRIMA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Maaike Harbers, Karel van den Bosch, Frank Dignum, John-Jules Ch. Meyer |
A Cognitive Model for the Generation and Explanation of Behaviour in Virtual Training Systems.  |
ExaCt  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Bas R. Steunebrink, Nieske L. Vergunst, Christian P. Mol, Frank Dignum, Mehdi Dastani, John-Jules Ch. Meyer |
A Generic Architecture for a Companion Robot.  |
ICINCO-RA  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban |
A security framework for agent-based systems.  |
IJWIS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer |
A verification framework for agent programming with declarative goals.  |
J. Applied Logic  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer |
Ontology negotiation in heterogeneous multi-agent systems: The ANEMONE system.  |
Applied Ontology  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jamal Bentahar, John-Jules Ch. Meyer |
A New Quantitative Trust Model for Negotiating Agents using Argumentation.  |
IJCSA  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jurriaan van Diggelen, Robbert-Jan Beun, Frank Dignum, Rogier M. van Eijk, John-Jules Ch. Meyer |
Ontology negotiation: goals, requirements and implementation.  |
IJAOSE  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamal Bentahar, John-Jules Ch. Meyer, Bernard Moulin |
Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach.  |
ITNG  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Rafael H. Bordini, Mehdi Dastani, John-Jules Ch. Meyer (eds.) |
Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006  |
Foundations and Practice of Programming Multi-Agent Systems  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Davide Grossi, John-Jules Ch. Meyer, Frank Dignum |
On the Logic of Constitutive Rules.  |
Normative Multi-agent Systems  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Jamal Bentahar, John-Jules Ch. Meyer |
Model Checking Communicative Agent-Based Systems.  |
SoMeT  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Nieske L. Vergunst, Bas R. Steunebrink, Mehdi Dastani, F. P. M. Dignum, John-Jules Ch. Meyer |
Towards Programming Multimodal Dialogues.  |
Web Intelligence/IAT Workshops  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Dastani, John-Jules Ch. Meyer |
A Practical Agent Programming Language.  |
PROMAS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer |
From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions.  |
PROMAS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John-Jules Ch. Meyer |
Our Quest for the Holy Grail of Agent Verification.  |
TABLEAUX  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jamal Bentahar, John-Jules Ch. Meyer |
A New Quantitative Trust Model for Negotiating Agents.  |
RCIS  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer |
Goal Selection Strategies for Rational Agents.  |
LADS  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Grossi, Frank Dignum, John-Jules Ch. Meyer |
A formal road from institutional norms to organizational structures.  |
AAMAS  |
2007 |
DBLP DOI BibTeX RDF |
logic, norms, institutions, organizational structures |
| 1 | Geert Jonker, Frank Dignum, John-Jules Ch. Meyer |
Achieving cooperation among selfish agents in the air traffic management domain using signed money.  |
AAMAS  |
2007 |
DBLP DOI BibTeX RDF |
signed money, fairness, efficiency, cooperation, exploitation |
| 1 | Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer |
Practical extensions in agent programming languages.  |
AAMAS  |
2007 |
DBLP DOI BibTeX RDF |
agent programming language, cognitive agents |
| 1 | Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer, Martijn Neef |
A Dynamic Coordination Mechanism Using Adjustable Autonomy.  |
COIN  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer |
A grounded specification language for agent programs.  |
AAMAS  |
2007 |
DBLP DOI BibTeX RDF |
agent specification language, agent programming language |
| 1 | Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer |
Designing protocols for agent institutions.  |
AAMAS  |
2007 |
DBLP DOI BibTeX RDF |
norms, electronic institutions, normative systems |
| 1 | Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer |
A Logic of Emotions for Intelligent Agents.  |
AAAI  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer |
A Logic of Agent Programs.  |
AAAI  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Paolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi |
Rational Agents That Blush.  |
ACII  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Doherty, John-Jules Ch. Meyer |
Towards a Delegation Framework for Aerial Robotic Mission Scenarios.  |
CIA  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | John-Jules Ch. Meyer |
Reasoning about emotional agents.  |
Int. J. Intell. Syst.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer |
Semantics of plan revision in intelligent agents.  |
Theor. Comput. Sci.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer |
Dynamic Logic for Plan Revision in Agent Programming.  |
J. Log. Comput.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Grossi, John-Jules Ch. Meyer, Frank Dignum |
Classificatory Aspects of Counts-as: An Analysis in Modal Logic.  |
J. Log. Comput.  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Davide Grossi, John-Jules Ch. Meyer, Frank Dignum |
Counts-as: Classification or Constitution? An Answer Using Modal Logic.  |
DEON  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lou Goble, John-Jules Ch. Meyer (eds.) |
Deontic Logic and Artificial Normative Systems, 8th International Workshop on Deontic Logic in Computer Science, DEON 2006, Utrecht, The Netherlands, July 12-14, 2006, Proceedings  |
DEON  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance |
A New Logical Semantics for Agent Communication.  |
CLIMA  |
2006 |
DBLP DOI BibTeX RDF |
|