Activities
2006
A Computational Approach to the Interpretation of Indirect Speech ActsJohn-Jules Meyer (Invited speaker)
25 Oct 2006
, I International Conference on Multidisciplinary Information Sciences and Technologies2005
The Modal Logic of AgencyJohn-Jules Meyer (Invited speaker)
5 Sept 2005
, International Conference on Computer Science Applications of Modal LogicProgramming Cognitive AgentsJohn-Jules Meyer (Invited speaker)
2005
, Multiagent System Technologies (Koblenz)Agent Technology: From Practical Reasoning to Agent ProgrammingJohn-Jules Meyer (Invited speaker)
2005
, "Norms, Knowledge and Reasoning in Technology" 3-4 June 2005 (Eindhoven)Agent Technology: From Practical Reasoning to Agent ProgrammingJohn-Jules Meyer (Invited speaker)
2005
, International Symposium on Innovations in Intelligent Systems and Applications (INISTA) 2005 (Istanbul)2003
ISIS Seminar, ICS, UUJohn-Jules Meyer (Invited speaker)
3 Dec 2003
Agent-Oriented ProgrammingJohn-Jules Meyer (Invited speaker)
24 Jun 2003
, Informatik-Oberseminar "Methoden und Theorie der Softwareentwicklung"Specifying Multi-Agent Systems: From Individual (Mental)Attitudes to Social (Normative)AttitudesJohn-Jules Meyer (Invited speaker)
22 May 2003
, Modèles formels de l'interaction (MFI'03) (Lille, Frankrijk)Modal Logics for Multi-Agent Systems: Modal Logic & Game TheoryJohn-Jules Meyer (Invited speaker)
17 May 2003
, 1st Int. Workshop on Knowledge Representation & Approximate Reasoning (KRAR-2003)Agent Technology: from Foundations to ImplementationJohn-Jules Meyer (Invited speaker)
17 Feb 2003
, Dagstuhl Seminar on Objects, Agents and FeaturesModal Logic and Multi-Agent SpecificationsJohn-Jules Meyer (Invited speaker)
12 Feb 2003
, European Agent Systems Spring School (EASSS'03) (Barcelona, Spain)Journal of Intelligent Agents & Mulit-Agent Systems (Journal)John-Jules Meyer (Editor)
2003
Journal of Applied Non-Classical Logic (Journal)John-Jules Meyer (Editor)
2003
Data and Knowledge Engineering (Journal)John-Jules Meyer (Editor)
2003
2002
Introduction to working group Programming Deliberation / Rationality in AgentsJohn-Jules Meyer (Invited speaker)
25 Nov 2002
, Seminar "Programming multi-Agent Systems Based on Logic"Agent Programming in Dribble: from beliefs to goals with plans (poster presentation)John-Jules Meyer (Invited speaker)
25 Nov 2002
, Seminar "Programming Multi-Agent Systems Based on Logic"Panel lecture on "Tools & Education towards Formal Methods Practice"John-Jules Meyer (Invited speaker)
28 Oct 2002
, 2nd Goddard IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS II)Formal specification of interaction in agent societiesJohn-Jules Meyer (Invited speaker)
28 Oct 2002
, 2nd Goddard IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS II)Agent Programming in Dribble: from beliefs to goals with plans (poster presentation)John-Jules Meyer (Invited speaker)
28 Oct 2002
, 2nd Goddard IEEE Workshop on Formal Approaches to Agent-Based Systems (FAABS II)Bouwen aan menselijke robotsJohn-Jules Meyer (Invited speaker)
2 Oct 2002
, Studium generale (TUE, Eindhoven, the Netherlands)Intelligent agents: from foundations to implementationJohn-Jules Meyer (Invited speaker)
5 Sept 2002
, ICT-KenniscongresIntelligent AgentsJohn-Jules Meyer (Invited speaker)
12 Aug 2002
, 11th International Coll. on Numerical Analysis and Computer Science with Applications (Plovdiv'02) (Plovdiv, Bulgarije)Towards an Organisational Model for Agent Societies Using ContractsJohn-Jules Meyer (Invited speaker)
15 Jul 2002
, AAMAS'02 (Bologna, Italy)Iterated Belief Change in Multi-Agent SystemsJohn-Jules Meyer (Invited speaker)
15 Jul 2002
, AAMAS'02 (Bologna)Logical Foundations of Agent-Based SystemsJohn-Jules Meyer (Invited speaker)
8 Jul 2002
, EASSS'02 Summerschool (Bologna)Agent technology: from philosophy to realisationJohn-Jules Meyer (Invited speaker)
24 Jun 2002
, Institute Colloquium (Universitaet Oldenburg, Oldenburg, Germany)Intelligent agents: from philosophical ideas to realisationJohn-Jules Meyer (Invited speaker)
31 May 2002
, Instituutscolloquium (UvA, Amsterdam)Cognitieve RoboticaJohn-Jules Meyer (Invited speaker)
1 Feb 2002
, CKI-Meeloopdag (Utrecht)Iterated Belief Change in Multi-Agents SystemsJohn-Jules Meyer (Invited speaker)
21 Jan 2002
, Seminar on "The Logic of Rational Agency"Journal of Intelligent Agents & Mulit-Agent Systems (Journal)John-Jules Meyer (Editor)
2002
Journal of Applied Non-Classical Logic (Journal)John-Jules Meyer (Editor)
2002
Data and Knowledge Engineering (Journal)John-Jules Meyer (Editor)
2002
2001
A Verification Framework for Agent CommunicationJohn-Jules Meyer (Invited speaker)
13 Dec 2001
, UKMAS 2001, The Fourth UK Workshop on Multi-Agent SystemsLogic for Agents II: Multi-Agent Epistemic LogicJohn-Jules Meyer (Invited speaker)
13 Nov 2001
, Advanced Course om Multi-Agent SystensLogic for Agents I: the KARO FrameworkJohn-Jules Meyer (Invited speaker)
12 Nov 2001
, Advanced Course on Multi-Agent SystensTowards a True Logic of ActionJohn-Jules Meyer (Invited speaker)
10 Nov 2001
, Workshop on Action, Uppsala UniversityIntelligent AgentsJohn-Jules Meyer (Invited speaker)
9 May 2001
, Colloquium Philips Natlab (Eindhoven, The Netherlands)Dynamic Logic for Reasoning about Actions and AgentsJohn-Jules Meyer (Invited speaker)
17 Mar 2001
, Spring Carnival of Philosophical Logic, Uppsala University (Uppsala, Sweden)Intelligente Agenten en Denkende RobotsJohn-Jules Meyer (Invited speaker)
6 Mar 2001
, Science of Sciencefiction? Van wetenschappelijke ontdekking naar toepassing, Helix / Bureau Studium Generale (Utrecht, The Netherlands)Cognitieve RoboticaJohn-Jules Meyer (Invited speaker)
8 Feb 2001
, Verslag Symposium Robotics, A-Eskwadraat (Utrecht, The Netehrlands)Denkende Robots en Intelligente AgentenJohn-Jules Meyer (Invited speaker)
31 Jan 2001
, Symposium 'De Leidsche Flesch' (Leiden, The Netherlands)Journal of Intelligent Agents & Mulit-Agent Systems (Journal)John-Jules Meyer (Editor)
2001
Journal of Applied Non-Classical Logic (Journal)John-Jules Meyer (Editor)
2001
Data and Knowledge Engineering (Journal)John-Jules Meyer (Editor)
2001
2000
GOAL: Goal Oriented Agent Language (invited talk)John-Jules Meyer (Invited speaker)
19 Sept 2000
, Practical Reasoning Workshop, satellite evente at FAPR2000Journal of Intelligent Agents & Mulit-Agent Systems (Journal)John-Jules Meyer (Editor)
2000
Journal of Applied Non-Classical Logic (Journal)John-Jules Meyer (Editor)
2000
Data and Knowledge Engineering (Journal)John-Jules Meyer (Editor)
2000