scientific article; zbMATH DE number 1301605

zbMATH Open0926.68133MaRDI QIDQ4246799FDOQ4246799

Authors:

Publication date: 8 November 1999

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

Recommendations

• Reasoning about effects of concurrent actions
• Representing actions: Laws, observations and hypotheses
• Reasoning about nondeterministic and concurrent actions: A process algebra approach
• scientific article; zbMATH DE number 2048605
• scientific article; zbMATH DE number 928018

zbMATH Keywords

extended language \({\mathcal L}_2\)language \({\mathcal L}_1\)

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic in artificial intelligence (68T27)

Cited In (1)

• Occurrences and narratives as constraints in the branching structure of the situation calculus

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