 | 2009 |
|---|
| 242 |       | John-Jules Ch. Meyer,
Jan Broersen:
Knowledge Representation for Agents and Multi-Agent Systems, First International Workshop, KRAMAS 2008, Sydney, Australia, September 17, 2008, Revised Selected Papers
Springer 2009 |
| 241 | | Nick A. M. Tinnemeier,
Mehdi Dastani,
John-Jules Ch. Meyer:
Roles and norms for programming agent organizations.
AAMAS (1) 2009: 121-128 |
| 240 | | Maaike Harbers,
Karel van den Bosch,
John-Jules Ch. Meyer:
A methodology for developing self-explaining agents for virtual training.
AAMAS (2) 2009: 1129-1130 |
| 239 | | 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: 174-191 |
| 238 | | Bas R. Steunebrink,
Mehdi Dastani,
John-Jules Ch. Meyer:
A Formal Model of Emotion-Based Action Tendency for Intelligent Agents.
EPIA 2009: 174-186 |
| 237 | | 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: 145-152 |
| 236 | | Maaike Harbers,
Karel van den Bosch,
John-Jules Ch. Meyer:
Modeling Agents with a Theory of Mind.
IAT 2009: 217-224 |
| 235 | | Bob van der Vecht,
Frank Dignum,
John-Jules Ch. Meyer:
Autonomy and Coordination: Controlling External Influences on Decision Making.
IAT 2009: 92-95 |
| 234 | | Maaike Harbers,
Karel van den Bosch,
John-Jules Ch. Meyer:
A Study into Preferred Explanations of Virtual Agent Behavior.
IVA 2009: 132-145 |
| 233 | | Michal P. Sindlar,
Mehdi Dastani,
John-Jules Ch. Meyer:
BDI-Based Development of Virtual Characters with a Theory of Mind.
IVA 2009: 34-41 |
| 232 | | Emiliano Lorini,
Mehdi Dastani,
Hans P. van Ditmarsch,
Andreas Herzig,
John-Jules Ch. Meyer:
Intentions and Assignments.
LORI 2009: 198-211 |
| 231 | | Paolo Turrini,
Jan Broersen,
Rosja Mastop,
John-Jules Ch. Meyer:
An Update Operator for Strategic Ability.
LORI 2009: 292-301 |
| 230 | | Maaike Harbers,
Karel van den Bosch,
John-Jules Ch. Meyer:
A Methodology for Developing Self-Explaining Agents for Virtual Training.
MALLOW 2009 |
| 229 | | 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: 345-348 |
| 228 | | Jan Broersen,
Rosja Mastop,
John-Jules Ch. Meyer,
Paolo Turrini:
Strategic Ability Update: A Modal Logic Account.
Web Intelligence/IAT Workshops 2009: 470-473 |
| 227 | | 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 18(3): 471-500 (2009) |
| 226 | | Koen V. Hindriks,
John-Jules Ch. Meyer:
Toward a programming theory for rational agents.
Autonomous Agents and Multi-Agent Systems 19(1): 4-29 (2009) |
| 225 | | Lacramioara Astefanoaei,
Mehdi Dastani,
John-Jules Ch. Meyer,
Frank S. de Boer:
On the Semantics and Verification of Normative Multi-Agent Systems.
J. UCS 15(13): 2629-2652 (2009) |
| 224 | | Jamal Bentahar,
John-Jules Ch. Meyer,
Wei Wan:
Model checking communicative agent-based systems.
Knowl.-Based Syst. 22(3): 142-159 (2009) |
| 2008 |
|---|
| 223 | | Natasha Alechina,
Brian Logan,
Mehdi Dastani,
John-Jules Ch. Meyer:
Reasoning about agent execution strategies.
AAMAS (3) 2008: 1455-1458 |
| 222 | | Geert Jonker,
Frank Dignum,
John-Jules Ch. Meyer:
Achieving efficient and equitable collaboration among selfish agents using spender-signed currency.
AAMAS (3) 2008: 1581-1584 |
| 221 | | Thomas L. van der Weide,
Frank Dignum,
John-Jules Ch. Meyer,
Henry Prakken,
Gerard Vreeswijk:
Personality-Based Practical Reasoning.
ArgMAS 2008: 3-18 |
| 220 | | 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: 17-32 |
| 219 | | Michal P. Sindlar,
Mehdi Dastani,
Frank Dignum,
John-Jules Ch. Meyer:
Mental State Abduction of BDI-Based Agents.
DALT 2008: 161-178 |
| 218 | | Jamal Bentahar,
Mohamed Mbarki,
John-Jules Ch. Meyer,
Bernard Moulin:
Strategic Agent Communication: An Argumentation-Driven Approach.
DALT 2008: 233-250 |
| 217 | | Jan Broersen,
Rosja Mastop,
John-Jules Ch. Meyer,
Paolo Turrini:
A Deontic Logic for Socially Optimal Norms.
DEON 2008: 218-232 |
| 216 | | Bas R. Steunebrink,
Mehdi Dastani,
John-Jules Ch. Meyer:
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects.
ECAI 2008: 256-260 |
| 215 | | Jan Broersen,
Rosja Mastop,
John-Jules Ch. Meyer,
Paolo Turrini:
Organizing Coherent Coalitions.
ECAI 2008: 879-880 |
| 214 | | Bob van der Vecht,
Frank Dignum,
John-Jules Ch. Meyer:
Magic Agents: Using Information Relevance to Control Autonomy.
ECAI 2008: 889-890 |
| 213 |  | 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: 96-107 |
| 212 | | 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 (2) 2008: 315-321 |
| 211 | | Jan Broersen,
Rosja Mastop,
John-Jules Ch. Meyer,
Paolo Turrini:
A Logic for Closed-World Interaction.
JELIA 2008: 89-99 |
| 210 | | Natasha Alechina,
Mehdi Dastani,
Brian Logan,
John-Jules Ch. Meyer:
Reasoning about Agent Deliberation.
KR 2008: 16-26 |
| 209 | | Mehdi Dastani,
Davide Grossi,
John-Jules Ch. Meyer,
Nick A. M. Tinnemeier:
Normative Multi-agent Programs and Their Logics.
KRAMAS 2008: 16-31 |
| 208 | | 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: 42-53 |
| 207 | | Lacramioara Astefanoaei,
Mehdi Dastani,
John-Jules Ch. Meyer,
Frank S. de Boer:
A Verification Framework for Normative Multi-Agent Systems.
PRIMA 2008: 54-65 |
| 206 | | Nick A. M. Tinnemeier,
Mehdi Dastani,
John-Jules Ch. Meyer:
Orwell's Nightmare for Agents? Programming Multi-agent Organisations.
ProMAS 2008: 56-71 |
| 205 | | John-Jules Ch. Meyer:
Agent Technology.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 204 | | Lou Goble,
John-Jules Ch. Meyer:
Editorial.
J. Applied Logic 6(2): 133-134 (2008) |
| 203 | | Davide Grossi,
John-Jules Ch. Meyer,
Frank Dignum:
The many faces of counts-as: A formal analysis of constitutive rules.
J. Applied Logic 6(2): 192-217 (2008) |
| 2007 |
|---|
| 202 | | Rafael H. Bordini,
Mehdi Dastani,
John-Jules Ch. Meyer:
Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
| 201 | | Bas R. Steunebrink,
Mehdi Dastani,
John-Jules Ch. Meyer:
A Logic of Emotions for Intelligent Agents.
AAAI 2007: 142-147 |
| 200 | | Natasha Alechina,
Mehdi Dastani,
Brian Logan,
John-Jules Ch. Meyer:
A Logic of Agent Programs.
AAAI 2007: 795-800 |
| 199 | | Mehdi Dastani,
Dirk Hobo,
John-Jules Ch. Meyer:
Practical extensions in agent programming languages.
AAMAS 2007: 138 |
| 198 | | Mehdi Dastani,
M. Birna van Riemsdijk,
John-Jules Ch. Meyer:
A grounded specification language for agent programs.
AAMAS 2007: 147 |
| 197 | | Geert Jonker,
Frank Dignum,
John-Jules Ch. Meyer:
Achieving cooperation among selfish agents in the air traffic management domain using signed money.
AAMAS 2007: 213 |
| 196 | | Huib Aldewereld,
Frank Dignum,
John-Jules Ch. Meyer:
Designing protocols for agent institutions.
AAMAS 2007: 31 |
| 195 | | Davide Grossi,
Frank Dignum,
John-Jules Ch. Meyer:
A formal road from institutional norms to organizational structures.
AAMAS 2007: 89 |
| 194 | | Paolo Turrini,
John-Jules Ch. Meyer,
Cristiano Castelfranchi:
Rational Agents That Blush.
ACII 2007: 314-325 |
| 193 | | Patrick Doherty,
John-Jules Ch. Meyer:
Towards a Delegation Framework for Aerial Robotic Mission Scenarios.
CIA 2007: 5-26 |
| 192 | | Bob van der Vecht,
Frank Dignum,
John-Jules Ch. Meyer,
Martijn Neef:
A Dynamic Coordination Mechanism Using Adjustable Autonomy.
COIN 2007: 83-96 |
| 191 | | Jamal Bentahar,
John-Jules Ch. Meyer,
Bernard Moulin:
Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach.
ITNG 2007: 507-515 |
| 190 | | Nick A. M. Tinnemeier,
Mehdi Dastani,
John-Jules Ch. Meyer:
Goal Selection Strategies for Rational Agents.
LADS 2007: 54-70 |
| 189 | | Davide Grossi,
John-Jules Ch. Meyer,
Frank Dignum:
On the Logic of Constitutive Rules.
Normative Multi-agent Systems 2007 |
| 188 | | Mehdi Dastani,
John-Jules Ch. Meyer:
A Practical Agent Programming Language.
PROMAS 2007: 107-123 |
| 187 | | Huib Aldewereld,
Frank Dignum,
John-Jules Ch. Meyer:
From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions.
PROMAS 2007: 57-72 |
| 186 | | Jamal Bentahar,
John-Jules Ch. Meyer:
A New Quantitative Trust Model for Negotiating Agents.
RCIS 2007: 39-50 |
| 185 | | Jamal Bentahar,
John-Jules Ch. Meyer:
Model Checking Communicative Agent-Based Systems.
SoMeT 2007: 239-265 |
| 184 | | John-Jules Ch. Meyer:
Our Quest for the Holy Grail of Agent Verification.
TABLEAUX 2007: 2-9 |
| 183 | | 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: 342-345 |
| 182 | | 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 2(3-4): 267-303 (2007) |
| 181 | | Jurriaan van Diggelen,
Robbert-Jan Beun,
Frank Dignum,
Rogier M. van Eijk,
John-Jules Ch. Meyer:
Ontology negotiation: goals, requirements and implementation.
IJAOSE 1(1): 63-90 (2007) |
| 180 | | Jamal Bentahar,
John-Jules Ch. Meyer:
A New Quantitative Trust Model for Negotiating Agents using Argumentation.
IJCSA 4(2): 1-21 (2007) |
| 179 | | Jamal Bentahar,
Francesca Toni,
John-Jules Ch. Meyer,
Jihad Labban:
A security framework for agent-based systems.
IJWIS 3(4): 341-362 (2007) |
| 178 | | 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 5(2): 277-302 (2007) |
| 2006 |
|---|
| 177 | | Lou Goble,
John-Jules Ch. Meyer:
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
Springer 2006 |
| 176 | | M. Birna van Riemsdijk,
Mehdi Dastani,
John-Jules Ch. Meyer,
Frank S. de Boer:
Goal-oriented modularity in agent programming.
AAMAS 2006: 1271-1278 |
| 175 | | M. Birna van Riemsdijk,
Frank S. de Boer,
Mehdi Dastani,
John-Jules Ch. Meyer:
Prototyping 3APL in the Maude term rewriting language.
AAMAS 2006: 1279-1281 |
| 174 | | Mehdi Dastani,
M. Birna van Riemsdijk,
John-Jules Ch. Meyer:
Goal types in agent programming.
AAMAS 2006: 1285-1287 |
| 173 | | Jurriaan van Diggelen,
Robbert-Jan Beun,
Frank Dignum,
Rogier M. van Eijk,
John-Jules Ch. Meyer:
ANEMONE: an effective minimal ontology negotiation environment.
AAMAS 2006: 899-906 |
| 172 | | Jurriaan van Diggelen,
Robbert-Jan Beun,
Frank Dignum,
Rogier M. van Eijk,
John-Jules Ch. Meyer:
Combining Normal Communication with Ontology Alignment.
AC 2006: 181-195 |
| 171 | | Henk-Jan Lebbink,
Cilia Witteman,
John-Jules Ch. Meyer:
Can I Please Drop It? Dialogues About Belief Contraction.
AC 2006: 227-242 |
| 170 | | M. Birna van Riemsdijk,
John-Jules Ch. Meyer:
A Compositional Semantics of Plan Revision in Intelligent Agents.
AMAST 2006: 353-367 |
| 169 | | Jamal Bentahar,
Bernard Moulin,
John-Jules Ch. Meyer:
A New Model Checking Approach for Verifying Agent Communication Protocols.
CCECE 2006: 1586-1590 |
| 168 | | Jamal Bentahar,
Bernard Moulin,
John-Jules Ch. Meyer,
Yves Lespérance:
A New Logical Semantics for Agent Communication.
CLIMA VII 2006: 151-170 |
| 167 | | M. Birna van Riemsdijk,
Frank S. de Boer,
Mehdi Dastani,
John-Jules Ch. Meyer:
Prototyping 3APL in the Maude Term Rewriting Language.
CLIMA VII 2006: 95-114 |
| 166 | | Davide Grossi,
John-Jules Ch. Meyer,
Frank Dignum:
Counts-as: Classification or Constitution? An Answer Using Modal Logic.
DEON 2006: 115-130 |
| 165 | | Mehdi Dastani,
John-Jules Ch. Meyer:
Programming Agents with Emotions.
ECAI 2006: 215-219 |
| 164 | | Mehdi Dastani,
M. Birna van Riemsdijk,
John-Jules Ch. Meyer:
Goal Types in Agent Programming.
ECAI 2006: 220-224 |
| 163 | | John-Jules Ch. Meyer:
Going beyond BDI: Programming 'BDI+' Agents.
EUMAS 2006 |
| 162 | | Mehdi Dastani,
John-Jules Ch. Meyer,
Rafael H. Bordini:
06261 Abstracts Collection -- Foundations and Practice of Programming Multi-Agent Systems.
Foundations and Practice of Programming Multi-Agent Systems 2006 |
| 161 | | Mehdi Dastani,
John-Jules Ch. Meyer,
Rafael H. Bordini:
06261 Executive Summary -- Foundations and Practice of Programming Multi-Agent Systems.
Foundations and Practice of Programming Multi-Agent Systems 2006 |
| 160 | | Koen V. Hindriks,
John-Jules Ch. Meyer:
Agent Logics as Program Logics: Grounding KARO.
KI 2006: 404-418 |
| 159 | | John-Jules Ch. Meyer:
Reasoning about emotional agents.
Int. J. Intell. Syst. 21(6): 601-619 (2006) |
| 158 | | M. Birna van Riemsdijk,
Frank S. de Boer,
John-Jules Ch. Meyer:
Dynamic Logic for Plan Revision in Agent Programming.
J. Log. Comput. 16(3): 375-402 (2006) |
| 157 | | Davide Grossi,
John-Jules Ch. Meyer,
Frank Dignum:
Classificatory Aspects of Counts-as: An Analysis in Modal Logic.
J. Log. Comput. 16(5): 613-643 (2006) |
| 156 | | M. Birna van Riemsdijk,
John-Jules Ch. Meyer,
Frank S. de Boer:
Semantics of plan revision in intelligent agents.
Theor. Comput. Sci. 351(2): 240-257 (2006) |
| 2005 |
|---|
| 155 | | Huib Aldewereld,
Javier Vázquez-Salceda,
Frank Dignum,
John-Jules Ch. Meyer:
Norm compliance of protocols in electronic institutions.
AAMAS 2005: 1291-1292 |
| 154 | | Birna van Riemsdijk,
Mehdi Dastani,
John-Jules Ch. Meyer:
Semantics of declarative goals in agent programming.
AAMAS 2005: 133-140 |
| 153 | | Huib Aldewereld,
Javier Vázquez-Salceda,
Frank Dignum,
John-Jules Ch. Meyer:
Verifying Norm Compliancy of Protocols.
AAMAS Workshops 2005: 231-245 |
| 152 | | Geert Jonker,
John-Jules Ch. Meyer,
Frank Dignum:
Efficiency and Fairness in Air Traffic Control.
BNAIC 2005: 151-157 |
| 151 | | Davide Grossi,
Frank Dignum,
John-Jules Ch. Meyer:
Contextual Terminologies.
CLIMA VI 2005: 284-302 |
| 150 | | Jamal Bentahar,
Bernard Moulin,
John-Jules Ch. Meyer:
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication.
DALT 2005: 223-244 |
| 149 | | Geert Jonker,
John-Jules Ch. Meyer,
Frank Dignum:
Towards a Market Mechanism for Airport Traffic Control.
EPIA 2005: 500-511 |
| 148 | | M. Birna van Riemsdijk,
Mehdi Dastani,
John-Jules Ch. Meyer:
Subgoal Semantics in Agent Programming.
EPIA 2005: 548-559 |
| 147 | | Davide Grossi,
John-Jules Ch. Meyer,
Frank Dignum:
Modal logic investigations in the Modal logic investigations in the semantics of counts semantics of counts-as as.
ICAIL 2005: 1-9 |
| 146 | | John-Jules Ch. Meyer:
Programming Cognitive Agents.
MATES 2005: 27-34 |
| 145 | | Fernando Koch,
John-Jules Ch. Meyer,
Frank Dignum,
Iyad Rahwan:
Programming Deliberative Agents for Mobile Services: The 3APL-M Platform.
PROMAS 2005: 222-235 |
| 144 | | Mehdi Dastani,
M. Birna van Riemsdijk,
John-Jules Ch. Meyer:
Programming Multi-Agent Systems in 3APL.
Multi-Agent Programming 2005: 39-67 |
| 143 | | Frank S. de Boer,
Wieke de Vries,
John-Jules Ch. Meyer,
Rogier M. van Eijk,
Wiebe van der Hoek:
Process algebra and constraint programming for modeling interactions in MAS.
Appl. Algebra Eng. Commun. Comput. 16(2-3): 113-150 (2005) |
| 142 | | Arjen Hommersom,
John-Jules Ch. Meyer,
Erik P. de Vink:
Toward Reasoning about Security Protocols: A Semantic Approach.
Electr. Notes Theor. Comput. Sci. 126: 53-75 (2005) |
| 2004 |
|---|
| 141 | | Mark Dermot Ryan,
John-Jules Ch. Meyer,
Hans-Dieter Ehrich:
Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers
Springer 2004 |
| 140 | | Henk-Jan Lebbink,
Cilia Witteman,
John-Jules Ch. Meyer:
A Dialogue Game to Offer an Agreement to Disagree.
AAMAS 2004: 1238-1239 |
| 139 | | Jamal Bentahar,
Bernard Moulin,
John-Jules Ch. Meyer,
Brahim Chaib-draa:
A Logical Model for Commitment and Argument Network for Agent Communication.
AAMAS 2004: 792-799 |
| 138 | | Mehdi Dastani,
Joris Hulstijn,
Frank Dignum,
John-Jules Ch. Meyer:
Issues in Multiagent System Development.
AAMAS 2004: 922-929 |
| 137 | | Jurriaan van Diggelen,
Robbert-Jan Beun,
Frank Dignum,
Rogier M. van Eijk,
John-Jules Ch. Meyer:
Optimal Communication Vocabularies and Heterogeneous Ontologies.
AC 2004: 76-90 |
| 136 | | John-Jules Ch. Meyer:
Agent-Oriented Programming: Where Do We Stand?.
AMAST 2004: 23-26 |
| 135 | | Birna van Riemsdijk,
John-Jules Ch. Meyer,
Frank S. de Boer:
Semantics of Plan Revision in Intelligent Agents.
AMAST 2004: 426-442 |
| 134 | | Mehdi Dastani,
Birna van Riemsdijk,
Joris Hulstijn,
Frank Dignum,
John-Jules Ch. Meyer:
Enacting and Deacting Roles in Agent Programming.
AOSE 2004: 189-204 |
| 133 | | Jamal Bentahar,
Bernard Moulin,
John-Jules Ch. Meyer,
Brahim Chaib-draa:
A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication.
ArgMAS 2004: 44-63 |
| 132 | | M. Birna van Riemsdijk,
Frank S. de Boer,
John-Jules Ch. Meyer:
Dynamic Logic for Plan Revision in Intelligent Agents.
CLIMA V 2004: 16-32 |
| 131 | | Jamal Bentahar,
Bernard Moulin,
John-Jules Ch. Meyer,
Brahim Chaib-draa:
A Computational Model for Conversation Policies for Agent Communication.
CLIMA V 2004: 178-195 |
| 130 | | Davide Grossi,
Frank Dignum,
John-Jules Ch. Meyer:
Contextual Taxonomies.
CLIMA V 2004: 33-51 |
| 129 | | Birna van Riemsdijk,
Mehdi Dastani,
Frank Dignum,
John-Jules Ch. Meyer:
Dynamics of Declarative Goals in Agent Programming.
DALT 2004: 1-18 |
| 128 | | Davide Grossi,
Frank Dignum,
Lambèr M. M. Royakkers,
John-Jules Ch. Meyer:
Collective Obligations and Agents: Who Gets the Blame?
DEON 2004: 129-145 |
| 127 | | Jan Broersen,
Frank Dignum,
Virginia Dignum,
John-Jules Ch. Meyer:
Designing a Deontic Logic of Deadlines.
DEON 2004: 43-56 |
| 126 | | John-Jules Ch. Meyer:
Reasoning about Emotional Agents.
ECAI 2004: 129-133 |
| 125 | | Frank Dignum,
Jan Broersen,
Virginia Dignum,
John-Jules Ch. Meyer:
Meeting the Deadline: Why, When and How.
FAABS 2004: 30-40 |
| 124 | | Henk-Jan Lebbink,
Cilia Witteman,
John-Jules Ch. Meyer:
A Dialogue Game to Offer an Agreement to Disagree.
PROMAS 2004: 199-223 |
| 123 | | Huib Aldewereld,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Rational Teams: Logical Aspects of Multi-Agent Systems.
Fundam. Inform. 63(2-3): 159-183 (2004) |
| 2003 |
|---|
| 122 | | Birna van Riemsdijk,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Agent programming in dribble: from beliefs to goals using plans.
AAMAS 2003: 393-400 |
| 121 | | Mehdi Dastani,
Frank S. de Boer,
Frank Dignum,
John-Jules Ch. Meyer:
Programming agent deliberation: an approach illustrated using the 3APL language.
AAMAS 2003: 97-104 |
| 120 | | Mehdi Dastani,
Frank Dignum,
John-Jules Ch. Meyer:
Autonomy and Agent Deliberation.
Agents and Computational Autonomy 2003: 114-127 |
| 119 | | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Process Algebra for Agent Communication: A General Semantic Approach.
Communication in Multiagent Systems 2003: 113-128 |
| 118 | | John-Jules Ch. Meyer:
Intelligent Agents: Issues and Logics.
Logics for Emerging Applications of Databases 2003: 131-165 |
| 117 | | John-Jules Ch. Meyer,
Mark Dermot Ryan,
Hans-Dieter Ehrich:
Objects, Agents, and Features: An Introduction.
Objects, Agents, and Features 2003: 1-7 |
| 116 | | Frank S. de Boer,
Cees Pierik,
Rogier M. van Eijk,
John-Jules Ch. Meyer:
Coordinating Agents in OO.
Objects, Agents, and Features 2003: 8-25 |
| 115 | | Mehdi Dastani,
Birna van Riemsdijk,
Frank Dignum,
John-Jules Ch. Meyer:
A Programming Language for Cognitive Agents Goal Directed 3APL.
PROMAS 2003: 111-130 |
| 114 | | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
A Verification Framework for Agent Communication.
Autonomous Agents and Multi-Agent Systems 6(2): 185-219 (2003) |
| 113 | | Paul Harrenstein,
Wiebe van der Hoek,
John-Jules Ch. Meyer,
Cees Witteveen:
A Modal Characterization of Nash Equilibrium.
Fundam. Inform. 57(2-4): 281-321 (2003) |
| 112 | | Wiebe van der Hoek,
John-Jules Ch. Meyer,
Jan Treur:
Formal semantics of meta-level architectures: Temporal epistemic reflection.
Int. J. Intell. Syst. 18(12): 1293-1317 (2003) |
| 111 | | Jan-Willem Roorda,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Iterated Belief Change in Multi-Agent Systems.
Logic Journal of the IGPL 11(2): 223-246 (2003) |
| 110 | | Frank S. de Boer,
Rogier M. van Eijk,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
A fully abstract model for the exchange of information in multi-agent systems.
Theor. Comput. Sci. 290(3): 1753-1773 (2003) |
| 2002 |
|---|
| 109 | | John-Jules Ch. Meyer,
Milind Tambe:
Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers
Springer 2002 |
| 108 | | Virginia Dignum,
John-Jules Ch. Meyer,
Hans Weigand:
Towards an organizational model for agent societies using contracts.
AAMAS 2002: 694-695 |
| 107 | | Jan-Willem Roorda,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Iterated belief change in multi-agent systems.
AAMAS 2002: 889-896 |
| 106 | | Paul Harrenstein,
Wiebe van der Hoek,
John-Jules Ch. Meyer,
Cees Witteveen:
On Modal Logic Interpretations of Games.
ECAI 2002: 28-32 |
| 105 | | Hans Weigand,
Virginia Dignum,
John-Jules Ch. Meyer,
Frank Dignum:
Specification by Refinement and Agreement: Designing Agent Interaction Using Landmarks and Contracts.
ESAW 2002: 257-269 |
| 104 | | John-Jules Ch. Meyer:
Tools and Education towards Formal Methods Practice.
FAABS 2002: 274-279 |
| 103 | | Birna van Riemsdijk,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Agent Programming in Dribble: From Beliefs to Goals with Plans.
FAABS 2002: 294-295 |
| 102 | | Virginia Dignum,
John-Jules Ch. Meyer,
Frank Dignum,
Hans Weigand:
Formal Specification of Interaction in Agent Societies.
FAABS 2002: 37-52 |
| 101 | | Jan Broersen,
John-Jules Ch. Meyer,
Roel Wieringa:
The mutual exclusion problem in reasoning about action and change.
NMR 2002: 365-371 |
| 100 | | John-Jules Ch. Meyer:
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 25(1): 89-92 (2002) |
| 99 | | Frank S. de Boer,
Koen V. Hindriks,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Agent Programming with Declarative Goals
CoRR cs.AI/0207008: (2002) |
| 98 | | Jan Broersen,
Roel Wieringa,
John-Jules Ch. Meyer:
A Fixed-point Characterization of a Deontic Logic of Regular Action.
Fundam. Inform. 49(4): 107-128 (2002) |
| 2001 |
|---|
| 97 | | John-Jules Ch. Meyer,
Milind Tambe:
Introduction.
ATAL 2001: 1-5 |
| 96 | | Wieke de Vries,
Frank S. de Boer,
Koen V. Hindriks,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
A Programming Language for Coordinating Group Actions.
CEEMAS 2001: 313-321 |
| 95 | | Wieke de Vries,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
A Truly Concurrent Model for Interacting Agents.
PRIMA 2001: 16-30 |
| 94 | | Ullrich Hustadt,
Clare Dixon,
Renate A. Schmidt,
Michael Fisher,
John-Jules Ch. Meyer,
Wiebe van der Hoek:
Reasoning about agents in the KARO framework.
TIME 2001: 206-213 |
| 93 | | Jan Broersen,
Roel Wieringa,
John-Jules Ch. Meyer:
A Fixed-point Characterization of a Deontic Logic of Regular Action.
Fundam. Inform. 48(2-3): 107-128 (2001) |
| 92 | | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
On dynamically generated ontology translators in agent communication.
Int. J. Intell. Syst. 16(5): 587-607 (2001) |
| 91 | | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Modal Logic with Bounded Quantification over Worlds.
J. Log. Comput. 11(5): 701-715 (2001) |
| 90 | | John-Jules Ch. Meyer,
Frank S. de Boer,
Rogier M. van Eijk,
Koen V. Hindriks,
Wiebe van der Hoek:
On Programming KARO Agents.
Logic Journal of the IGPL 9(2): (2001) |
| 89 | | Paul Spruit,
Roel Wieringa,
John-Jules Ch. Meyer:
Regular database update logics.
Theor. Comput. Sci. 254(1-2): 591-661 (2001) |
| 2000 |
|---|
| 88 | | Koen V. Hindriks,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Agent Programming with Declarative Goals.
ATAL 2000: 228-243 |
| 87 | | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Generalised Object-Oriented Concepts for Inter-agent Communication.
ATAL 2000: 260-274 |
| 86 | | Frank S. de Boer,
Rogier M. van Eijk,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Failure Semantics for the Exchange of Information in Multi-Agent Systems.
CONCUR 2000: 214-228 |
| 85 | | Jan Broersen,
Roel Wieringa,
John-Jules Ch. Meyer:
A Semantics for Persistency in Propositional Dynamic Logic.
Computational Logic 2000: 912-925 |
| 84 | | Ullrich Hustadt,
Clare Dixon,
Renate A. Schmidt,
Michael Fisher,
John-Jules Ch. Meyer,
Wiebe van der Hoek:
Verification within the KARO Agent Theory.
FAABS 2000: 33-47 |
| 83 | | Koen V. Hindriks,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
A Programming Logic for Part of the Agent Language 3APL.
FAABS 2000: 78-89 |
| 82 | | Koen V. Hindriks,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Semantics of Communicating Agents Based on Deduction and Abduction.
Issues in Agent Communication 2000: 63-79 |
| 81 | | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Operational Semantics for Agent Communication Languages.
Issues in Agent Communication 2000: 80-95 |
| 80 | | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
A Modal Logic for Network Topologies.
JELIA 2000: 269-283 |
| 79 | | Wiebe van der Hoek,
Bernd van Linder,
John-Jules Ch. Meyer:
On Agents That Have the Ability to Choose.
Studia Logica 66(1): 79-119 (2000) |
| 1999 |
|---|
| 78 | | John-Jules Ch. Meyer,
Pierre-Yves Schobbens:
Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers
Springer 1999 |
| 77 | | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Open Multi-agent Systems: Agent Communication and Integration.
ATAL 1999: 218-232 |
| 76 | | Frank S. de Boer,
Rogier M. van Eijk,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Failure Semantics for the Exchange of Information in Multi-agent Systems.
ECOOP Workshops 1999: 265 |
| 75 | | John-Jules Ch. Meyer:
Keynote Address: Formal and Informal Aspects of Intelligent Agent-based Systems.
ISCO 1999: 299-310 |
| 74 | | John-Jules Ch. Meyer,
Wiebe van der Hoek,
Bernd van Linder:
A Logical Approach to the Dynamics of Commitments.
Artif. Intell. 113(1-2): 1-40 (1999) |
| 73 | | Koen V. Hindriks,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Agent Programming in 3APL.
Autonomous Agents and Multi-Agent Systems 2(4): 357-401 (1999) |
| 1998 |
|---|
| 72 | | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Constructing Translations Between Individual Vocabularies in Multi-Agent Systems.
AIMSA 1998: 240-253 |
| 71 | | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Information-Passing and Belief Revision in Multi-Agent Systems.
ATAL 1998: 29-45 |
| 70 | |
