Joakim Gustafsson  Home/Search
Context
Related
| ida.liu.se/pub/labs/kpla...SCAI01.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: ida.liu.se/labs/kplab/people/j... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: As the scope of logics of action and change continues to increase and powerful research tools are developed, it becomes possible to model larger and more complex scenarios. Unfortunately the scenarios become harder to read and difficult to modify and debug with increasing size and complexity. These problems have been overlooked in the action and change community due to the fact that only smaller toy problems are considered. Sound modeling methodology is as essential as the primitives of... (Update)
Similar documents (at the sentence level):
7.6%: Elaboration Tolerance through Object-Orientation - Gustafsson, Kvarnström (Correct)
Active bibliography (related documents): More All
0.6: TALplanner: A Temporal Logic Based Forward Chaining Planner - Kvarnström, Doherty (2001) (Correct)
0.5: Temporal Action Logics (TAL): Language Specification.. - Doherty, Gustafsson.. (1998) (Correct)
0.5: TALplanner: An Empirical Investigation of a Temporal.. - Doherty, Kvarnström (1999) (Correct)
Similar documents based on text: More All
0.1: Extending Temporal Actiom Logic for Ramification and Concurrency - Gustafsson (1998) (Correct)
0.0: Delayed Effects of Actions - Karlsson, Gustafsson, Doherty (1998) (Correct)
0.0: Embracing Occlusion in Specifying the Indirect Effects of.. - Gustafsson, Doherty (1996) (Correct)
BibTeX entry: (Update)
@misc{ gustafsson-objectoriented,
author = "Joakim Gustafsson",
title = "Object-Oriented Reasoning about Action and Change",
url = "citeseer.ist.psu.edu/476798.html" }
Citations (may not include all citations):469 Object-Oriented Design with Applications (context) - Booch - 1991
231 Classic: A structural data model for objects - Borgida, Brachman et al.
174 Springer Verlag (context) - Abadi, Cardelli et al. - 1996
74 A qualitative physics based on confluences (context) - de Kleer, Brown - 1984
71 KRYPTON: A functional approach to knowledge representation (context) - Brachman, Fikes et al. - 1983
50 Filter preferential entailment for the logic of action and c.. (context) - Sandewall - 1989
38 A temporal description logic for reasoning about actions and.. - Artale, Franconi - 1998
29 The power of object-oriented and logic programming (context) - Moss - 1994
24 Elaboration tolerance - McCarthy - 1998
18 Inheritance comes of age: Applying nonmonotonic techniques t.. - Morgenstern - 1998
7 Tackling the qualification problem using fluent dependency c.. - Kvarnstrom, Doherty - 2000
6 TAL: Temporal action logics language specification and tutor.. (context) - Doherty, Gustafsson et al.
6 Reasoning about concurrent interaction (context) - Karlsson, Gustafsson - 1999
5 Delayed effects of actions - Karlsson, Gustafsson et al. - 1998
4 Object-oriented first-order logic - Amir - 1999
Documents on the same site (http://www.ida.liu.se/labs/kplab/people/joagu/): More
Extending Temporal Actiom Logic for Ramification and Concurrency - Gustafsson (1998) (Correct)
Elaboration Tolerance through Object-Orientation - Gustafsson, Kvarnström (Correct)
Extending Temporal Actiom Logic for Ramification and Concurrency - Gustafsson (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC