Searching for "Action Programming Languages" – sorted by Relevance.
35 documents found, showing 1 through 10.
Next 10 →
-
Addressing the Qualification Problem in FLUX
- … programming method to cope with the Qualification Problem in the action programming language Flux, which…
- Cited by 4 (4 self) – Add To MetaCart
-
1001 Reasons for not Proving Programs Correct: A Survey
- … in mathematics. By suitably defining the actions of the programming language (now part of programming language…
- Cited by 3 (1 self) – Add To MetaCart
-
Turning High-Level Plans into Robot Programs in Uncertain Domains
- …-level processes are modelled as programs in pGOLOG, a probabilistic variant of the action language GOLOG. High…
- Cited by 14 (8 self) – Add To MetaCart
-
Interactive Robot Control System for Teleoperation
- …. The programming languages allow implicit programming of missions, tasks and actions. On the lowest programming…
- Add To MetaCart
-
An Operational Semantics for the Single Agent Core of AGENT0
- … similarities. To name only a few, the programming language includes an explicit representation of actions…
- Cited by 5 (4 self) – Add To MetaCart
-
-1 Syntax And Semantics
- … subject unless these strings could also e ect actions. In general, the semantics of a programming language…
- Add To MetaCart
-
Sensorsimulation-Based Interactive Telerobot Control System
- … into a sequence of actions. The programming languages allow implicit programming of missions, tasks…
- Cited by 1 (0 self) – Add To MetaCart
-
unknown title
- … on Program- ming Languages and Systems, 5(3):449-477, July 1983. [50] Lawrence A. Rowe and Sharon Wensel…
- Add To MetaCart
-
Integrating Action Calculi and Description Logics
- … procedures for Description Logics into action programming languages and systems, which will allow agents…
- Cited by 1 (0 self) – Add To MetaCart
-
A Formal Assessment Result for Fluent Calculus Using the Action Description Language A_k
- … language. As a spin-off, the action programming language FLUX, which is based on fluent calculus, provides…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
