<--- 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

Software engineering / Computer programming / Computing / Prolog / Programming languages / Mercury / Logic programming / Tail call / Predicate / Prolog syntax and semantics / B-Prolog

The Prolog to Mercury transition guide Version rotdThomas Conway Zoltan Somogyi Fergus Henderson

DocID: 1xVTf - View Document

Software engineering / Computer programming / Computing / Logic programming / Subroutines / Recursion / Prolog / Programming language implementation / Functional programming / Mercury / Definite clause grammar / Map

The Prolog to Mercury transition guide VersionThomas Conway Zoltan Somogyi Fergus Henderson

DocID: 1xUyl - View Document

Prolog-Programm: - Fakten - Regeln - Anfragen Horn-Klauseln, bilden Wissensbasis

DocID: 1vbGX - View Document

Dept. of Social Science Informatics (SWI) Roetersstraat 15, 1018 WB Amsterdam The Netherlands http://www.swi.psy.uva.nl Programming in XPCE / Prolog

DocID: 1uQRL - View Document

Avoiding Equivariance in Alpha-Prolog Christian Urban1 and James Cheney2 1 Ludwig-Maximilians-University Munich () 2

DocID: 1uyDU - View Document