Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohn-Jules Ch. Meyer
John-Jules Charles Meyer
Person information
- affiliation: Utrecht University, Department of Information and Computing Sciences, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 1995
[b1]John-Jules Charles Meyer, Wiebe van der Hoek:
Epistemic logic for AI and computer science. Cambridge tracts in theoretical computer science 41, Cambridge University Press 1995, ISBN 978-0-521-46014-9, pp. I-XIII, 1-354
Journal Articles
- 2023
- [j92]Vincent de Wit, Dragan Doder, John-Jules Ch. Meyer:
Probabilistic Deontic Logics for Reasoning about Uncertain Norms. FLAP 10(2): 193-220 (2023) - 2019
- [j91]Jieting Luo, John-Jules Ch. Meyer, Max Knobbout:
A formal framework for reasoning about opportunistic propensity in multi-agent systems. Auton. Agents Multi Agent Syst. 33(4): 457-479 (2019) - 2017
- [j90]Jieting Luo, John-Jules Ch. Meyer:
A formal account of opportunism based on the situation calculus. AI Soc. 32(4): 527-542 (2017) - [j89]Sjoerd T. Timmer
, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
A two-phase method for extracting explanatory arguments from Bayesian networks. Int. J. Approx. Reason. 80: 475-494 (2017) - 2016
- [j88]Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer:
General directionality and the local behavior of argumentation semantics. AI Commun. 29(1): 3-16 (2016) - 2015
- [j87]Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leon van der Torre, Holger Voos:
Retalis Language for Information Engineering in Autonomous Robot Software. FLAP 2(2): 65-126 (2015) - [j86]Paolo Turrini, Davide Grossi, Jan M. Broersen, John-Jules Ch. Meyer:
Forbidding undesirable agreements. J. Log. Comput. 25(1): 159-178 (2015) - 2014
- [j85]Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx:
The design and effect of automated directions during scenario-based training. Comput. Educ. 70: 173-183 (2014) - 2013
- [j84]Erik D. Van der Spek, Herre van Oostendorp, John-Jules Ch. Meyer:
Introducing surprising events can stimulate deep learning in a serious game. Br. J. Educ. Technol. 44(1): 156-169 (2013) - [j83]Olivier Boissier, Marco Colombetti, Michael Luck, John-Jules Ch. Meyer, Axel Polleres:
Norms, organizations, and semantics. Knowl. Eng. Rev. 28(1): 107-116 (2013) - [j82]Mehdi Dastani, John-Jules Ch. Meyer, Davide Grossi:
A logic for normative multi-agent programs. J. Log. Comput. 23(2): 335-354 (2013) - [j81]Lacramioara Astefanoaei, Frank S. de Boer, Mehdi Dastani, John-Jules Ch. Meyer:
A weakest precondition calculus for BUnity. Sci. Comput. Program. 78(9): 1278-1293 (2013) - [j80]Rainer Reisenzein, Eva Hudlicka, Mehdi Dastani, Jonathan Gratch, Koen V. Hindriks, Emiliano Lorini, John-Jules Ch. Meyer:
Computational Modeling of Emotion: Toward Improving the Inter- and Intradisciplinary Exchange. IEEE Trans. Affect. Comput. 4(3): 246-266 (2013) - 2012
- [j79]Mehdi Dastani, John-Jules Ch. Meyer, Nick A. M. Tinnemeier:
Programming norm change. J. Appl. Non Class. Logics 22(1-2): 151-180 (2012) - [j78]Paolo Turrini, Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer:
Regulating competing coalitions: a logic for socially optimal group choices. J. Appl. Non Class. Logics 22(1-2): 181-202 (2012) - [j77]Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
A formal model of emotion triggers: an approach for BDI agents. Synth. 185(Supplement-1): 83-129 (2012) - [j76]Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer:
Modeling agents with a theory of mind: Theory-theory versus simulation theory. Web Intell. Agent Syst. 10(3): 331-343 (2012) - 2011
- [j75]Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
Reasoning about agent deliberation. Auton. Agents Multi Agent Syst. 22(2): 356-381 (2011) - [j74]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) - 2010
- [j73]Paolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi:
Coping with shame and sense of guilt: a Dynamic Logic Account. Auton. Agents Multi Agent Syst. 20(3): 401-420 (2010) - [j72]Mehdi Dastani, John-Jules Ch. Meyer:
Agents with emotions. Int. J. Intell. Syst. 25(7): 636-654 (2010) - [j71]Joost Broekens, Catholijn M. Jonker, John-Jules Ch. Meyer:
Affective negotiation support systems. J. Ambient Intell. Smart Environ. 2(2): 121-144 (2010) - [j70]Maaike Harbers, John-Jules Ch. Meyer, Karel van den Bosch:
Explaining Simulations Through Self Explaining Agents. J. Artif. Soc. Soc. Simul. 13(1) (2010) - 2009
- [j69]M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer:
Goals in conflict: semantic foundations of goals in agent programming. Auton. Agents Multi Agent Syst. 18(3): 471-500 (2009) - [j68]Koen V. Hindriks, John-Jules Ch. Meyer:
Toward a programming theory for rational agents. Auton. Agents Multi Agent Syst. 19(1): 4-29 (2009) - [j67]Wieke de Vries, John-Jules Ch. Meyer, Frank S. de Boer, Wiebe van der Hoek:
A coordination language for agents interacting in distributed plan-execute cycles. Int. J. Reason. based Intell. Syst. 1(1/2): 4-17 (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. Univers. Comput. Sci. 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 M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
Determining the environment: a modal logic for closed interaction. Synth. 169(2): 351-369 (2009) - 2008
- [j63]Lou Goble, John-Jules Ch. Meyer:
Editorial. J. Appl. Log. 6(2): 133-134 (2008) - [j62]Davide Grossi, John-Jules Ch. Meyer, Frank Dignum:
The many faces of counts-as: A formal analysis of constitutive rules. J. Appl. Log. 6(2): 192-217 (2008) - 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. Appl. 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. Int. J. Agent Oriented Softw. Eng. 1(1): 63-90 (2007) - [j59]Jamal Bentahar, John-Jules Ch. Meyer:
A New Quantitative Trust Model for Negotiating Agents using Argumentation. Int. J. Comput. Sci. Appl. 4(2): 1-21 (2007) - [j58]Jamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, Jihad Labban:
A security framework for agent-based systems. Int. J. Web Inf. Syst. 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. Appl. Log. 5(2): 277-302 (2007) - 2006
- [j56]John-Jules Ch. Meyer:
Reasoning about emotional agents. Int. J. Intell. Syst. 21(6): 601-619 (2006) - [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) - 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) - 2004
- [j51]Huib Aldewereld, Wiebe van der Hoek, John-Jules Ch. Meyer:
Rational Teams: Logical Aspects of Multi-Agent Systems. Fundam. Informaticae 63(2-3): 159-183 (2004) - [j50]Virginia Dignum, Frank Dignum, John-Jules Ch. Meyer:
An agent-mediated approach to the support of knowledge sharing in organizations. Knowl. Eng. Rev. 19(2): 147-174 (2004) - [j49]Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink:
Update Semantics of Security Protocols. Synth. 142(2): 229-267 (2004) - 2003
- [j48]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
A Verification Framework for Agent Communication. Auton. Agents Multi Agent Syst. 6(2): 185-219 (2003) - [j47]Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen:
A Modal Characterization of Nash Equilibrium. Fundam. Informaticae 57(2-4): 281-321 (2003) - [j46]Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer:
Iterated Belief Change in Multi-Agent Systems. Log. J. IGPL 11(2): 223-246 (2003) - [j45]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) - [j44]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
- [j43]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. Artif. Intell. Medicine 25(1): 89-92 (2002) - 2001
- [j42]Jan M. Broersen, Roel J. Wieringa, John-Jules Ch. Meyer:
A Fixed-point Characterization of a Deontic Logic of Regular Action. Fundam. Informaticae 48(2-3): 107-128 (2001) - [j41]John-Jules Ch. Meyer, Frank S. de Boer, Rogier M. van Eijk, Koen V. Hindriks, Wiebe van der Hoek:
On Programming KARO Agents. Log. J. IGPL 9(2): 245-256 (2001) - [j40]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) - [j39]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) - [j38]Paul Spruit, Roel J. Wieringa, John-Jules Ch. Meyer:
Regular database update logics. Theor. Comput. Sci. 254(1-2): 591-661 (2001) - 2000
- [j37]Wiebe van der Hoek, Bernd van Linder, John-Jules Ch. Meyer:
On Agents That Have the Ability to Choose. Stud Logica 66(1): 79-119 (2000) - 1999
- [j36]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent Programming in 3APL. Auton. Agents Multi Agent Syst. 2(4): 357-401 (1999) - [j35]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) - 1998
- [j34]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Formalising Abilities and Opportunities of Agents. Fundam. Informaticae 34(1-2): 53-101 (1998) - [j33]Linda C. van der Gaag, John-Jules Ch. Meyer:
Informational independence: Models and normal forms. Int. J. Intell. Syst. 13(1): 83-109 (1998) - [j32]Wiebe van der Hoek, John-Jules Ch. Meyer, Jan Treur:
Temporalizing Epistemic Default Logic. J. Log. Lang. Inf. 7(3): 341-367 (1998) - 1997
- [j31]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
The Dynamics of Default Reasoning. Data Knowl. Eng. 21(3): 317-346 (1997) - [j30]Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer:
Seeing Is Believing. J. Log. Lang. Inf. 6(1): 33-61 (1997) - 1996
- [j29]P. d'Altan, John-Jules Ch. Meyer, Roel J. Wieringa:
An Integrated Framework for Ought-to-Be and Ought-to-Do Constraints. Artif. Intell. Law 4(2): 77-111 (1996) - [j28]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) - [j27]Frank Dignum, John-Jules Ch. Meyer, Roel J. Wieringa:
Free Choice and Contextually Permitted Actions. Stud Logica 57(1): 193-220 (1996) - 1995
- [j26]John-Jules Ch. Meyer, Wiebe van der Hoek:
A Default Logic Based on Epistemic States. Fundam. Informaticae 23(1): 33-65 (1995) - [j25]Paul Spruit, Roel J. 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) - 1993
- [j24]Roel J. Wieringa, John-Jules Ch. Meyer:
Actors, Actions, and Initiative in Normative System Specification. Ann. Math. Artif. Intell. 7(1-4): 289-346 (1993) - [j23]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
- [j22]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
- [j21]Roel J. 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
- [j20]John-Jules Ch. Meyer, Ernst-Rüdiger Olderog:
Hiding in Stream Semantics of Uniform Concurrency. Acta Informatica 27(5): 381-397 (1990) - 1989
- [j19]John-Jules Ch. Meyer, Erik P. de Vink:
Step Semantics for "True" Concurrency with Recursion. Distributed Comput. 3(3): 130-145 (1989) - [j18]Roel J. Wieringa, John-Jules Ch. Meyer, Hans Weigand:
Specifying Dynamic and Deontic Integrity Constraints. Data Knowl. Eng. 4: 157-189 (1989) - 1988
- [j17]J. W. de Bakker, John-Jules Ch. Meyer:
Metric Semantics for Concurrency. BIT 28(3): 504-529 (1988) - [j16]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) - [j15]John-Jules Ch. Meyer:
A different approach to deontic logic: deontic logic viewed as a variant of dynamic logic. Notre Dame J. Formal Log. 29(1): 109-136 (1988) - [j14]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
- [j13]J. W. de Bakker, John-Jules Ch. Meyer:
Order and Metric in the Stream Semantics of Elemental Concurrency. Acta Informatica 24(5): 491-511 (1987) - [j12]John-Jules Ch. Meyer:
Process modalities obtained as fixed points (Part one). Bull. EATCS 32: 98-106 (1987) - [j11]John-Jules Ch. Meyer:
Process modalities obtained as fixed points (part 2). Bull. EATCS 33: 71-82 (1987) - [j10]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
- [j9]John-Jules Ch. Meyer:
Merging Regular Processes by Means of Fixed-Point Theory. Theor. Comput. Sci. 45(2): 193-260 (1986) - 1984
- [j8]Jan A. Bergstra, John-Jules Ch. Meyer:
On Specifying Sets of Integers. J. Inf. Process. Cybern. 20(10/11): 531-541 (1984) - [j7]J. W. de Bakker, John-Jules Ch. Meyer, Jeffery I. Zucker:
On Infinite Computations in Denotational Semantics. Theor. Comput. Sci. 29: 229-230 (1984) - [j6]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
- [j5]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
- [j4]Jan A. Bergstra, John-Jules Ch. Meyer:
A Simple Transfer Lemma for Algebraic Specifications. Inf. Process. Lett. 14(2): 80-85 (1982) - [j3]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
- [j2]Jan A. Bergstra, John-Jules Ch. Meyer:
On the quantifier-free fragment of 'Logic of effective definitions'. Fundam. Informaticae 4(4): 935-956 (1981) - [j1]Jan A. Bergstra, John-Jules Ch. Meyer:
I/O-computable data structures. ACM SIGPLAN Notices 16(4): 27-32 (1981)
Conference and Workshop Papers
- 2021
- [c259]Vincent de Wit, Dragan Doder, John-Jules Ch. Meyer:
A Probabilistic Deontic Logic. ECSQARU 2021: 616-628 - 2020
- [c258]Jieting Luo, John-Jules Ch. Meyer, Max Knobbout:
A Formal Framework for Reasoning about Opportunistic Propensity in Multi-agent Systems. AAMAS 2020: 2149-2151 - 2018
- [c257]Jieting Luo, Max Knobbout, John-Jules Ch. Meyer:
Eliminating Opportunism using an Epistemic Mechanism. AAMAS 2018: 1450-1458 - 2017
- [c256]Jieting Luo, John-Jules Ch. Meyer, Max Knobbout:
Reasoning About Opportunistic Propensity in Multi-agent Systems. AAMAS Workshops (Selected Papers) 2017: 203-221 - [c255]Mehdi Dastani, Emiliano Lorini, John-Jules Ch. Meyer, Alexander Pankov:
Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires. AAMAS 2017: 1520-1522 - [c254]Jieting Luo, John-Jules Ch. Meyer, Max Knobbout:
Towards a Framework for Predicting Opportunism in Multi-agent Systems. AAMAS 2017: 1616-1618 - [c253]Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer:
A Dynamic Preference Logic for Reasoning about Agent Programming. BRACIS 2017: 133-138 - [c252]Leo van Moergestel, John-Jules Ch. Meyer:
Is Knowledge of Mathematics a Key for Success for Studying ICT? ICTERI 2017: 223-228 - [c251]Leo van Moergestel, Hylco Uding, Nathan Schaaphuizen, Daan Leijen, Daniel van den Berg, Hendrik Cornelisse, Matthijs Veldhuizen, Martijn van der Struijk, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer:
A Versatile Simulation Model of Agile Production by Autonomous Systems. ISADS 2017: 77-83 - [c250]Mehdi Dastani, Emiliano Lorini, John-Jules Ch. Meyer, Alexander Pankov:
Other-Condemning Anger = Blaming Accountable Agents for Unattainable Desires. PRIMA 2017: 15-33 - 2016
- [c249]Jieting Luo, John-Jules Ch. Meyer, Max Knobbout:
Monitoring Opportunism in Multi-agent Systems. COIN@AAMAS/ECAI 2016: 119-138 - [c248]Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer:
Formal Frameworks for Verifying Normative Multi-agent Systems. Theory and Practice of Formal Methods 2016: 294-308 - [c247]Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer:
A Dynamic Logic of Norm Change. ECAI 2016: 886-894 - [c246]Jieting Luo, John-Jules Ch. Meyer, Max Knobbout:
Towards a Framework for Detecting Opportunism in Multi-Agent Systems. ECAI 2016: 1636-1637 - [c245]Leo van Moergestel, Melvin van den Berg, Marco Knol, Rick van der Paauw, Kasper van Voorst, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer:
Internet of Smart Things - A Study on Embedding Agents and Information in a Device. ICAART (1) 2016: 102-109 - [c244]Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer:
Preference and Priorities: A Study Based on Contrction. KR 2016: 155-165 - [c243]Marieke M. M. Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx:
Agent-Based Personalisation and User Modeling for Personalised Educational Games. UMAP 2016: 303-304 - 2015
- [c242]Luca Gasparini, Timothy J. Norman, Martin J. Kollingbaum, Liang Chen, John-Jules Ch. Meyer:
CÒIR: Verifying Normative Specifications of Complex Systems. COIN@AAMAS/IJCAI 2015: 134-153 - [c241]Jieting Luo, John-Jules Ch. Meyer, Frank Dignum:
On Formalizing Opportunism Based on Situation Calculus. CARE/MFSC@AAMAS 2015: 147-166 - [c240]Luca Gasparini, Timothy J. Norman, Martin J. Kollingbaum, Liang Chen, John-Jules Ch. Meyer:
Verifying Normative System Specification containing Collective Imperatives and Deadlines. AAMAS 2015: 1821-1822 - [c239]Andreea Urzica, John-Jules Ch. Meyer, Bas Testerink:
Organizational Replication Using Inheritance. CSCS 2015: 300-306 - [c238]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
Explaining Bayesian Networks Using Argumentation. ECSQARU 2015: 83-92 - [c237]Tinka R. A. Giele, Tina Mioch, Mark A. Neerincx, John-Jules Ch. Meyer:
Dynamic Task Allocation for Human-robot Teams. ICAART (1) 2015: 117-124 - [c236]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
A structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. ICAIL 2015: 109-118 - [c235]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
Demonstration of a structure-guided approach to capturing bayesian reasoning about legal evidence in argumentation. ICAIL 2015: 233-234 - [c234]Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer:
Implementing Manufacturing as a Service: A Pull-Driven Agent-Based Manufacturing Grid. ICTERI 2015: 172-187 - [c233]Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer:
Implementation of an Agent-Based Manufacturing Grid. ISADS 2015: 101-108 - [c232]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
Explaining Legal Bayesian Networks Using Support Graphs. JURIX 2015: 121-130 - [c231]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
Capturing Critical Questions in Bayesian Network Fragments: - Extended abstract. JURIX 2015: 173-176 - [c230]Jieting Luo, Frank Dignum, John-Jules Ch. Meyer:
Towards A Formal Model of Opportunism Based on Situation Calculus. MATES 2015: 275-279 - [c229]Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer:
Integrating Ontology Negotiation and Agent Communication. OWLED 2015: 56-68 - [c228]Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer:
Communication for Agents with Ontological Reasoning. WI-IAT (2) 2015: 182-185 - 2014
- [c227]Pouyan Ziafati, Yehia Elrakaiby, Marc van Zee, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre, Holger Voos:
Reasoning on Robot Knowledge from Discrete and Asynchronous Observations. AAAI Spring Symposia 2014 - [c226]Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, John-Jules Ch. Meyer:
Neural-symbolic cognitive agents: architecture, theory and application. AAMAS 2014: 1621-1622 - [c225]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
A Tool for the Generation of Arguments from Bayesian Networks. COMMA 2014: 479-480 - [c224]Ruurdje Procee, Bart A. Kamphorst, Arlette van Wissen, John-Jules Ch. Meyer:
An Agent-Based Model of Procrastination. ECAI 2014: 747-752 - [c223]Marc van Zee, Patrick Doherty, John-Jules Ch. Meyer:
Encoding Definitional Fragments of Temporal Action Logic into Logic Programming. DARe@ECAI 2014 - [c222]Bas Testerink, Mehdi Dastani, John-Jules Ch. Meyer:
Norm Monitoring Through Observation Sharing. ECSI 2014: 291-304 - [c221]Myrthe Tielman, Mark A. Neerincx, John-Jules Ch. Meyer, Rosemarijn Looije:
Adaptive emotional expression in robot-child interaction. HRI 2014: 407-414 - [c220]Leo van Moergestel, Daniël Telgen, Erik Puik, John-Jules Ch. Meyer:
Agent-based Manufacturing in a Production Grid - Adapting a Production Grid to the Production Paths. ICAART (1) 2014: 342-349 - [c219]Leo van Moergestel, Lukas Vermond, Kasper van Nieuwland, John-Jules Ch. Meyer:
A Demo Processor as an Educational Tool. ICTERI 2014: 161-177 - [c218]Leo de Penning, Artur S. d'Avila Garcez, Luís C. Lamb, Arjan Stuiver, John-Jules Ch. Meyer:
Applying Neural-Symbolic Cognitive Agents in Intelligent Transport Systems to reduce CO2 emissions. IJCNN 2014: 55-62 - [c217]Max Knobbout, Mehdi Dastani, John-Jules Ch. Meyer:
Reasoning about Dynamic Normative Systems. JELIA 2014: 628-636 - [c216]Sjoerd T. Timmer, John-Jules Ch. Meyer, Henry Prakken, Silja Renooij, Bart Verheij:
Extracting Legal Arguments from Forensic Bayesian Networks. JURIX 2014: 71-80 - [c215]Gwendolijn Y. R. Schropp, John-Jules Ch. Meyer, Subramanian Ramamoorthy:
A Formalization of the Coach Problem. RoboCup 2014: 345-357 - 2013
- [c214]Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre:
Event-processing in autonomous robot programming. AAMAS 2013: 95-102 - [c213]Bas Testerink, Mehdi Dastani, John-Jules Ch. Meyer:
Norms in Distributed Organizations. COIN@AAMAS/PRIMA 2013: 120-135 - [c212]Leo van Moergestel, Wouter Langerak, Glenn Meerstra, Niels van Nieuwenburg, Franc Pape, Daniël Telgen, Erik Puik, John-Jules Ch. Meyer:
Agents in Domestic Environments. CSCS 2013: 487-494 - [c211]Gwen R. Ferdinandus, Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer:
Automated Scenario Generation - Coupling Planning Techniques with Smart Objects. CSEDU 2013: 76-81 - [c210]Ivana Cace, John-Jules Ch. Meyer, Carla Pieterman, Gerlof Valk:
Encapsulated Models for Reasoning and Decision Support. GI-Jahrestagung 2013: 1821-1833 - [c209]Daniël Telgen, Leo van Moergestel, Erik Puik, Arjen van Zanten, Ammar Abdulamir, John-Jules Ch. Meyer:
Automatic Structured Decomposition of Manufacturing Actions in an Agent-Based Manufacturing System. IAT 2013: 155-162 - [c208]Leo van Moergestel, Erik Puik, Daniël Telgen, Rick van Rijn, Benjamin Segerius, John-Jules Ch. Meyer:
A Multiagent-Based Agile Work Distribution System. IAT 2013: 224-230 - [c207]Leo van Moergestel, Erik Puik, Daniël Telgen, Hendrik Folmer, Matthijs Grünbauer, Robbert Proost, Hielke Veringa, John-Jules Ch. Meyer:
Monitoring Agents in Complex Products - Enhancing a Discovery Robot with an Agent for Monitoring, Maintenance and Disaster Prevention. ICAART (2) 2013: 5-13 - [c206]Leo van Moergestel, Erik Puik, Daniël Telgen, Hendrik Folmer, Matthijs Grünbauer, Robbert Proost, Hielke Veringa, John-Jules Ch. Meyer:
Enhancing Products by Embedding Agents: Adding an Agent to a Robot for Monitoring, Maintenance and Disaster Prevention. ICAART (Revised Selected Papers) 2013: 115-130 - [c205]Leo de Penning, Artur S. d'Avila Garcez, John-Jules Ch. Meyer:
Dreaming Machines: On multimodal fusion and information retrieval using neural-symbolic cognitive agents. ICCSW 2013: 89-94 - [c204]Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer:
Embedded autonomous agents in products supporting repair and recycling. ISADS 2013: 1-8 - [c203]Leo van Moergestel, Daniël Telgen, Erik Puik, John-Jules Ch. Meyer:
A Versatile Agile Agent-Based Infrastructure for Hybrid Production Environments. MIM 2013: 210-215 - 2012
- [c202]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 - [c201]Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer:
General Directionality and the Local Behavior of Argumentation Semantics. AT 2012: 113-127 - [c200]Koen V. Hindriks, Wiebe van der Hoek, John-Jules Ch. Meyer:
GOAL Agents Instantiate Intention Logic. Logic Programs, Norms and Action 2012: 196-219 - [c199]Cristian Gratie, Adina Magda Florea, John-Jules Ch. Meyer:
Full Hybrid μ-Calculus, Its Bisimulation Invariance and Application to Argumentation. CLIMA 2012: 181-194 - [c198]Leo van Moergestel, Erik Puik, Daniël Telgen, John-Jules Ch. Meyer:
Production Scheduling in an Agile Agent-Based Production Grid. IAT 2012: 293-298 - [c197]Leo van Moergestel, John-Jules Ch. Meyer:
Generating Phonemes from Written Thai using Lexical Analysis based on Regular Expressions. ICAART (1) 2012: 306-311 - [c196]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 - [c195]Pouyan Ziafati, Mehdi Dastani, John-Jules Ch. Meyer, Leendert W. N. van der Torre:
Agent Programming Languages Requirements for Programming Autonomous Robots. ProMAS 2012: 35-53 - 2011
- [c194]Marieke Peeters, Karel van den Bosch, John-Jules Ch. Meyer, Mark A. Neerincx:
Scenario-Based Training: Director's Cut. AIED 2011: 264-271 - [c193]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 - [c192]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 - [c191]Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer:
Programming mental state abduction. AAMAS 2011: 301-308 - [c190]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 - [c189]D. Hohle, C. R. C. Pieterman, G. D. Valk, A. R. Hermus, H. P. F. Koppeschaar, John-Jules Ch. Meyer, R. P. J. de Lange:
Classifying the decision to perform surgery in MEN1 cancer patients using decision trees. CBMS 2011: 1-6 - [c188]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 - [c187]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 - [c186]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 - [c185]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 - [c184]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 - [c183]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 - [c182]Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer:
A Theoretical Framework for Explaining Agent Behavior. SIMULTECH 2011: 228-231 - 2010
- [c181]Eric M. Kok, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
A Formal Argumentation Framework for Deliberation Dialogues. ArgMAS 2010: 31-48 - [c180]Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
Arguing about Preferences and Decisions. ArgMAS 2010: 68-85 - [c179]Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer:
Programming norm change. AAMAS 2010: 957-964 - [c178]Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
Emotions to control agent deliberation. AAMAS 2010: 973-980 - [c177]Paolo Turrini, Davide Grossi, Jan M. Broersen, John-Jules Ch. Meyer:
Forbidding Undesirable Agreements: A Dependence-Based Approach to the Regulation of Multi-agent Systems. DEON 2010: 306-322 - [c176]Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer:
Mental State Ascription Using Dynamic Logic. ECAI 2010: 561-566 - [c175]Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer:
Design and Evaluation of Explainable BDI Agents. IAT 2010: 125-132 - [c174]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 - [c173]Michal P. Sindlar, John-Jules Ch. Meyer:
Affordance-Based Intention Recognition in Virtual Spatial Environments. PRIMA 2010: 304-319 - 2009
- [c172]Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
Practical Reasoning Using Values. ArgMAS 2009: 79-93 - [c171]Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer:
Roles and norms for programming agent organizations. AAMAS (1) 2009: 121-128 - [c170]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 - [c169]Louise A. Dennis, Nick A. M. Tinnemeier, John-Jules Ch. Meyer:
Model Checking Normative Agent Organisations. CLIMA 2009: 64-82 - [c168]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 - [c167]Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
A Formal Model of Emotion-Based Action Tendency for Intelligent Agents. EPIA 2009: 174-186 - [c166]Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer:
Autonomy and Coordination: Controlling External Influences on Decision Making. IAT 2009: 92-95 - [c165]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 - [c164]Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer:
Modeling Agents with a Theory of Mind. IAT 2009: 217-224 - [c163]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 - [c162]Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
Strategic Ability Update: A Modal Logic Account. Web Intelligence/IAT Workshops 2009: 470-473 - [c161]Michal P. Sindlar, Mehdi Dastani, John-Jules Ch. Meyer:
BDI-Based Development of Virtual Characters with a Theory of Mind. IVA 2009: 34-41 - [c160]Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer:
A Study into Preferred Explanations of Virtual Agent Behavior. IVA 2009: 132-145 - [c159]Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer:
A Methodology for Developing Self-explaining Agents for Virtual Training. LADS 2009: 168-182 - [c158]Emiliano Lorini, Mehdi Dastani, Hans van Ditmarsch, Andreas Herzig, John-Jules Ch. Meyer:
Intentions and Assignments. LORI 2009: 198-211 - [c157]Paolo Turrini, Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer:
An Update Operator for Strategic Ability. LORI 2009: 292-301 - [c156]Maaike Harbers, Karel van den Bosch, John-Jules Ch. Meyer:
A Methodology for Developing Self-Explaining Agents for Virtual Training. MALLOW 2009 - [c155]Mehdi Dastani, Jaap Brandsema, Amco Dubel, John-Jules Ch. Meyer:
Debugging BDI-Based Multi-Agent Programs. PROMAS 2009: 151-169 - 2008
- [c154]Thomas L. van der Weide, Frank Dignum, John-Jules Ch. Meyer, Henry Prakken, Gerard Vreeswijk:
Personality-Based Practical Reasoning. ArgMAS 2008: 3-18 - [c153]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 - [c152]Natasha Alechina, Brian Logan, Mehdi Dastani, John-Jules Ch. Meyer:
Reasoning about agent execution strategies. AAMAS (3) 2008: 1455-1458 - [c151]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 - [c150]Michal P. Sindlar, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer:
Mental State Abduction of BDI-Based Agents. DALT 2008: 161-178 - [c149]Jamal Bentahar, Mohamed Mbarki, John-Jules Ch. Meyer, Bernard Moulin:
Strategic Agent Communication: An Argumentation-Driven Approach. DALT 2008: 233-250 - [c148]Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
A Deontic Logic for Socially Optimal Norms. DEON 2008: 218-232 - [c147]Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. ECAI 2008: 256-260 - [c146]Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
Organizing Coherent Coalitions. ECAI 2008: 879-880 - [c145]Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer:
Magic Agents: Using Information Relevance to Control Autonomy. ECAI 2008: 889-890 - [c144]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 - [c143]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 - [c142]Jan M. Broersen, Rosja Mastop, John-Jules Ch. Meyer, Paolo Turrini:
A Logic for Closed-World Interaction. JELIA 2008: 89-99 - [c141]Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
Reasoning about Agent Deliberation. KR 2008: 16-26 - [c140]Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier:
Normative Multi-agent Programs and Their Logics. KRAMAS 2008: 16-31 - [c139]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 - [c138]Lacramioara Astefanoaei, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer:
A Verification Framework for Normative Multi-Agent Systems. PRIMA 2008: 54-65 - [c137]Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer:
Orwell's Nightmare for Agents? Programming Multi-agent Organisations. ProMAS 2008: 56-71 - 2007
- [c136]Bas R. Steunebrink, Mehdi Dastani, John-Jules Ch. Meyer:
A Logic of Emotions for Intelligent Agents. AAAI 2007: 142-147 - [c135]Natasha Alechina, Mehdi Dastani, Brian Logan, John-Jules Ch. Meyer:
A Logic of Agent Programs. AAAI 2007: 795-800 - [c134]Paolo Turrini, John-Jules Ch. Meyer, Cristiano Castelfranchi:
Rational Agents That Blush. ACII 2007: 314-325 - [c133]Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer:
Designing protocols for agent institutions. AAMAS 2007: 31 - [c132]Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer, Martijn Neef:
A Dynamic Coordination Mechanism Using Adjustable Autonomy. COIN 2007: 83-96 - [c131]Davide Grossi, Frank Dignum, John-Jules Ch. Meyer:
A formal road from institutional norms to organizational structures. AAMAS 2007: 89 - [c130]Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer:
Practical extensions in agent programming languages. AAMAS 2007: 138 - [c129]Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer:
A grounded specification language for agent programs. AAMAS 2007: 147 - [c128]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 - [c127]Patrick Doherty, John-Jules Ch. Meyer:
Towards a Delegation Framework for Aerial Robotic Mission Scenarios. CIA 2007: 5-26 - [c126]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 - [c125]Jamal Bentahar, John-Jules Ch. Meyer, Bernard Moulin:
Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach. ITNG 2007: 507-515 - [c124]Nick A. M. Tinnemeier, Mehdi Dastani, John-Jules Ch. Meyer:
Goal Selection Strategies for Rational Agents. LADS 2007: 54-70 - [c123]Huib Aldewereld, Frank Dignum, John-Jules Ch. Meyer:
From Norms to Interaction Patterns: Deriving Protocols for Agent Institutions. PROMAS 2007: 57-72 - [c122]Mehdi Dastani, John-Jules Ch. Meyer:
A Practical Agent Programming Language. PROMAS 2007: 107-123 - [c121]Jamal Bentahar, John-Jules Ch. Meyer:
A New Quantitative Trust Model for Negotiating Agents. RCIS 2007: 39-50 - [c120]Jamal Bentahar, John-Jules Ch. Meyer:
Model Checking Communicative Agent-Based Systems. SoMeT 2007: 239-265 - [c119]John-Jules Ch. Meyer:
Our Quest for the Holy Grail of Agent Verification. TABLEAUX 2007: 2-9 - 2006
- [c118]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 - [c117]Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer:
Can I Please Drop It? Dialogues About Belief Contraction. AC 2006: 227-242 - [c116]M. Birna van Riemsdijk, John-Jules Ch. Meyer:
A Compositional Semantics of Plan Revision in Intelligent Agents. AMAST 2006: 353-367 - [c115]Bob van der Vecht, André P. Meyer, Martijn Neef, Frank Dignum, John-Jules Ch. Meyer:
Influence-Based Autonomy Levels in Agent Decision-Making. COIN@AAMAS/ECAI 2006: 322-337 - [c114]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 - [c113]M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer, Frank S. de Boer:
Goal-oriented modularity in agent programming. AAMAS 2006: 1271-1278 - [c112]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 - [c111]Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer:
Goal types in agent programming. AAMAS 2006: 1285-1287 - [c110]Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer:
A New Model Checking Approach for Verifying Agent Communication Protocols. CCECE 2006: 1586-1590 - [c109]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 - [c108]Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance:
A New Logical Semantics for Agent Communication. CLIMA 2006: 151-170 - [c107]Davide Grossi, John-Jules Ch. Meyer, Frank Dignum:
Counts-as: Classification or Constitution? An Answer Using Modal Logic. DEON 2006: 115-130 - [c106]Mehdi Dastani, John-Jules Ch. Meyer:
Programming Agents with Emotions. ECAI 2006: 215-219 - [c105]Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer:
Goal Types in Agent Programming. ECAI 2006: 220-224 - [c104]John-Jules Ch. Meyer:
Going beyond BDI: Programming 'BDI+' Agents. EUMAS 2006 - [c103]Koen V. Hindriks, John-Jules Ch. Meyer:
Agent Logics as Program Logics: Grounding KARO. KI 2006: 404-418 - 2005
- [c102]Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer:
Semantics of declarative goals in agent programming. AAMAS 2005: 133-140 - [c101]Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer:
Verifying Norm Compliancy of Protocols. AAMAS Workshops 2005: 231-245 - [c100]Huib Aldewereld, Javier Vázquez-Salceda, Frank Dignum, John-Jules Ch. Meyer:
Norm compliance of protocols in electronic institutions. AAMAS 2005: 1291-1292 - [c99]Geert Jonker, John-Jules Ch. Meyer, Frank Dignum:
Efficiency and Fairness in Air Traffic Control. BNAIC 2005: 151-157 - [c98]Davide Grossi, Frank Dignum, John-Jules Ch. Meyer:
Contextual Terminologies. CLIMA 2005: 284-302 - [c97]Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer:
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication. DALT 2005: 223-244 - [c96]Geert Jonker, John-Jules Ch. Meyer, Frank Dignum:
Towards a Market Mechanism for Airport Traffic Control. EPIA 2005: 500-511 - [c95]M. Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch. Meyer:
Subgoal Semantics in Agent Programming. EPIA 2005: 548-559 - [c94]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 - [c93]John-Jules Ch. Meyer:
Programming Cognitive Agents. MATES 2005: 27-34 - [c92]Fernando Koch, John-Jules Ch. Meyer, Frank Dignum, Iyad Rahwan:
Programming Deliberative Agents for Mobile Services: The 3APL-M Platform. PROMAS 2005: 222-235 - 2004
- [c91]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 - [c90]John-Jules Ch. Meyer:
Agent-Oriented Programming: Where Do We Stand?. AMAST 2004: 23-26 - [c89]Birna van Riemsdijk, John-Jules Ch. Meyer, Frank S. de Boer:
Semantics of Plan Revision in Intelligent Agents. AMAST 2004: 426-442 - [c88]Mehdi Dastani, Birna van Riemsdijk, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer:
Enacting and Deacting Roles in Agent Programming. AOSE 2004: 189-204 - [c87]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 - [c86]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 - [c85]Mehdi Dastani, Joris Hulstijn, Frank Dignum, John-Jules Ch. Meyer:
Issues in Multiagent System Development. AAMAS 2004: 922-929 - [c84]Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer:
A Dialogue Game to Offer an Agreement to Disagree. AAMAS 2004: 1238-1239 - [c83]M. Birna van Riemsdijk, Frank S. de Boer, John-Jules Ch. Meyer:
Dynamic Logic for Plan Revision in Intelligent Agents. CLIMA 2004: 16-32 - [c82]Davide Grossi, Frank Dignum, John-Jules Ch. Meyer:
Contextual Taxonomies. CLIMA 2004: 33-51 - [c81]Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, Brahim Chaib-draa:
A Computational Model for Conversation Policies for Agent Communication. CLIMA 2004: 178-195 - [c80]Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer:
Dynamics of Declarative Goals in Agent Programming. DALT 2004: 1-18 - [c79]Jan M. Broersen, Frank Dignum, Virginia Dignum, John-Jules Ch. Meyer:
Designing a Deontic Logic of Deadlines. DEON 2004: 43-56 - [c78]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 - [c77]John-Jules Ch. Meyer:
Reasoning about Emotional Agents. ECAI 2004: 129-133 - [c76]Frank Dignum, Jan M. Broersen, Virginia Dignum, John-Jules Ch. Meyer:
Meeting the Deadline: Why, When and How. FAABS 2004: 30-40 - [c75]Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer:
A Dialogue Game to Offer an Agreement to Disagree. PROMAS 2004: 199-223 - [c74]Arjen Hommersom, John-Jules Ch. Meyer, Erik P. de Vink:
Toward Reasoning about Security Protocols: A Semantic Approach. LCMAS 2004: 53-75 - 2003
- [c73]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 - [c72]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 - [c71]Mehdi Dastani, Frank Dignum, John-Jules Ch. Meyer:
Autonomy and Agent Deliberation. Agents and Computational Autonomy 2003: 114-127 - [c70]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 - [c69]John-Jules Ch. Meyer, Mark Dermot Ryan, Hans-Dieter Ehrich:
Objects, Agents, and Features: An Introduction. Objects, Agents, and Features 2003: 1-7 - [c68]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 - [c67]John-Jules Ch. Meyer:
Intelligent Agents: Issues and Logics. Logics for Emerging Applications of Databases 2003: 131-165 - [c66]Mehdi Dastani, Birna van Riemsdijk, Frank Dignum, John-Jules Ch. Meyer:
A Programming Language for Cognitive Agents Goal Directed 3APL. PROMAS 2003: 111-130 - [c65]Henk-Jan Lebbink, Cilia Witteman, John-Jules Ch. Meyer:
Dialogue Games for Inconsistent and Biased Information. LCMAS 2003: 134-151 - 2002
- [c64]Virginia Dignum, John-Jules Ch. Meyer, Hans Weigand:
Towards an organizational model for agent societies using contracts. AAMAS 2002: 694-695 - [c63]Jan-Willem Roorda, Wiebe van der Hoek, John-Jules Ch. Meyer:
Iterated belief change in multi-agent systems. AAMAS 2002: 889-896 - [c62]Paul Harrenstein, Wiebe van der Hoek, John-Jules Ch. Meyer, Cees Witteveen:
On Modal Logic Interpretations of Games. ECAI 2002: 28-32 - [c61]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 - [c60]Virginia Dignum, John-Jules Ch. Meyer, Frank Dignum, Hans Weigand:
Formal Specification of Interaction in Agent Societies. FAABS 2002: 37-52 - [c59]John-Jules Ch. Meyer:
Tools and Education towards Formal Methods Practice. FAABS 2002: 274-279 - [c58]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 - [c57]Jan M. Broersen, John-Jules Ch. Meyer, Roel J. Wieringa:
The mutual exclusion problem in reasoning about action and change. NMR 2002: 365-371 - 2001
- [c56]John-Jules Ch. Meyer, Milind Tambe:
Introduction. ATAL 2001: 1-5 - [c55]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 - [c54]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 - [c53]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
- [c52]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 - [c51]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 - [c50]Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Agent Programming with Declarative Goals. ATAL 2000: 228-243 - [c49]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 - [c48]Jan M. Broersen, Roel J. Wieringa, John-Jules Ch. Meyer:
A Semantics for Persistency in Propositional Dynamic Logic. Computational Logic 2000: 912-925 - [c47]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 - [c46]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 - [c45]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 - [c44]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
- [c43]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 - [c42]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 - [c41]John-Jules Ch. Meyer:
Keynote Address: Formal and Informal Aspects of Intelligent Agent-based Systems. ISCO 1999: 299-310 - 1998
- [c40]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 - [c39]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 - [c38]John-Jules Ch. Meyer:
Agent Languages and Their Relationship to Other Programming Paradigms. ATAL 1998: 309-316 - [c37]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 - [c36]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 - [c35]John-Jules Ch. Meyer, Roel J. Wieringa, Frank Dignum:
The Role of Deontic Logic in the Specification of Information Systems. Logics for Databases and Information Systems 1998: 71-115 - [c34]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Systems of Communicating Agents. ECAI 1998: 293-297 - [c33]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 - [c32]Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer:
Translations of Vocabularies in Systems of Communicating Agents. COTIC 1998: 23 - 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
- [c28]Frank Dignum, John-Jules Ch. Meyer, Roel J. 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
- [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]Lluís 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
- [c16]John-Jules Ch. Meyer, Wiebe van der Hoek:
A Default Logic Based on Epistemic States. ECSQARU 1993: 265-273 - 1992
- [c15]Paul Spruit, Roel J. Wieringa, John-Jules Ch. Meyer:
Dynamic Database Logic: the First-order Case. FMLDO 1992: 103-120 - [c14]Wiebe van der Hoek, John-Jules Ch. Meyer:
Graded Modalities in Epistemic Logic. LFCS 1992: 503-514 - [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
- [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 J. Wieringa:
Discussion Issues for a Working Group on Update Semantics of Logic Databases. FMLDO 1991: 209-210 - [c10]Roel J. Wieringa, John-Jules Ch. Meyer:
Actor-Oriented Specification of Deontic Integrity Constraints. MFDBS 1991: 89-103 - [c9]John-Jules Ch. Meyer, Roel J. 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
- [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 J. Wieringa:
A Specification Language for Static, Dynamic and Deontic Integrity Constraints. MFDBS 1989: 347-366 - 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 - 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 - 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 - 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
Parts in Books or Collections
- 2014
- [p7]Mehdi Dastani, Christiaan Floor, John-Jules Ch. Meyer:
Programming Agents with Emotions. Emotion Modeling 2014: 57-75 - 2009
- [p6]Bob van der Vecht, Frank Dignum, John-Jules Ch. Meyer:
Autonomous Agents Adopting Organizational Rules. Handbook of Research on Multi-Agent Systems 2009: 314-333 - [p5]Mehdi Dastani, Nick A. M. Tinnemeier, John-Jules Ch. Meyer:
A Programming Language for Normative Multi-Agent Systems. Handbook of Research on Multi-Agent Systems 2009: 397-417 - 2008
- [p4]John-Jules Ch. Meyer:
Agent Technology. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [p3]John-Jules Ch. Meyer, Frank Veltman:
Intelligent agents and common sense reasoning. Handbook of Modal Logic 2007: 991-1029 - 2005
- [p2]Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer:
Programming Multi-Agent Systems in 3APL. Multi-Agent Programming 2005: 39-67 - 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
Editorship
- 2017
- [e7]Ronald Poppe, John-Jules Ch. Meyer, Remco C. Veltkamp, Mehdi Dastani:
Intelligent Technologies for Interactive Entertainment - 8th International Conference, INTETAIN 2016, Utrecht, The Netherlands, June 28-30, 2016, Revised Selected Papers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 178, Springer 2017, ISBN 978-3-319-49615-3 [contents] - 2009
- [e6]John-Jules Ch. Meyer, Jan M. Broersen:
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 [contents] - 2007
- [e5]Rafael H. Bordini, Mehdi Dastani, John-Jules Ch. Meyer:
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 [contents] - 2006
- [e4]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. Lecture Notes in Computer Science 4048, Springer 2006, ISBN 3-540-35842-0 [contents] - 2004
- [e3]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. Lecture Notes in Computer Science 2975, Springer 2004, ISBN 3-540-21989-7 [contents] - 2002
- [e2]John-Jules Ch. Meyer, Milind Tambe:
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 [contents] - 1999
- [e1]John-Jules Ch. Meyer, Pierre-Yves Schobbens:
Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers. Lecture Notes in Computer Science 1760, Springer 1999, ISBN 3-540-67027-0 [contents]
Reference Works
- 2014
- [r1]John-Jules Ch. Meyer:
Logics for Intelligent Agents and Multi-Agent Systems. Computational Logic 2014: 629-658
Informal and Other Publications
- 2021
- [i10]Jieting Luo, Beishui Liao, John-Jules Ch. Meyer:
A Formal Framework for Reasoning about Agents' Independence in Self-organizing Multi-agent Systems. CoRR abs/2105.07648 (2021) - 2019
- [i9]Marlo Souza, Álvaro F. Moreira, Renata Vieira, John-Jules Ch. Meyer:
A Dynamic Preference Logic for reasoning about Agent Programming. CoRR abs/1911.05907 (2019) - 2018
- [i8]Chide Groenouwe, Jesse Nortier, John-Jules Ch. Meyer:
Truly Visual Polymorphic Algebraic Data Structures through Maramafication. CoRR abs/1812.06197 (2018) - 2009
- [i7]Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier:
Normative Multi-Agent Programs and Their Logics. Normative Multi-Agent Systems 2009 - 2008
- [i6]Mehdi Dastani, Davide Grossi, John-Jules Ch. Meyer, Nick A. M. Tinnemeier:
Normative Multi-Agent Programs and Their Logics. Programming Multi-Agent Systems 2008 - [i5]Bas R. Steunebrink, John-Jules Ch. Meyer, Mehdi Dastani:
A Formal Model of Emotions: Integrating Qualitative and Quantitative Aspects. Programming Multi-Agent Systems 2008 - 2007
- [i4]Davide Grossi, John-Jules Ch. Meyer, Frank Dignum:
On the Logic of Constitutive Rules. Normative Multi-agent Systems 2007 - 2006
- [i3]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 - [i2]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 - 2002
- [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)
Coauthor Index
[j87] [j82] [j81] [j80] [j79] [j77] [j75] [j74] [j72] [j69] [j66] [c255] [c250] [c248] [c247] [c227] [c222] [c217] [c214] [c213] [c195] [c191] [c179] [c178] [c176] [c171] [c168] [c167] [c165] [c161] [c158] [c155] [c152] [c150] [c147] [c143] [c141] [c140] [c139] [c138] [c137] [c136] [c135] [c130] [c129] [c126] [c124] [c122] [c113] [c112] [c111] [c109] [c106] [c105] [c102] [c95] [c88] [c85] [c80] [c73] [c71] [c66] [p7] [p5] [p2] [e7] [e5] [i7] [i6] [i5] [i3] [i2]
Frank Dignum
aka: F. P. M. Dignum
aka: F. P. M. Dignum
[j62] [j61] [j60] [j54] [j50] [j27] [j21] [c241] [c230] [c193] [c190] [c180] [c172] [c168] [c166] [c154] [c153] [c151] [c150] [c145] [c144] [c143] [c133] [c132] [c131] [c128] [c126] [c123] [c118] [c115] [c114] [c107] [c101] [c100] [c99] [c98] [c96] [c94] [c92] [c91] [c88] [c85] [c82] [c80] [c79] [c78] [c76] [c73] [c71] [c66] [c61] [c60] [c35] [c28] [p6] [i4]
[b1] [j67] [j57] [j52] [j51] [j48] [j47] [j46] [j45] [j44] [j41] [j40] [j39] [j37] [j36] [j35] [j34] [j32] [j31] [j30] [j28] [j26] [j23] [j22] [c200] [c72] [c70] [c63] [c62] [c58] [c55] [c54] [c53] [c52] [c51] [c50] [c49] [c47] [c46] [c45] [c44] [c43] [c42] [c40] [c39] [c37] [c36] [c34] [c33] [c32] [c31] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [c16] [c14] [c13] [c8] [i1]
M. Birna van Riemsdijk
aka: Birna van Riemsdijk
aka: Birna van Riemsdijk
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-02-07 03:58 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
