Searching for "Action Languages." – sorted by Relevance.
894 documents found, showing 1 through 10.
Next 10 →
-
Action Languages
- …Action Languages Michael Gelfond Department of Computer Science University of Texas at El Paso…
- Cited by 119 (20 self) – Add To MetaCart
-
Action Language Verifier
- …Abstract Action Language is a specification language for reactive software systems. In this paper…
- Cited by 24 (17 self) – Add To MetaCart
-
Action language verifier, extended
- …Action Language Verifier, Extended ⋆ Tuba Yavuz-Kahveci Constantinos Bartzis Tevfik Bultan…
- Cited by 6 (4 self) – Add To MetaCart
-
Two Components of An Action Language
- …Two Components of An Action Language Vladimir Lifschitz Department of Computer Sciences University…
- Cited by 19 (6 self) – Add To MetaCart
-
A Stochastic Action Language
- …Abstract In this paper we present a new stochastic nondeterministic high-level action language Ë…
- Add To MetaCart
-
6 Action Language
- …6 Action Language All of the processing that goes on in a domain is stated in the actions of state…
- Add To MetaCart
-
Action Languages from
- … tbd ], 31.10.1997 http:==www.ida.liu.se/ext/etai/rac/notes/1997/10/ Action Languages from A to C: A…
- Add To MetaCart
-
Action Languages, Answer Sets and Planning
- …Action Languages, Answer Sets and Planning Vladimir Lifschitz University of Texas at Austin…
- Cited by 41 (4 self) – Add To MetaCart
-
A Temporal Executable Action Language
- … Language Dov Gabbay (ICSTM) Rolf Nossum (ADH) Abstract This paper presents a temporal language for actions…
- Add To MetaCart
-
Action Languages, Temporal Action Logics and the Situation Calculus
- …Action Languages, Temporal Action Logics and the Situation Calculus Enrico Giunchiglia DIST…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
