The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "John-Jules Ch. Meyer" ( http://dblp.L3S.de/Authors/John-Jules_Ch._Meyer )

URL (Homepage):  http://www.cs.uu.nl/staff/jj.html  Author page on DBLP  Author page in RDF  Community of John-Jules Ch. Meyer in ASPL-2

Publication years (Num. hits)
1981-1987 (18) 1988-1992 (18) 1993-1995 (15) 1996-1998 (21) 1999-2000 (16) 2001-2002 (21) 2003-2004 (33) 2005-2006 (36) 2007 (25) 2008 (21) 2009 (24) 2010-2011 (22) 2012 (1)
Publication types (Num. hits)
article(74) incollection(3) inproceedings(188) proceedings(6)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 58 occurrences of 43 keywords

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