AgentSpeak(L): BDI Agents speak out in a logical computable language Anand S. Rao Australian Artificial Intelligence Institute Level 6, 171 La Trobe Street, Melbourne Victoria 3000, Australia

Source URL: www.upv.es

Proceedings Template - WORD

Source URL: www.dcs.kcl.ac.uk

• Multi-agent systems
• Science
• Computing
• Scientific modeling
• DEVS
• Agent-based model
• Cognitive science
• AgentSpeak
• LIDA
• Artificial intelligence
• Cognitive architecture
• Automata theory

Proceedings Template - WORD

Source URL: www.inf.kcl.ac.uk

• Multi-agent systems
• Science
• Computing
• Scientific modeling
• DEVS
• Agent-based model
• Cognitive science
• AgentSpeak
• LIDA
• Artificial intelligence
• Cognitive architecture
• Automata theory

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

Master Thesis Modelling Uncertainty in 3APL Johan Kwisthout studentnummer[removed]

Source URL: www.cs.uu.nl

• Logic
• Software engineering
• Non-classical logic
• 3APL
• Dempster–Shafer theory
• Epistemic modal logic
• Logic programming
• Prolog
• AgentSpeak
• Multi-agent systems
• Computing
• Artificial intelligence

Reasoning about BDI Agents from a Programming Languages Perspective Wayne Wobcke School of Computer Science and Engineering University of New South Wales Sydney NSW 2052, Australia [removed]

Source URL: aaai.org

• Science
• Procedural reasoning system
• Action selection
• Belief–desire–intention model
• JACK Intelligent Agents
• AgentSpeak
• Reasoning system
• Action theory
• Agent-based model
• Artificial intelligence
• Multi-agent systems
• Computing

Automating Belief Revision in AgentSpeak Natasha Alechina1 , Rafael H. Bordini2 , Jomi Fred H¨ubner 3, Mark Jago1 , and Brian Logan1 1 School of Computer Science

Source URL: www.cs.nott.ac.uk

• Science
• AgentSpeak
• Jason
• Belief revision
• Logic programming
• Algorithm
• Programming language
• Belief–desire–intention model
• Epistemology
• Multi-agent systems
• Computing
• Artificial intelligence

An Operational Semantics for AgentSpeak(RT) Konstantin Vikhorev1 , Natasha Alechina1 , Rafael H. Bordini2 , and Brian Logan1 1 School of Computer Science University of Nottingham

Source URL: www.cs.nott.ac.uk

• Software engineering
• 2APL
• AgentSpeak
• Prolog
• Multi-agent systems
• Computing
• Artificial intelligence

N-Jason: Run-Time Norm Compliance in AgentSpeak(L) JeeHang Lee1 , Julian Padget1 Brian Logan , Daniela Dybalova2 , and Natasha Alechina2 2

Source URL: www.cs.nott.ac.uk

• Philosophy
• AgentSpeak
• Norm
• Belief–desire–intention model
• Permission
• Principle
• Role
• Belief–desire–intention software model
• Multi-agent systems
• Artificial intelligence
• Computing

The ARTS Real-Time Agent Architecture Konstantin Vikhorev Natasha Alechina Brian Logan

Source URL: www.cs.nott.ac.uk

• Procedural reasoning system
• Belief–desire–intention model
• Reasoning system
• Scheduling
• AgentSpeak
• Real-time computing
• Belief–desire–intention software model
• 2APL
• Artificial intelligence
• Multi-agent systems
• Computing