scientific article; zbMATH DE number 2080342

MaRDI QIDQ4473063zbMATH OpenFDO

Authors Stephen Zimmerbaum, Richard B. Scherl

Publication date 4 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1986/19860031.htm

Mathematics Subject Classification ID

Artificial intelligence for robotics (68T40) General topics in artificial intelligence (68T01)

Recommendations

• Publication:3198927
• The situation calculus: a case for modal logic
• Reasoning about time in the situation calculus
• Formalizing sensing actions -- a transition function based approach
• Reasoning about effects of concurrent actions

Cited in

(5)

• scientific article; zbMATH DE number 4174380 (Why is no real title available?)
• Occurrences and narratives as constraints in the branching structure of the situation calculus
• Knowledge, action, and the frame problem
• Probabilistic reasoning about epistemic action narratives
• Reasoning about noisy sensors and effectors in the situation calculus

Describes a project that uses

Uses Software

• 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 Q4473063)