2009 |
217 | EE | Jamal Bentahar,
John-Jules Ch. Meyer,
Wei Wan:
Model checking communicative agent-based systems.
Knowl.-Based Syst. 22(3): 142-159 (2009) |
2008 |
216 | EE | Natasha Alechina,
Brian Logan,
Mehdi Dastani,
John-Jules Ch. Meyer:
Reasoning about agent execution strategies.
AAMAS (3) 2008: 1455-1458 |
215 | EE | 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 |
214 | EE | Thomas L. van der Weide,
Frank Dignum,
John-Jules Ch. Meyer,
Henry Prakken,
Gerard Vreeswijk:
Personality-Based Practical Reasoning.
ArgMAS 2008: 3-18 |
213 | EE | Michal P. Sindlar,
Mehdi Dastani,
Frank Dignum,
John-Jules Ch. Meyer:
Mental State Abduction of BDI-Based Agents.
DALT 2008: 161-178 |
212 | EE | Jamal Bentahar,
Mohamed Mbarki,
John-Jules Ch. Meyer,
Bernard Moulin:
Strategic Agent Communication: An Argumentation-Driven Approach.
DALT 2008: 233-250 |
211 | EE | Jan Broersen,
Rosja Mastop,
John-Jules Ch. Meyer,
Paolo Turrini:
A Deontic Logic for Socially Optimal Norms.
DEON 2008: 218-232 |
210 | EE | Bas R. Steunebrink,
Mehdi Dastani,
John-Jules Ch. Meyer:
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects.
ECAI 2008: 256-260 |
209 | EE | Jan Broersen,
Rosja Mastop,
John-Jules Ch. Meyer,
Paolo Turrini:
Organizing Coherent Coalitions.
ECAI 2008: 879-880 |
208 | EE | Bob van der Vecht,
Frank Dignum,
John-Jules Ch. Meyer:
Magic Agents: Using Information Relevance to Control Autonomy.
ECAI 2008: 889-890 |
207 | EE | Jan Broersen,
Rosja Mastop,
John-Jules Ch. Meyer,
Paolo Turrini:
A Logic for Closed-World Interaction.
JELIA 2008: 89-99 |
206 | | Natasha Alechina,
Mehdi Dastani,
Brian Logan,
John-Jules Ch. Meyer:
Reasoning about Agent Deliberation.
KR 2008: 16-26 |
205 | EE | Farhad Arbab,
Lacramioara Astefanoaei,
Frank S. de Boer,
Mehdi Dastani,
John-Jules Ch. Meyer,
Nick Tinnermeier:
Reo Connectors as Coordination Artifacts in 2APL Systems.
PRIMA 2008: 42-53 |
204 | EE | Lacramioara Astefanoaei,
Mehdi Dastani,
John-Jules Ch. Meyer,
Frank S. de Boer:
A Verification Framework for Normative Multi-Agent Systems.
PRIMA 2008: 54-65 |
203 | EE | John-Jules Ch. Meyer:
Agent Technology.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
202 | EE | Lou Goble,
John-Jules Ch. Meyer:
Editorial.
J. Applied Logic 6(2): 133-134 (2008) |
201 | EE | 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 |
200 | | 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 |
199 | | Bas R. Steunebrink,
Mehdi Dastani,
John-Jules Ch. Meyer:
A Logic of Emotions for Intelligent Agents.
AAAI 2007: 142-147 |
198 | | Natasha Alechina,
Mehdi Dastani,
Brian Logan,
John-Jules Ch. Meyer:
A Logic of Agent Programs.
AAAI 2007: 795-800 |
197 | EE | Mehdi Dastani,
Dirk Hobo,
John-Jules Ch. Meyer:
Practical extensions in agent programming languages.
AAMAS 2007: 138 |
196 | EE | Mehdi Dastani,
M. Birna van Riemsdijk,
John-Jules Ch. Meyer:
A grounded specification language for agent programs.
AAMAS 2007: 147 |
195 | EE | 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 |
194 | EE | Huib Aldewereld,
Frank Dignum,
John-Jules Ch. Meyer:
Designing protocols for agent institutions.
AAMAS 2007: 31 |
193 | EE | Davide Grossi,
Frank Dignum,
John-Jules Ch. Meyer:
A formal road from institutional norms to organizational structures.
AAMAS 2007: 89 |
192 | EE | Paolo Turrini,
John-Jules Ch. Meyer,
Cristiano Castelfranchi:
Rational Agents That Blush.
ACII 2007: 314-325 |
191 | EE | Patrick Doherty,
John-Jules Ch. Meyer:
Towards a Delegation Framework for Aerial Robotic Mission Scenarios.
CIA 2007: 5-26 |
190 | EE | Bob van der Vecht,
Frank Dignum,
John-Jules Ch. Meyer,
Martijn Neef:
A Dynamic Coordination Mechanism Using Adjustable Autonomy.
COIN 2007: 83-96 |
189 | EE | Jamal Bentahar,
John-Jules Ch. Meyer,
Bernard Moulin:
Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach.
ITNG 2007: 507-515 |
188 | EE | Nick A. M. Tinnemeier,
Mehdi Dastani,
John-Jules Ch. Meyer:
Goal Selection Strategies for Rational Agents.
LADS 2007: 54-70 |
187 | EE | Davide Grossi,
John-Jules Ch. Meyer,
Frank Dignum:
On the Logic of Constitutive Rules.
Normative Multi-agent Systems 2007 |
186 | EE | Mehdi Dastani,
John-Jules Ch. Meyer:
A Practical Agent Programming Language.
PROMAS 2007: 107-123 |
185 | EE | Huib Aldewereld,
Frank Dignum,
John-Jules Ch. Meyer:
From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions.
PROMAS 2007: 57-72 |
184 | | Jamal Bentahar,
John-Jules Ch. Meyer:
A New Quantitative Trust Model for Negotiating Agents.
RCIS 2007: 39-50 |
183 | | Jamal Bentahar,
John-Jules Ch. Meyer:
Model Checking Communicative Agent-Based Systems.
SoMeT 2007: 239-265 |
182 | EE | John-Jules Ch. Meyer:
Our Quest for the Holy Grail of Agent Verification.
TABLEAUX 2007: 2-9 |
181 | EE | N. 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 |
180 | EE | 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) |
179 | EE | 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) |
178 | EE | Jamal Bentahar,
John-Jules Ch. Meyer:
A New Quantitative Trust Model for Negotiating Agents using Argumentation.
IJCSA 4(2): 1-21 (2007) |
177 | EE | Jamal Bentahar,
Francesca Toni,
John-Jules Ch. Meyer,
Jihad Labban:
A security framework for agent-based systems.
IJWIS 3(4): 341-362 (2007) |
176 | EE | 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 |
175 | | 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 |
174 | EE | M. Birna van Riemsdijk,
Mehdi Dastani,
John-Jules Ch. Meyer,
Frank S. de Boer:
Goal-oriented modularity in agent programming.
AAMAS 2006: 1271-1278 |
173 | EE | 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 |
172 | EE | Mehdi Dastani,
M. Birna van Riemsdijk,
John-Jules Ch. Meyer:
Goal types in agent programming.
AAMAS 2006: 1285-1287 |
171 | EE | 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 |
170 | EE | M. Birna van Riemsdijk,
John-Jules Ch. Meyer:
A Compositional Semantics of Plan Revision in Intelligent Agents.
AMAST 2006: 353-367 |
169 | EE | Jamal Bentahar,
Bernard Moulin,
John-Jules Ch. Meyer:
A New Model Checking Approach for Verifying Agent Communication Protocols.
CCECE 2006: 1586-1590 |
168 | EE | Jamal Bentahar,
Bernard Moulin,
John-Jules Ch. Meyer,
Yves Lespérance:
A New Logical Semantics for Agent Communication.
CLIMA VII 2006: 151-170 |
167 | EE | 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 | EE | 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 | EE | John-Jules Ch. Meyer:
Going beyond BDI: Programming 'BDI+' Agents.
EUMAS 2006 |
162 | EE | 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 | EE | 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 | EE | Koen V. Hindriks,
John-Jules Ch. Meyer:
Agent Logics as Program Logics: Grounding KARO.
KI 2006: 404-418 |
159 | EE | John-Jules Ch. Meyer:
Reasoning about emotional agents.
Int. J. Intell. Syst. 21(6): 601-619 (2006) |
158 | EE | 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 | EE | 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 | EE | 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 | EE | Huib Aldewereld,
Javier Vázquez-Salceda,
Frank Dignum,
John-Jules Ch. Meyer:
Norm compliance of protocols in electronic institutions.
AAMAS 2005: 1291-1292 |
154 | EE | Birna van Riemsdijk,
Mehdi Dastani,
John-Jules Ch. Meyer:
Semantics of declarative goals in agent programming.
AAMAS 2005: 133-140 |
153 | EE | 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 | EE | Davide Grossi,
Frank Dignum,
John-Jules Ch. Meyer:
Contextual Terminologies.
CLIMA VI 2005: 284-302 |
150 | EE | Jamal Bentahar,
Bernard Moulin,
John-Jules Ch. Meyer:
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication.
DALT 2005: 223-244 |
149 | EE | Geert Jonker,
John-Jules Ch. Meyer,
Frank Dignum:
Towards a Market Mechanism for Airport Traffic Control.
EPIA 2005: 500-511 |
148 | EE | 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 | EE | John-Jules Ch. Meyer:
Programming Cognitive Agents.
MATES 2005: 27-34 |
145 | EE | 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 | EE | 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 | EE | 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 | EE | Henk-Jan Lebbink,
Cilia Witteman,
John-Jules Ch. Meyer:
A Dialogue Game to Offer an Agreement to Disagree.
AAMAS 2004: 1238-1239 |
139 | EE | 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 | EE | Mehdi Dastani,
Joris Hulstijn,
Frank Dignum,
John-Jules Ch. Meyer:
Issues in Multiagent System Development.
AAMAS 2004: 922-929 |
137 | EE | 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 | EE | John-Jules Ch. Meyer:
Agent-Oriented Programming: Where Do We Stand?.
AMAST 2004: 23-26 |
135 | EE | Birna van Riemsdijk,
John-Jules Ch. Meyer,
Frank S. de Boer:
Semantics of Plan Revision in Intelligent Agents.
AMAST 2004: 426-442 |
134 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Davide Grossi,
Frank Dignum,
John-Jules Ch. Meyer:
Contextual Taxonomies.
CLIMA V 2004: 33-51 |
129 | EE | Birna van Riemsdijk,
Mehdi Dastani,
Frank Dignum,
John-Jules Ch. Meyer:
Dynamics of Declarative Goals in Agent Programming.
DALT 2004: 1-18 |
128 | EE | 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 | EE | 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 | EE | Frank Dignum,
Jan Broersen,
Virginia Dignum,
John-Jules Ch. Meyer:
Meeting the Deadline: Why, When and How.
FAABS 2004: 30-40 |
124 | EE | Henk-Jan Lebbink,
Cilia Witteman,
John-Jules Ch. Meyer:
A Dialogue Game to Offer an Agreement to Disagree.
PROMAS 2004: 199-223 |
123 | EE | 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 | EE | 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 | EE | 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 | EE | Mehdi Dastani,
Frank Dignum,
John-Jules Ch. Meyer:
Autonomy and Agent Deliberation.
Agents and Computational Autonomy 2003: 114-127 |
119 | EE | 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 | EE | John-Jules Ch. Meyer,
Mark Dermot Ryan,
Hans-Dieter Ehrich:
Objects, Agents, and Features: An Introduction.
Objects, Agents, and Features 2003: 1-7 |
116 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Virginia Dignum,
John-Jules Ch. Meyer,
Hans Weigand:
Towards an organizational model for agent societies using contracts.
AAMAS 2002: 694-695 |
107 | EE | 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 | EE | 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 | EE | John-Jules Ch. Meyer:
Tools and Education towards Formal Methods Practice.
FAABS 2002: 274-279 |
103 | EE | 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 | EE | 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 | EE | 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 | EE | John-Jules Ch. Meyer,
Milind Tambe:
Introduction.
ATAL 2001: 1-5 |
96 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Paul Spruit,
Roel Wieringa,
John-Jules Ch. Meyer:
Regular database update logics.
Theor. Comput. Sci. 254(1-2): 591-661 (2001) |
2000 |
88 | EE | 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 | EE | 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 | EE | 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 | EE | Jan Broersen,
Roel Wieringa,
John-Jules Ch. Meyer:
A Semantics for Persistency in Propositional Dynamic Logic.
Computational Logic 2000: 912-925 |
84 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | | John-Jules Ch. Meyer:
Agent Languages and Their Relationship to Other Programming Paradigms.
ATAL 1998: 309-316 |
69 | | Koen V. Hindriks,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Control Structures of Rule-Based Agent Languages.
ATAL 1998: 381-396 |
68 | | Koen V. Hindriks,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
A Formal Embedding of AgentSpeak(L) in 3APL.
Australian Joint Conference on Artificial Intelligence 1998: 155-166 |
67 | | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Systems of Communicating Agents.
ECAI 1998: 293-297 |
66 | | 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.
ICMAS 1998: 473-474 |
65 | EE | John-Jules Ch. Meyer,
Roel Wieringa,
Frank Dignum:
The Role of Deontic Logic in the Specification of Information Systems.
Logics for Databases and Information Systems 1998: 71-115 |
64 | EE | Rogier M. van Eijk,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Translations of Vocabularies in Systems of Communicating Agents.
Electr. Notes Theor. Comput. Sci. 16(1): (1998) |
63 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Formalising Abilities and Opportunities of Agents.
Fundam. Inform. 34(1-2): 53-101 (1998) |
62 | | Wiebe van der Hoek,
John-Jules Ch. Meyer,
Jan Treur:
Temporalizing Epistemic Default Logic.
Journal of Logic, Language and Information 7(3): 341-367 (1998) |
1997 |
61 | | Koen V. Hindriks,
Frank S. de Boer,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Formal Semantics for an Abstract Agent Programming Language.
ATAL 1997: 215-229 |
60 | EE | John-Jules Ch. Meyer,
Pierre-Yves Schobbens:
Formal Models of Agents: An Introduction.
ModelAge Workshop 1997: 1-7 |
59 | EE | John-Jules Ch. Meyer,
Patrick Doherty:
Preferential Action Semantics (Preliminary Report).
ModelAge Workshop 1997: 187-201 |
58 | EE | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
The Dynamics of Default Reasoning.
Data Knowl. Eng. 21(3): 317-346 (1997) |
57 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Seeing Is Believing.
Journal of Logic, Language and Information 6(1): 33-61 (1997) |
1996 |
56 | | Frank Dignum,
John-Jules Ch. Meyer,
Roel Wieringa,
Ruurd Kuiper:
A Modal Approach to Intentions, Commitments and Obligations: Intention plus Commitment Yields Obligation.
DEON 1996: 80-97 |
55 | | John-Jules Ch. Meyer,
J. C. van Leeuwen:
Possible World Semantics for Analogous Reasoning.
FAPR 1996: 414-429 |
54 | | John-Jules Ch. Meyer,
Wiebe van der Hoek:
A Modal Contrastive Logic: The Logic of `but'.
Ann. Math. Artif. Intell. 17(3-4): 291-313 (1996) |
53 | | P. d'Altan,
John-Jules Ch. Meyer,
Roel Wieringa:
An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints.
Artif. Intell. Law 4(2): 77-111 (1996) |
52 | | Frank Dignum,
John-Jules Ch. Meyer,
Roel Wieringa:
Free Choice and Contextually Permitted Actions.
Studia Logica 57(1): 193-220 (1996) |
1995 |
51 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Seeing is Believing.
AI*IA 1995: 402-413 |
50 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Formalising Motivational Attitudes of Agents.
ATAL 1995: 17-32 |
49 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
The Dynamics of Default Reasoning (Extended Abstract).
ECSQARU 1995: 277-284 |
48 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Actions That Make You Change Your Mind (Extended Abstract).
KI 1995: 185-196 |
47 | | John-Jules Ch. Meyer,
Wiebe van der Hoek:
A Default Logic Based on Epistemic States.
Fundam. Inform. 23(1): 33-65 (1995) |
46 | | Paul Spruit,
Roel Wieringa,
John-Jules Ch. Meyer:
Aziomatization, Declarative Semantics and Operational Semantics of Passive and Active Updates in Logic Databases.
J. Log. Comput. 5(1): 27-70 (1995) |
1994 |
45 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Tests as Epistemic Updates.
ECAI 1994: 331-335 |
44 | | Lluis Godo,
Wiebe van der Hoek,
John-Jules Ch. Meyer,
Carles Sierra:
Many-Valued Epistemic States: An Application to a Reflexive Architecture: Milord-II.
IPMU 1994: 440-452 |
43 | | Bernd van Linder,
Wiebe van der Hoek,
John-Jules Ch. Meyer:
Communicating Rational Agents.
KI 1994: 202-213 |
42 | | Wiebe van der Hoek,
Bernd van Linder,
John-Jules Ch. Meyer:
A Logic of Capabilities.
LFCS 1994: 366-378 |
41 | | Wiebe van der Hoek,
John-Jules Ch. Meyer,
Jan Treur:
Formal Semantics of Temporal Epistemic Reflection.
META 1994: 332-352 |
40 | | M. van Hulst,
John-Jules Ch. Meyer:
An Epistemic Proof System for Parallel Processes.
TARK 1994: 243-254 |
1993 |
39 | | John-Jules Ch. Meyer,
Wiebe van der Hoek:
A Default Logic Based on Epistemic States.
ECSQARU 1993: 265-273 |
38 | | Roel Wieringa,
John-Jules Ch. Meyer:
Actors, Actions, and Initiative in Normative System Specification.
Ann. Math. Artif. Intell. 7(1-4): 289-346 (1993) |
37 | | John-Jules Ch. Meyer,
Wiebe van der Hoek:
Counterfactual Reasoning by (means of) Defaults.
Ann. Math. Artif. Intell. 9(3-4): 345-360 (1993) |
1992 |
36 | | Paul Spruit,
Roel Wieringa,
John-Jules Ch. Meyer:
Dynamic Database Logic: the First-order Case.
FMLDO 1992: 103-120 |
35 | | Wiebe van der Hoek,
John-Jules Ch. Meyer:
Graded Modalities in Epistemic Logic.
LFCS 1992: 503-514 |
34 | | Wiebe van der Hoek,
M. van Hulst,
John-Jules Ch. Meyer:
Towards an Epistemic Approach to Reasoning about Concurrent Programs.
REX Workshop 1992: 261-287 |
33 | | Wiebe van der Hoek,
John-Jules Ch. Meyer:
Making Some Issues of Implicit Knowledge Explicit.
Int. J. Found. Comput. Sci. 3(2): 193-223 (1992) |
1991 |
32 | | Paul Spruit,
John-Jules Ch. Meyer,
Roel Wieringa:
Discussion Issues for a Working Group on Update Semantics of Logic Databases.
FMLDO 1991: 209-210 |
31 | | Paul Spruit,
John-Jules Ch. Meyer:
Declarative Semantics of Passive and Active Updates in Logic Databases.
FMLDO 1991: 37-46 |
30 | EE | Roel Wieringa,
John-Jules Ch. Meyer:
Actor-Oriented Specification of Deontic Integrity Constraints.
MFDBS 1991: 89-103 |
29 | | John-Jules Ch. Meyer,
Roel Wieringa:
Actor-Oriented System Specification with Dynamic Logic.
TAPSOFT, Vol.2 1991: 337-357 |
28 | | Roel Wieringa,
Hans Weigand,
John-Jules Ch. Meyer,
Frank Dignum:
The Inheritance of Dynamic and Deontic Integrity Constraints.
Ann. Math. Artif. Intell. 3(2-4): 393-428 (1991) |
1990 |
27 | | John-Jules Ch. Meyer,
Wiebe van der Hoek:
Non-Monotonic Reasoning by Monotonic Means.
JELIA 1990: 399-411 |
1989 |
26 | | John-Jules Ch. Meyer,
Erik P. de Vink:
Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract).
MFCS 1989: 360-369 |
25 | EE | John-Jules Ch. Meyer,
Hans Weigand,
Roel Wieringa:
A Specification Language for Static, Dynamic and Deontic Integrity Constraints.
MFDBS 1989: 347-366 |
24 | | John-Jules Ch. Meyer,
Ernst-Rüdiger Olderog:
Hiding in Stream Semantics of Uniform Concurrency.
Acta Inf. 27(5): 381-397 (1989) |
23 | | Roel Wieringa,
John-Jules Ch. Meyer,
Hans Weigand:
Specifying Dynamic and Deontic Integrity Constraints.
Data Knowl. Eng. 4: 157-189 (1989) |
22 | | John-Jules Ch. Meyer,
Erik P. de Vink:
Step Semantics for "True" Concurrency with Recursion.
Distributed Computing 3(3): 130-145 (1989) |
1988 |
21 | | J. W. de Bakker,
John-Jules Ch. Meyer:
Metric Semantics for Concurrency.
BIT 28(3): 504-529 (1988) |
20 | | J. W. de Bakker,
John-Jules Ch. Meyer,
Ernst-Rüdiger Olderog,
Jeffery I. Zucker:
Transition Systems, Metric Spaces and Ready Sets in the Semantics of Uniform Concurrency.
J. Comput. Syst. Sci. 36(2): 158-224 (1988) |
19 | | John-Jules Ch. Meyer,
Erik P. de Vink:
Applications of Compactness in the Smyth Powerdomain of Streams.
Theor. Comput. Sci. 57: 251-282 (1988) |
1987 |
18 | | John-Jules Ch. Meyer,
Erik P. de Vink:
Applications of Compactness in the Smyth Powerdomain of Streams (Extended Abstract).
TAPSOFT, Vol.1 1987: 241-255 |
17 | | J. W. de Bakker,
John-Jules Ch. Meyer:
Order and Metric in the Stream Semantics of Elemental Concurrency.
Acta Inf. 24(5): 491-511 (1987) |
16 | | John-Jules Ch. Meyer:
Process modalities obtained as fixed points (Part one).
Bulletin of the EATCS 32: 98-106 (1987) |
15 | | John-Jules Ch. Meyer:
Process modalities obtained as fixed points (part 2).
Bulletin of the EATCS 33: 71-82 (1987) |
14 | | J. W. de Bakker,
John-Jules Ch. Meyer,
Ernst-Rüdiger Olderog:
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency.
Theor. Comput. Sci. 49: 87-112 (1987) |
1986 |
13 | | J. W. de Bakker,
Joost N. Kok,
John-Jules Ch. Meyer,
Ernst-Rüdiger Olderog,
Jeffery I. Zucker:
Contrasting Themes in the Semantics of Imperative Concurrency.
Current Trends in Concurrency 1986: 51-122 |
12 | | John-Jules Ch. Meyer:
Merging Regular Processes by Means of Fixed-Point Theory.
Theor. Comput. Sci. 45(2): 193-260 (1986) |
1985 |
11 | | J. W. de Bakker,
John-Jules Ch. Meyer,
Ernst-Rüdiger Olderog:
Infinite Streams and Finite Observations in the Semantics of Uniform Concurrency.
ICALP 1985: 149-157 |
10 | | J. W. de Bakker,
John-Jules Ch. Meyer,
Ernst-Rüdiger Olderog,
Jeffery I. Zucker:
Transition Systems, Infinitary Languages and the Semantics of Uniform Concurrency
STOC 1985: 252-262 |
1984 |
9 | | Jan A. Bergstra,
John-Jules Ch. Meyer:
On Specifying Sets of Integers.
Elektronische Informationsverarbeitung und Kybernetik 20(10/11): 531-541 (1984) |
8 | | J. W. de Bakker,
John-Jules Ch. Meyer,
Jeffery I. Zucker:
On Infinite Computations in Denotational Semantics.
Theor. Comput. Sci. 29: 229-230 (1984) |
7 | | J. W. de Bakker,
Jan A. Bergstra,
Jan Willem Klop,
John-Jules Ch. Meyer:
Linear Time and Branching Time Semantics for Recursion with Merge.
Theor. Comput. Sci. 34: 135-156 (1984) |
1983 |
6 | | J. W. de Bakker,
Jan A. Bergstra,
Jan Willem Klop,
John-Jules Ch. Meyer:
Linear Time and Branching Time Semantics for Recursion with Merge.
ICALP 1983: 39-51 |
5 | | J. W. de Bakker,
John-Jules Ch. Meyer,
Jeffery I. Zucker:
On Infinite Computations in Denotational Semantics.
Theor. Comput. Sci. 26: 53-82 (1983) |
1982 |
4 | | Jan A. Bergstra,
John-Jules Ch. Meyer:
A Simple Transfer Lemma for Algebraic Specifications.
Inf. Process. Lett. 14(2): 80-85 (1982) |
3 | | Jan A. Bergstra,
John-Jules Ch. Meyer:
On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic.
Theor. Comput. Sci. 21: 269-279 (1982) |
1981 |
2 | | J. W. de Bakker,
Jan Willem Klop,
John-Jules Ch. Meyer:
Correctness of Programs with Function Procedures.
Logic of Programs 1981: 94-112 |
1 | | Jan A. Bergstra,
John-Jules Ch. Meyer:
On the quantifier-free fragment of 'Logic of effective definitions'.
Fundam. Inform. 4(4): 935-956 (1981) |