Searching for authors named "Joakim Gustafsson" – sorted by Relevance.
12 documents found, showing 1 through 10.
Next 10 →
-
Extending Temporal Actiom Logic for Ramification and Concurrency
- … am grateful to you all. JOAKIM GUSTAFSSON, LINK OPING, JUNE 1998 Abstract An autonomous agent…
- Add To MetaCart
-
Object-Oriented Reasoning about Action and Change
- …Object-Oriented Reasoning about Action and Change Joakim Gustafsson Department of Computer…
- Cited by 1 (0 self) – Add To MetaCart
-
An Implementation and Optimization of an Algorithm for Reducing Formulae in Second-Order Logic.
- …. Joakim Gustafsson January 17, 1996 Abstract We have shown that the elimination algorithm (DLS…
- Cited by 5 (0 self) – Add To MetaCart
-
Elaboration Tolerance through Object-Orientation
- …Abstract Elaboration Tolerance through Object-Orientation Joakim Gustafsson and Jonas Kvarnström…
- Cited by 6 (1 self) – Add To MetaCart
-
Embracing Occlusion in Specifying the Indirect Effects of Actions
- …Embracing Occlusion in Specifying the Indirect Effects of Actions Joakim Gustafsson Department…
- Cited by 47 (7 self) – Add To MetaCart
-
Elaboration Tolerance through Object-Orientation
- …Elaboration Tolerance through Object-Orientation Joakim Gustafsson and Jonas Kvarnstrom Department…
- Add To MetaCart
-
Type of paper Poster
- …, Mattias Heldner, & Joakim Gustafsson A widely used method for finding places to take turn in spoken…
- Add To MetaCart
-
Dialog management in the Waxholm system
- …Dialog management in the Waxholm system Rolf Carlson, Sheri Hunnicutt and Joakim Gustafsson…
- Cited by 7 (3 self) – Add To MetaCart
-
Recommended citation:
- …: Temporal Action Logics Language Speci cation and Tutorial Patrick Doherty Joakim Gustafsson Lars Karlsson…
- Add To MetaCart
-
Temporal Action Logics (TAL): Language Specification and Tutorial
- … Temporal Action Logics (TAL): Language Specification and Tutorial Patrick Doherty Joakim Gustafsson Lars…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
