scientific article; zbMATH DE number 4166934

MaRDI QIDQ3493322zbMATH OpenFDO

Authors Devika Subramanian, J. Woodfill

Publication date 1989

zbMATH Keywords

indexical termsindexical-functionalsknowledge level analysissituation calculus

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Inductive situation calculus
• The typed situation calculus
• Inductive definability and the situation calculus
• Situation calculus as hybrid logic: First steps
• The logic of indexicals
• Reconciling the event calculus with the situation calculus
• The situation calculus: a case for modal logic
• Situation calculus specifications for event calculus logic programs
• The calculus of context relations

Cited in

(1)

• Indexical knowledge and robot action -- a logical account

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