Searching for "Foundations for the Situation Calculus." – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Recommended citation:
- … these desiderata, we adopt3 the following four foundational axioms for the situation calculus, taken from [24]. 1…
- Add To MetaCart
-
A Logical Approach to High-Level Robot Programming --- A Progress Report
- … version of the situation calculus. He can then specify robot behaviors in terms of these actions in a…
- Cited by 85 (15 self) – Add To MetaCart
-
INVICON: A Toolkit for Knowledge-Based Control of Vision Systems
- … Foundations The Situation Calculus [12] is a language of predicate logic for representing dynamically changing…
- Cited by 1 (1 self) – Add To MetaCart
-
SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog
- …Golog. This section describes both ConGolog and its formal foundation, the situation calculus. The situation calculus…
- Cited by 8 (2 self) – Add To MetaCart
-
Representation of Temporal Knowledge in the Situation Calculus
- … Representation in Databases. 1 Introduction 2 Theories of Action in the Situation Calculus 2.1 Foundations…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 5.
