scientific article; zbMATH DE number 2080342

zbMATH Open1056.68576MaRDI QIDQ4473063FDOQ4473063

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

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (5)

• Probabilistic reasoning about epistemic action narratives
• Occurrences and narratives as constraints in the branching structure of the situation calculus
• Knowledge, action, and the frame problem
• Reasoning about noisy sensors and effectors in the situation calculus
• Title not available (Why is that?)

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)