Operational semantics for agent communication languages R. M. van Eijk, F. S. de Boer, W. van der Hoek, J.-J. Ch. Meyer

Source URL: www.cs.uu.nl

[Dit persbericht is bedoeld voor projecten die deelnemen aan de Europa om de hoek KijkdagenVul de tekst aan met uw projectgegevens, plak de tekst in een e-mail en verstuur deze naar uw persrelaties] -------------

Source URL: www.europaomdehoek.nl

WWF-South Africa World Wide Fund For Nature Millennia Park 16 Stellentia Avenue Private Bag X2

Source URL: sharkspotters.org.za

• Great white shark
• Fish Hoek
• World Wide Fund for Nature
• Fish
• Sharks
• KwaZulu-Natal Sharks Board

A language for Modular Information-passing Agents Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer Universiteit Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, T

Source URL: www.cs.uu.nl

• Constraint programming
• Declarative programming
• Symbol

Xmas ad - Journal:Layout 1

Source URL: www.saimm.co.za

• Mechanics
• Solid mechanics
• Rock mass rating
• Mining rock mass rating
• Q-system
• Geomechanics
• Rock mechanics
• Hoek–Brown failure criterion
• Engineering geology
• Geotechnical engineering
• Rock mass classification
• Geology

Adriaan W. van der Hoek July 12, 2014 CONTACT INFORMATION Office:

Source URL: www.ics.uci.edu

• Software engineering
• Release management
• Software project management
• Version control
• Hoek
• Software deployment
• Software design
• SIGSOFT
• Computing
• Software
• Information technology management

Formalising Motivational Attitudes of Agents Using the KARO Framework B. van Linder J.-J. Ch. Meyer W. van der Hoek Utrecht University Department of Computer Science P.O. Box

Source URL: www.cs.uu.nl

• Multi-agent systems
• Ethology
• Epistemic modal logic
• Modal logic
• Action theory
• Cognitive robotics
• Agent-based model
• Motivation
• Artificial intelligence
• Science
• Logic

An Integrated Modal Approach to Rational Agents  W. van der Hoek B. van Lindery J.-J. Ch. Meyer Utrecht University { Department of Computer Science P.O. Box { 3508 TB Utrecht { The Netherlands Abstract

Source URL: www.cs.uu.nl

• Artificial intelligence
• Science
• Philosophical logic
• Multi-agent systems
• Game theory
• Action theory
• Kripke semantics
• Dynamic logic
• Intelligent agent
• Logic
• Mathematical logic
• Modal logic

Gebruik e-mail footer Europa om de hoek Kijkdagen Stap 1: Voeg de footer toe aan de digitale handtekening die u gebruikt onder uw e-mails. Stap 2: Vergeet niet om de link naar de Europa om de hoek Kijkdagen website aan d

Source URL: www.europaomdehoek.nl

A Formal Embedding of AgentSpeak(L) in 3APL Koen Hindriks, Frank S. de Boer, Wiebe van der Hoek and John-Jules Ch. Meyer University Utrecht, Department of Computer Science P.O. Box, 3508 TB Utrecht, The Netherland

Source URL: www.cs.uu.nl

• Applied mathematics
• AgentSpeak
• Operational semantics
• Bisimulation
• Programming language
• Agent-based model
• State transition system
• 3APL
• Logic programming
• Multi-agent systems
• Computing
• Theoretical computer science