scientific article; zbMATH DE number 1305385

MaRDI QIDQ4252264zbMATH OpenFDO

Authors Yves Lespérance, Hector J. Levesque, Raymond Reiter

Publication date 23 September 1999

zbMATH Keywords

agentsconcurrency of actionsGOLOGsituation calculus

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Knowledge representation (68T30)

Recommendations

• ConGolog, a concurrent programming language based on the situation calculus
• GOLOG: A logic programming language for dynamic domains
• Intelligent agents in the Situation Calculus: An application to user modelling
• Planning under uncertainty as G<scp>OLOG</scp>programs
• scientific article; zbMATH DE number 1931644

Cited in

(13)

• ConGolog, a concurrent programming language based on the situation calculus
• Reasoning about noisy sensors and effectors in the situation calculus
• Asynchronous knowledge with hidden actions in the situation calculus
• scientific article; zbMATH DE number 1696752 (Why is no real title available?)
• Bounded situation calculus action theories
• Reformulating the situation calculus and the event calculus in the general theory of stable models and in answer set programming
• Using the KGP Model of Agency to Design Applications
• scientific article; zbMATH DE number 1969724 (Why is no real title available?)
• scientific article; zbMATH DE number 1919417 (Why is no real title available?)
• scientific article; zbMATH DE number 1759735 (Why is no real title available?)
• Intelligent agents in the Situation Calculus: An application to user modelling
• On decision-theoretic foundations for defaults
• Go! -- A multi-paradigm programming language for implementing multi-threaded agents

Describes a project that uses

Uses Software

• METATEM
• ConGolog
• GOLOG

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4252264)