- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j78 |      | Mehdi Dastani, John-Jules Ch. Meyer, Davide Grossi: A logic for normative multi-agent programs. J. Log. Comput. 23(2): 335-354 (2013) |
| 2012 | ||
| j77 | | Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier: Programming norm change. Journal of Applied Non-Classical Logics 22(1-2): 151-180 (2012) |
| j76 | | Paolo Turrini, Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer: Regulating competing coalitions: a logic for socially optimal group choices. Journal of Applied Non-Classical Logics 22(1-2): 181-202 (2012) |
| j75 | | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: Modeling agents with a theory of mind: Theory-theory versus simulation theory. Web Intelligence and Agent Systems 10(3): 331-343 (2012) |
| c198 | | Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: Testing the benfits of structured argumentation in multi-agent deliberation dialogues. AAMAS 2012: 1411-1412 |
| c197 | | Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer: General Directionality and the Local Behavior of Argumentation Semantics. AT 2012: 113-127 |
| c196 | | Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer: GOAL Agents Instantiate Intention Logic. Logic Programs, Norms and Action 2012: 196-219 |
| c195 | | Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer: Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation. CLIMA 2012: 181-194 |
| c194 |  | Leo van Moergestel, John-Jules Ch. Meyer: Generating Phonemes from Written Thai using Lexical Analysis based on Regular Expressions. ICAART (1) 2012: 306-311 |
| c193 | | Joost Broekens, Maaike Harbers, Willem-Paul Brinkman, Catholijn M. Jonker, Karel van den Bosch, John-Jules Ch. Meyer: Virtual Reality Negotiation Training Increases Negotiation Knowledge and Skill. IVA 2012: 218-230 |
| 2011 | ||
| j74 | | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: Reasoning about agent deliberation. Autonomous Agents and Multi-Agent Systems 22(2): 356-381 (2011) |
| j73 | | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: Reasoning about plan revision in BDI agent programs. Theor. Comput. Sci. 412(44): 6115-6134 (2011) |
| c192 | | Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx: Scenario-Based Training: Director's Cut. AIED 2011: 264-271 |
| c191 | | Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: Multi-criteria Argument Selection in Persuasion Dialogues. ArgMAS 2011: 136-153 |
| c190 | | Maaike Harbers, Jeffrey M. Bradshaw, Matthew Johnson, Paul J. Feltovich, Karel van den Bosch, John-Jules Ch. Meyer: Explanation in Human-Agent Teamwork. COIN@AAMAS&WI-IAT 2011: 21-37 |
| c189 | | Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer: Programming mental state abduction. AAMAS 2011: 301-308 |
| c188 | | Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: Multi-criteria argument selection in persuasion dialogues. AAMAS 2011: 921-928 |
| c187 | | Eric M. Kok, John-Jules Ch. Meyer, Herre van Oostendorp, Henry Prakken, Gerard Vreeswijk: A Methodology for the Generation of Multi-agent Argumentation Dialogue Scenarios. EUMAS 2011: 160-174 |
| c186 | | 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: 17-20 |
| c185 | | Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer: Neural-Symbolic Cognitive Agents: Architecture and Theory. ICCSW 2011: 10-16 |
| c184 | | 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: 1653-1658 |
| c183 | | Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer: Decentralized Autonomous-Agent-Based Infrastructure for Agile Multiparallel Manufacturing. ISADS 2011: 281-288 |
| c182 | | 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: 435-436 |
| c181 | | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: A Theoretical Framework for Explaining Agent Behavior. SIMULTECH 2011: 228-231 |
| 2010 | ||
| j72 | | 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 20(3): 401-420 (2010) |
| j71 | | Mehdi Dastani, John-Jules Ch. Meyer: Agents with emotions. Int. J. Intell. Syst. 25(7): 636-654 (2010) |
| j70 | | Joost Broekens, Catholijn M. Jonker, John-Jules Ch. Meyer: Affective negotiation support systems. JAISE 2(2): 121-144 (2010) |
| j69 | | Maaike Harbers, John-Jules Ch. Meyer, Karel van den Bosch: Explaining Simulations Through Self Explaining Agents. J. Artificial Societies and Social Simulation 13(1) (2010) |
| c180 | | Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: A Formal Argumentation Framework for Deliberation Dialogues. ArgMAS 2010: 31-48 |
| c179 | | Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: Arguing about Preferences and Decisions. ArgMAS 2010: 68-85 |
| c178 | | Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer: Programming norm change. AAMAS 2010: 957-964 |
| c177 | | Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer: Emotions to control agent deliberation. AAMAS 2010: 973-980 |
| c176 | | 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: 306-322 |
| c175 | | Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer: Mental State Ascription Using Dynamic Logic. ECAI 2010: 561-566 |
| c174 | | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: Design and Evaluation of Explainable BDI Agents. IAT 2010: 125-132 |
| c173 | | 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: 28-39 |
| c172 | | Michal P. Sindlar, John-Jules Ch. Meyer: Affordance-Based Intention Recognition in Virtual Spatial Environments. PRIMA 2010: 304-319 |
| 2009 | ||
| j68 | | 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) |
| j67 | | 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) |
| j66 | | 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) |
| j65 | | Jamal Bentahar, John-Jules Ch. Meyer, Wei Wan: Model checking communicative agent-based systems. Knowl.-Based Syst. 22(3): 142-159 (2009) |
| j64 | | Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: Determining the environment: a modal logic for closed interaction. Synthese 169(2): 351-369 (2009) |
| c171 | | Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: Practical Reasoning Using Values. ArgMAS 2009: 79-93 |
| c170 | | Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer: Roles and norms for programming agent organizations. AAMAS (1) 2009: 121-128 |
| c169 | | 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 |
| c168 | | Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer: Model Checking Normative Agent Organisations. CLIMA 2009: 64-82 |
| c167 | | 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 |
| c166 | | Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer: A Formal Model of Emotion-Based Action Tendency for Intelligent Agents. EPIA 2009: 174-186 |
| c165 | | Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer: Autonomy and Coordination: Controlling External Influences on Decision Making. IAT 2009: 92-95 |
| c164 | | 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 |
| c163 | | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: Modeling Agents with a Theory of Mind. IAT 2009: 217-224 |
| c162 | | 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 |
| c161 | | Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: Strategic Ability Update: A Modal Logic Account. Web Intelligence/IAT Workshops 2009: 470-473 |
| c160 | | Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer: BDI-Based Development of Virtual Characters with a Theory of Mind. IVA 2009: 34-41 |
| c159 | | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: A Study into Preferred Explanations of Virtual Agent Behavior. IVA 2009: 132-145 |
| c158 | | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: A Methodology for Developing Self-explaining Agents for Virtual Training. LADS 2009: 168-182 |
| c157 | | Emiliano Lorini, Mehdi Dastani, Hans P. van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer: Intentions and Assignments. LORI 2009: 198-211 |
| c156 | | Paolo Turrini, Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer: An Update Operator for Strategic Ability. LORI 2009: 292-301 |
| c155 | | Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer: A Methodology for Developing Self-Explaining Agents for Virtual Training. MALLOW 2009 |
| c154 | | Mehdi Dastani, Jaap Brandsema, Amco Dubel, John-Jules Ch. Meyer: Debugging BDI-Based Multi-Agent Programs. PROMAS 2009: 151-169 |
| e6 | | 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. Lecture Notes in Computer Science 5605, Springer 2009, isbn 978-3-642-05300-9 |
| 2008 | ||
| j63 | | |
| j62 | | 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) |
| c153 | | Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk: Personality-Based Practical Reasoning. ArgMAS 2008: 3-18 |
| c152 | | 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 |
| c151 | | Natasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer: Reasoning about agent execution strategies. AAMAS (3) 2008: 1455-1458 |
| c150 | | 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 |
| c149 | | Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer: Mental State Abduction of BDI-Based Agents. DALT 2008: 161-178 |
| c148 | | Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin: Strategic Agent Communication: An Argumentation-Driven Approach. DALT 2008: 233-250 |
| c147 | | Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: A Deontic Logic for Socially Optimal Norms. DEON 2008: 218-232 |
| c146 | | Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer: A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. ECAI 2008: 256-260 |
| c145 | | Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: Organizing Coherent Coalitions. ECAI 2008: 879-880 |
| c144 | | Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer: Magic Agents: Using Information Relevance to Control Autonomy. ECAI 2008: 889-890 |
| c143 | | 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 |
| c142 | | 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 |
| c141 | | Jan Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini: A Logic for Closed-World Interaction. JELIA 2008: 89-99 |
| c140 | | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: Reasoning about Agent Deliberation. KR 2008: 16-26 |
| c139 | | Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier: Normative Multi-agent Programs and Their Logics. KRAMAS 2008: 16-31 |
| c138 | | 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 |
| c137 | | Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: A Verification Framework for Normative Multi-Agent Systems. PRIMA 2008: 54-65 |
| c136 | | Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer: Orwell's Nightmare for Agents? Programming Multi-agent Organisations. ProMAS 2008: 56-71 |
| p3 | | |
| 2007 | ||
| j61 | | 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) |
| j60 | | 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) |
| j59 | | Jamal Bentahar, John-Jules Ch. Meyer: A New Quantitative Trust Model for Negotiating Agents using Argumentation. IJCSA 4(2): 1-21 (2007) |
| j58 | | Jamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban: A security framework for agent-based systems. IJWIS 3(4): 341-362 (2007) |
| j57 | | 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) |
| c135 | | Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer: A Logic of Emotions for Intelligent Agents. AAAI 2007: 142-147 |
| c134 | | Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer: A Logic of Agent Programs. AAAI 2007: 795-800 |
| c133 | | Paolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi: Rational Agents That Blush. ACII 2007: 314-325 |
| c132 | | Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer: Designing protocols for agent institutions. AAMAS 2007: 31 |
| c131 | | Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer, Martijn Neef: A Dynamic Coordination Mechanism Using Adjustable Autonomy. COIN 2007: 83-96 |
| c130 | | Davide Grossi, Frank Dignum, John-Jules Ch. Meyer: A formal road from institutional norms to organizational structures. AAMAS 2007: 89 |
| c129 | | Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer: Practical extensions in agent programming languages. AAMAS 2007: 138 |
| c128 | | Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: A grounded specification language for agent programs. AAMAS 2007: 147 |
| c127 | | 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 |
| c126 | | Patrick Doherty, John-Jules Ch. Meyer: Towards a Delegation Framework for Aerial Robotic Mission Scenarios. CIA 2007: 5-26 |
| c125 | | Davide Grossi, John-Jules Ch. Meyer, Frank Dignum: On the Logic of Constitutive Rules. Normative Multi-agent Systems 2007 |
| c124 | | 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 |
| c123 | | Jamal Bentahar, John-Jules Ch. Meyer, Bernard Moulin: Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach. ITNG 2007: 507-515 |
| c122 | | Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer: Goal Selection Strategies for Rational Agents. LADS 2007: 54-70 |
| c121 | | Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer: From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions. PROMAS 2007: 57-72 |
| c120 | | |
| c119 | | Jamal Bentahar, John-Jules Ch. Meyer: A New Quantitative Trust Model for Negotiating Agents. RCIS 2007: 39-50 |
| c118 | | Jamal Bentahar, John-Jules Ch. Meyer: Model Checking Communicative Agent-Based Systems. SoMeT 2007: 239-265 |
| c117 | | |
| e5 | | Rafael H. Bordini, Mehdi Dastani, John-Jules Ch. Meyer (Eds.): Foundations and Practice of Programming Multi-Agent Systems, 25.06. - 30.06.2006. Dagstuhl Seminar Proceedings 06261, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
| 2006 | ||
| j56 | | |
| j55 | | 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) |
| j54 | | 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) |
| j53 | | 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) |
| c116 | | 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 |
| c115 | | Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer: Can I Please Drop It? Dialogues About Belief Contraction. AC 2006: 227-242 |
| c114 | | M. Birna van Riemsdijk, John-Jules Ch. Meyer: A Compositional Semantics of Plan Revision in Intelligent Agents. AMAST 2006: 353-367 |
| c113 | | 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 |
| c112 | | M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer: Goal-oriented modularity in agent programming. AAMAS 2006: 1271-1278 |
| c111 | | 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 |
| c110 | | Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: Goal types in agent programming. AAMAS 2006: 1285-1287 |
| c109 | | Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer: A New Model Checking Approach for Verifying Agent Communication Protocols. CCECE 2006: 1586-1590 |
| c108 | | M. Birna van Riemsdijk, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer: Prototyping 3APL in the Maude Term Rewriting Language. CLIMA 2006: 95-114 |
| c107 | | Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance: A New Logical Semantics for Agent Communication. CLIMA 2006: 151-170 |
| c106 | | 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 |
| c105 | | 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 |
| c104 | | Davide Grossi, John-Jules Ch. Meyer, Frank Dignum: Counts-as: Classification or Constitution? An Answer Using Modal Logic. DEON 2006: 115-130 |
| c103 | | |
| c102 | | Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: Goal Types in Agent Programming. ECAI 2006: 220-224 |
| c101 | | |
| c100 | | Koen V. Hindriks, John-Jules Ch. Meyer: Agent Logics as Program Logics: Grounding KARO. KI 2006: 404-418 |
| e4 | | 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. Lecture Notes in Computer Science 4048, Springer 2006, isbn 3-540-35842-0 |
| 2005 | ||
| j52 | | 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) |
| j51 | | 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) |
| c99 | | Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer: Semantics of declarative goals in agent programming. AAMAS 2005: 133-140 |
| c98 | | Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer: Verifying Norm Compliancy of Protocols. AAMAS Workshops 2005: 231-245 |
| c97 | | Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer: Norm compliance of protocols in electronic institutions. AAMAS 2005: 1291-1292 |
| c96 | | Geert Jonker, John-Jules Ch. Meyer, Frank Dignum: Efficiency and Fairness in Air Traffic Control. BNAIC 2005: 151-157 |
| c95 | | |
| c94 | | Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer: A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. DALT 2005: 223-244 |
| c93 | | Geert Jonker, John-Jules Ch. Meyer, Frank Dignum: Towards a Market Mechanism for Airport Traffic Control. EPIA 2005: 500-511 |
| c92 | | M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer: Subgoal Semantics in Agent Programming. EPIA 2005: 548-559 |
| c91 | | 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 |
| c90 | | |
| c89 | | Fernando Koch, John-Jules Ch. Meyer, Frank Dignum, Iyad Rahwan: Programming Deliberative Agents for Mobile Services: The 3APL-M Platform. PROMAS 2005: 222-235 |
| p2 | | Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer: Programming Multi-Agent Systems in 3APL. Multi-Agent Programming 2005: 39-67 |
| 2004 | ||
| j50 | | Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer: Dialogue Games for Inconsistent and Biased Information. Electr. Notes Theor. Comput. Sci. 85(2): 134-151 (2004) |
| j49 | | 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) |
| j48 | | Virginia Dignum, Frank Dignum, John-Jules Ch. Meyer: An agent-mediated approach to the support of knowledge sharing in organizations. Knowledge Eng. Review 19(2): 147-174 (2004) |
| c88 | | 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 |
| c87 | | |
| c86 | | Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer: Semantics of Plan Revision in Intelligent Agents. AMAST 2004: 426-442 |
| c85 | | Mehdi Dastani, Birna van Riemsdijk, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer: Enacting and Deacting Roles in Agent Programming. AOSE 2004: 189-204 |
| c84 | | 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 |
| c83 | | 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 |
| c82 | | Mehdi Dastani, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer: Issues in Multiagent System Development. AAMAS 2004: 922-929 |
| c81 | | Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer: A Dialogue Game to Offer an Agreement to Disagree. AAMAS 2004: 1238-1239 |
| c80 | | M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer: Dynamic Logic for Plan Revision in Intelligent Agents. CLIMA 2004: 16-32 |
| c79 | | |
| c78 | | Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa: A Computational Model for Conversation Policies for Agent Communication. CLIMA 2004: 178-195 |
| c77 | | Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer: Dynamics of Declarative Goals in Agent Programming. DALT 2004: 1-18 |
| c76 | | Jan Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer: Designing a Deontic Logic of Deadlines. DEON 2004: 43-56 |
| c75 | | 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 |
| c74 | | |
| c73 | | Frank Dignum, Jan Broersen, Virginia Dignum, John-Jules Ch. Meyer: Meeting the Deadline: Why, When and How. FAABS 2004: 30-40 |
| c72 | | Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer: A Dialogue Game to Offer an Agreement to Disagree. PROMAS 2004: 199-223 |
| e3 | | Mark Dermot Ryan, John-Jules Ch. Meyer, Hans-Dieter Ehrich (Eds.): Objects, Agents, and Features, International Seminar, Dagstuhl Castle, Germany, February 2003, Revised and Invited Papers. Lecture Notes in Computer Science 2975, Springer 2004, isbn 3-540-21989-7 |
| 2003 | ||
| j47 | | 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) |
| j46 | | 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) |
| j45 | | 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) |
| j44 | | 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) |
| j43 | | 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) |
| c71 | | 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 |
| c70 | | 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 |
| c69 | | Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer: Autonomy and Agent Deliberation. Agents and Computational Autonomy 2003: 114-127 |
| c68 | | 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 |
| c67 | | John-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich: Objects, Agents, and Features: An Introduction. Objects, Agents, and Features 2003: 1-7 |
| c66 | | 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 |
| c65 | | John-Jules Ch. Meyer: Intelligent Agents: Issues and Logics. Logics for Emerging Applications of Databases 2003: 131-165 |
| c64 | | Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer: A Programming Language for Cognitive Agents Goal Directed 3APL. PROMAS 2003: 111-130 |
| 2002 | ||
| j42 | | 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) |
| j41 | | 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) |
| c63 | | Virginia Dignum, John-Jules Ch. Meyer, Hans Weigand: Towards an organizational model for agent societies using contracts. AAMAS 2002: 694-695 |
| c62 | | Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer: Iterated belief change in multi-agent systems. AAMAS 2002: 889-896 |
| c61 | | Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen: On Modal Logic Interpretations of Games. ECAI 2002: 28-32 |
| c60 | | 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 |
| c59 | | Virginia Dignum, John-Jules Ch. Meyer, Frank Dignum, Hans Weigand: Formal Specification of Interaction in Agent Societies. FAABS 2002: 37-52 |
| c58 | | |
| c57 | | 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 |
| c56 | | Jan Broersen, John-Jules Ch. Meyer, Roel Wieringa: The mutual exclusion problem in reasoning about action and change. NMR 2002: 365-371 |
| e2 | | John-Jules Ch. Meyer, Milind Tambe (Eds.): Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers. Lecture Notes in Computer Science 2333, Springer 2002, isbn 3-540-43858-0 |
| i1 | | 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) |
| 2001 | ||
| j40 | | 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) |
| j39 | | 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): 245-256 (2001) |
| j38 | | 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) |
| j37 | | 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) |
| j36 | | Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Regular database update logics. Theor. Comput. Sci. 254(1-2): 591-661 (2001) |
| c55 | | |
| c54 | | 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 |
| c53 | | 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 |
| c52 | | 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 |
| 2000 | ||
| j35 | | 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) |
| c51 | | 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 |
| c50 | | 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 |
| c49 | | Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Agent Programming with Declarative Goals. ATAL 2000: 228-243 |
| c48 | | 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 |
| c47 | | Jan Broersen, Roel Wieringa, John-Jules Ch. Meyer: A Semantics for Persistency in Propositional Dynamic Logic. Computational Logic 2000: 912-925 |
| c46 | | 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 |
| c45 | | 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 |
| c44 | | 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 |
| c43 | | 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 |
| 1999 | ||
| j34 | | 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) |
| j33 | | 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) |
| c42 | | 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 |
| c41 | | 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 |
| c40 | | John-Jules Ch. Meyer: Keynote Address: Formal and Informal Aspects of Intelligent Agent-based Systems. ISCO 1999: 299-310 |
| e1 | | John-Jules Ch. Meyer, Pierre-Yves Schobbens (Eds.): Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers. Lecture Notes in Computer Science 1760, Springer 1999, isbn 3-540-67027-0 |
| 1998 | ||
| j32 | | 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): 23 (1998) |
| j31 | | 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) |
| j30 | | 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) |
| c39 | | 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 |
| c38 | | 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 |
| c37 | | John-Jules Ch. Meyer: Agent Languages and Their Relationship to Other Programming Paradigms. ATAL 1998: 309-316 |
| c36 | | 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 |
| c35 | | 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 |
| c34 | | 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 |
| c33 | | Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Systems of Communicating Agents. ECAI 1998: 293-297 |
| c32 | | 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 |
| 1997 | ||
| j29 | | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: The Dynamics of Default Reasoning. Data Knowl. Eng. 21(3): 317-346 (1997) |
| j28 | | 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) |
| c31 | | 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 |
| c30 | | John-Jules Ch. Meyer, Pierre-Yves Schobbens: Formal Models of Agents: An Introduction. ModelAge Workshop 1997: 1-7 |
| c29 | | John-Jules Ch. Meyer, Patrick Doherty: Preferential Action Semantics (Preliminary Report). ModelAge Workshop 1997: 187-201 |
| 1996 | ||
| j27 | | 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) |
| j26 | | 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) |
| j25 | | Frank Dignum, John-Jules Ch. Meyer, Roel Wieringa: Free Choice and Contextually Permitted Actions. Studia Logica 57(1): 193-220 (1996) |
| c28 | | 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 |
| c27 | | John-Jules Ch. Meyer, J. C. van Leeuwen: Possible World Semantics for Analogous Reasoning. FAPR 1996: 414-429 |
| 1995 | ||
| j24 | | John-Jules Ch. Meyer, Wiebe van der Hoek: A Default Logic Based on Epistemic States. Fundam. Inform. 23(1): 33-65 (1995) |
| j23 | | 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) |
| c26 | | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Seeing is Believing. AI*IA 1995: 402-413 |
| c25 | | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Formalising Motivational Attitudes of Agents. ATAL 1995: 17-32 |
| c24 | | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: The Dynamics of Default Reasoning (Extended Abstract). ECSQARU 1995: 277-284 |
| c23 | | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Actions That Make You Change Your Mind (Extended Abstract). KI 1995: 185-196 |
| 1994 | ||
| c22 | | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Tests as Epistemic Updates. ECAI 1994: 331-335 |
| c21 | | 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 |
| c20 | | Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer: Communicating Rational Agents. KI 1994: 202-213 |
| c19 | | Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer: A Logic of Capabilities. LFCS 1994: 366-378 |
| c18 | | Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur: Formal Semantics of Temporal Epistemic Reflection. META 1994: 332-352 |
| c17 | | M. van Hulst, John-Jules Ch. Meyer: An Epistemic Proof System for Parallel Processes. TARK 1994: 243-254 |
| 1993 | ||
| j22 | | Roel Wieringa, John-Jules Ch. Meyer: Actors, Actions, and Initiative in Normative System Specification. Ann. Math. Artif. Intell. 7(1-4): 289-346 (1993) |
| j21 | | John-Jules Ch. Meyer, Wiebe van der Hoek: Counterfactual Reasoning by (means of) Defaults. Ann. Math. Artif. Intell. 9(3-4): 345-360 (1993) |
| c16 | | John-Jules Ch. Meyer, Wiebe van der Hoek: A Default Logic Based on Epistemic States. ECSQARU 1993: 265-273 |
| 1992 | ||
| j20 | | 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) |
| c15 | | Paul Spruit, Roel Wieringa, John-Jules Ch. Meyer: Dynamic Database Logic: the First-order Case. FMLDO 1992: 103-120 |
| c14 | | |
| c13 | | 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 |
| 1991 | ||
| j19 | | 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) |
| c12 | | Paul Spruit, John-Jules Ch. Meyer: Declarative Semantics of Passive and Active Updates in Logic Databases. FMLDO 1991: 37-46 |
| c11 | | Paul Spruit, John-Jules Ch. Meyer, Roel Wieringa: Discussion Issues for a Working Group on Update Semantics of Logic Databases. FMLDO 1991: 209-210 |
| c10 | | Roel Wieringa, John-Jules Ch. Meyer: Actor-Oriented Specification of Deontic Integrity Constraints. MFDBS 1991: 89-103 |
| c9 | | John-Jules Ch. Meyer, Roel Wieringa: Actor-Oriented System Specification with Dynamic Logic. TAPSOFT, Vol.2 1991: 337-357 |
| 1990 | ||
| c8 | | John-Jules Ch. Meyer, Wiebe van der Hoek: Non-Monotonic Reasoning by Monotonic Means. JELIA 1990: 399-411 |
| 1989 | ||
| j18 | | John-Jules Ch. Meyer, Ernst-Rüdiger Olderog: Hiding in Stream Semantics of Uniform Concurrency. Acta Inf. 27(5): 381-397 (1989) |
| j17 | | John-Jules Ch. Meyer, Erik P. de Vink: Step Semantics for "True" Concurrency with Recursion. Distributed Computing 3(3): 130-145 (1989) |
| j16 | | Roel Wieringa, John-Jules Ch. Meyer, Hans Weigand: Specifying Dynamic and Deontic Integrity Constraints. Data Knowl. Eng. 4: 157-189 (1989) |
| c7 | | John-Jules Ch. Meyer, Erik P. de Vink: Pomset Semantics for True Concurrency with Synchronization and Recursion (Extended Abstract). MFCS 1989: 360-369 |
| c6 | | John-Jules Ch. Meyer, Hans Weigand, Roel Wieringa: A Specification Language for Static, Dynamic and Deontic Integrity Constraints. MFDBS 1989: 347-366 |
| 1988 | ||
| j15 | | |
| j14 | | 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) |
| j13 | | 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 | ||
| j12 | | 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) |
| j11 | | John-Jules Ch. Meyer: Process modalities obtained as fixed points (Part one). Bulletin of the EATCS 32: 98-106 (1987) |
| j10 | | John-Jules Ch. Meyer: Process modalities obtained as fixed points (part 2). Bulletin of the EATCS 33: 71-82 (1987) |
| j9 | | 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) |
| c5 | | 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 |
| 1986 | ||
| j8 | | John-Jules Ch. Meyer: Merging Regular Processes by Means of Fixed-Point Theory. Theor. Comput. Sci. 45(2): 193-260 (1986) |
| p1 | | 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 |
| 1985 | ||
| c4 | | 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 |
| c3 | | 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 | ||
| j7 | | Jan A. Bergstra, John-Jules Ch. Meyer: On Specifying Sets of Integers. Elektronische Informationsverarbeitung und Kybernetik 20(10/11): 531-541 (1984) |
| j6 | | J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker: On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 29: 229-230 (1984) |
| j5 | | 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 | ||
| j4 | | J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker: On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 26: 53-82 (1983) |
| c2 | | 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 |
| 1982 | ||
| j3 | | Jan A. Bergstra, John-Jules Ch. Meyer: A Simple Transfer Lemma for Algebraic Specifications. Inf. Process. Lett. 14(2): 80-85 (1982) |
| j2 | | 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 | ||
| j1 | | Jan A. Bergstra, John-Jules Ch. Meyer: On the quantifier-free fragment of 'Logic of effective definitions'. Fundam. Inform. 4(4): 935-956 (1981) |
| c1 | | J. W. de Bakker, Jan Willem Klop, John-Jules Ch. Meyer: Correctness of Programs with Function Procedures. Logic of Programs 1981: 94-112 |
Colors in the list of coauthors
Last update Sat May 18 13:52:09 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page