3APL

Results: 32



#Item
1Logic in computer science / Programming language semantics / Model theory / Structure / Universal algebra / Operational semantics / 3APL / Ω-consistent theory / Algorithm characterizations / Theoretical computer science / Mathematical logic / Mathematics

Dynamic Logic for Plan Revision in Intelligent Agents M. Birna van Riemsdijk Frank S. de Boer John-Jules Ch. Meyer

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 2005-04-26 08:07:47
2Applied mathematics / AgentSpeak / Operational semantics / Bisimulation / Programming language / Agent-based model / State transition system / 3APL / Logic programming / Multi-agent systems / Computing / Theoretical computer science

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

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 1998-12-14 07:37:21
3Logic / JACK Intelligent Agents / Reactive planning / Modal logic / 3APL / Belief–desire–intention model / Multi-agent systems / Artificial intelligence / Computing

Planning with Time Limits in BDI Agent Programming Languages Lavindra de Silva RMIT University, Melbourne, Australia

Add to Reading List

Source URL: crpit.com

Language: English - Date: 2012-01-19 01:28:18
4Multi-agent systems / Prolog / 3APL / Prova / Computing / Software engineering / Programming language theory

Intro to the 3apl interpreter Daan Leijen , http://www.cs.uu.nl/~daan September 23,

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 2002-10-14 07:40:43
5Java platform / Java / ROS / Computing / Cross-platform software / Computing platforms

Install Notes for 3APL Robot Demo Requirements operating system: windows[removed]or higher. java sdk[removed]http://java.sun.com/j2se/1.4/index.html) 3apl-ros-1.0.zip Installation

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 2003-01-21 07:07:23
6Science / 3APL / Agent-based model / Deliberative agent / Cognitive robotics / FIPA / GOAL agent programming language / 2APL / Multi-agent systems / Computing / Artificial intelligence

Agent-based Programming in 3APL Intelligent Systems Group Institute of Information and Computing Sciences Utrecht University http://www.cs.uu.nl/3apl/

Add to Reading List

Source URL: www.cs.uu.nl

Language: English - Date: 2003-04-17 11:51:36
7

Opzet afstudeeropdracht Informatica Masteropleiding Technical Informatics Modelling uncertainty in 3APL

Add to Reading List

Source URL: www.cs.uu.nl

Language: Dutch - Date: 2005-09-05 12:54:22
    8Science / Agent Communications Language / 3APL / FIPA / Substitution / Speech act / 2APL / Multi-agent systems / Artificial intelligence / Computing

    Communication for Goal Directed Agents Mehdi Dastani, Jeroen van der Ham, and Frank Dignum Institute of Information and Computing Sciences Utrecht University, P.O.Box[removed]TB Utrecht

    Add to Reading List

    Source URL: www.cs.uu.nl

    Language: English - Date: 2003-06-04 19:11:02
    9Science / Agent Communications Language / 3APL / FIPA / Substitution / Speech act / 2APL / Multi-agent systems / Artificial intelligence / Computing

    Communication for Goal Directed Agents Mehdi Dastani, Jeroen van der Ham, and Frank Dignum Institute of Information and Computing Sciences Utrecht University, P.O.Box[removed]TB Utrecht

    Add to Reading List

    Source URL: www.cs.uu.nl

    Language: English - Date: 2002-11-29 14:09:18
    10FIPA / 3APL / Agent-based model / Java / JACK Intelligent Agents / Java Agent Development Framework / Computing / Multi-agent systems / Artificial intelligence

    3APL Platform E.C. ten Hoeve, M. Dastani, F. Dignum, J.-J. Meyer Institute of Information and Computing Sciences Utrecht University Abstract The 3APL Platform is the first distributed multiagent hosting environment for

    Add to Reading List

    Source URL: www.cs.uu.nl

    Language: English - Date: 2003-08-25 16:36:57
    UPDATE