<--- Back to Details
First PageDocument Content
Logic / Software engineering / Non-classical logic / 3APL / Dempster–Shafer theory / Epistemic modal logic / Logic programming / Prolog / AgentSpeak / Multi-agent systems / Computing / Artificial intelligence
Date: 2005-09-05 12:29:41
Logic
Software engineering
Non-classical logic
3APL
Dempster–Shafer theory
Epistemic modal logic
Logic programming
Prolog
AgentSpeak
Multi-agent systems
Computing
Artificial intelligence

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

Add to Reading List

Source URL: www.cs.uu.nl

Download Document from Source Website

File Size: 740,89 KB

Share Document on Facebook

Similar Documents

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

DocID: 1tfcr - View Document

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

Proceedings Template - WORD

DocID: 18Nep - View Document

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

Proceedings Template - WORD

DocID: 187ol - View Document

Applied 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

DocID: 17xZI - View Document

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

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

DocID: ZKmY - View Document