Lars Karlsson  Home/Search
Context Related
| aass.oru.se/pub/lkn/lic.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: aass.oru.se/~lkn/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: An autonomous agent operating in a dynamical environment will face a number of different reasoning problems, one of which is how to plan its actions in order to pursue its goals. For this purpose, it is important that the agent represents its knowledge about the world in a coherent, expressive and well-understood way, in our case the temporal logics from Erik Sandewall 's "Features and Fluents" framework. However, most existing planning systems make no use of temporal logics, but have... (Update)
Context of citations to this paper: More
...is also relevant for problems that make use of reasoning about action and change, such as planning. The results described here (and in [13]) provide concrete support for this opinion. A planner can be classified according to what types of worlds it is suitable for, which...
.... constants standing for alive and loaded, respectively, while Load and F ire are action symbols) obs1 [0] a :l ac1 [2,4] Load ac2 [5,6] F ire acs1 [t 1 ; t 2 ] Load ; t 1 ; t 2 ] l : T acs2 [t 1 ; t 2 ] F ire ; t 1 ] l [t 1 ,t 2 ] a : F l : F ) In the initial state,...
Cited by: More
PMON+: A Fluent Logic for Action and Change Formal Specification, .. - Doherty (1996) (Correct)
Temporal Action Logics (TAL): Language Specification.. - Doherty, Gustafsson.. (1998) (Correct)
Pmon(r) - Doherty (1996) (Correct)
Similar documents (at the sentence level):
23.4%: Specification and Synthesis of Plans Using the Features and.. - Karlsson (1995) (Correct)
Active bibliography (related documents): More All
0.4: Planning, Truth Criteria and the Systematic Approach to Action.. - Karlsson (Correct)
0.3: Present-Day Deductive Planning - Susanne Biundo (1994) (Correct)
0.3: Planning in an Imperfect World Using Previous Experiences - Chiu (1995) (Correct)
Similar documents based on text: More All
0.1: Causal Links Planning and the Systematic Approach to Action and.. - Karlsson (1996) (Correct)
0.1: Reasoning with Unreliable Observations in the Features and.. - Coradeschi (1995) (Correct)
0.1: Predicting the Wild Salmon Production Using Bayesian.. - Valtonen, Mononen.. (2002) (Correct)
Related documents from co-citation: More All
7: Features and fluents: A systematic approach to the representation of knowledge a.. (context) - Sandewall - 1992
7: Reasoning about action and change using occlusion (context) - Doherty - 1994
6: truth criteria and the systematic approach to action and change (context) - Karlsson - 1996
BibTeX entry: (Update)
Lars Karlsson. Specification and synthesis of plans using the features and fluents framework. Licentiate thesis, Department of Computer and Information Science, Linkoping University, 1995. http://citeseer.ist.psu.edu/karlsson95specification.html More
@misc{ karlsson95specification,
author = "L. Karlsson",
title = "Specification and synthesis of plans using the features and fluents framework",
text = "Lars Karlsson. Specification and synthesis of plans using the features
and fluents framework. Licentiate thesis, Department of Computer and Information
Science, Linkoping University, 1995.",
year = "1995",
url = "citeseer.ist.psu.edu/karlsson95specification.html" }
Citations (may not include all citations):891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
451 Planning for conjunctive goals (context) - Chapman - 1987
444 Towards a general theory of action and time (context) - Allen - 1984
331 Logical Foundations of Artificial Intelligence (context) - Genesereth, Nilsson - 1987
288 Planning in a hierarchy of abstraction spaces (context) - Sacerdoti - 1974
251 Generating project networks (context) - Tate
245 Plans and resource-bounded practical reasoning - Bratman, Israel et al. - 1988
210 A formal theory of knowledge and action (context) - Moore
190 Plan: the open planning architecture (context) - Currie, Tate - 1991
163 Applications of theorem proving to problem solving (context) - Green - 1969
154 Introduction to Artificial Intelligence (context) - Charniak, McDermott - 1985
151 The frame problem and knowledge-producing actions - Scherl, Levesque
138 An approach to planning with incomplete information - Etzioni, Hanks et al. - 1992
121 The nonlinear nature of plans (context) - Sacerdoti - 1975
117 Features and Fluents (context) - Sandewall - 1994
105 Computability and Logic (context) - Boolos, Jeffrey - 1980
90 Synthesizing plans that contain actions with context-depende.. (context) - Pednault - 1988
90 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
86 Epistemological problems of artificial intelligence (context) - McCarthy
82 Systematic nonlinear planning - McAllester, Rosenblitt - 1991
80 Planning in time: Windows and duration for activities and go.. (context) - Vere - 1983
77 the semantics of STRIPS - Lifschitz
59 Temporal reasoning and planning (context) - Allen - 1991
58 Principles of Artificial Intelligence (context) - Nilsson - 1980
54 Knowledge preconditions for actions and plans (context) - Morgenstern - 1987
46 A logical approach to highlevel robot programming --- a prog.. - Lesperance, Levesque et al. - 1994
43 Threat-removal strategies for partialorder planning (context) - Peot, Smith
43 Formalizing planning knowledge for hierarchical planning (context) - Yang - 1990
42 Plan synthesis: A logical perspective (context) - Rosenschein - 1981
39 Hierarchical planning involving deadlines (context) - Dean, Firby et al. - 1988
38 Reasoning about action and change using occlusion (context) - Doherty - 1994
36 Decomposition and causality in partial-order planning - Young, Pollack et al. - 1994
34 Restricted monotonicity - Lifschitz
31 Formal Theories of the Commonsense World (context) - Hobbs, Moore - 1985
31 and Austin Tate (context) - Allen, Hendler - 1990
28 A new logical framework for deductive planning - Stephan, Biundo - 1993
28 Computing circumscription (context) - Lifschitz - 1985
28 When is planning decidable (context) - Erol, Nau et al. - 1992
28 Artificial Intelligence (context) - Newell, level - 1982
25 Practical Planning: extending the classical AI paradigm (context) - Wilkins - 1988
24 Circumscribing features and fluents (context) - Doherty, Lukaszewicz - 1994
24 Neural Networks and Natural Intelligence (context) - Grossberg - 1988
24 Deductive planning and plan reuse in a command language envi.. - Biundo, Dengler et al. - 1992
22 Reactive reasoning and planning (context) - Georgeff, Lansky - 1987
20 Incremental planning to control a blackboard-based problem s.. (context) - Durfee, Lesser - 1986
18 Stanford Artificial Intelligence Project (context) - McCarthy, actions et al. - 1962
16 How to build complete creatures rather than isolated cogniti.. - Brooks - 1991
16 dynamic-world problems in the classical planning framework (context) - Pednault
13 Reasoning about plans (context) - McDermott
13 Non-monotonic Reasoning (context) - Lukaszewicz - 1990
12 the nature and role of modal truth criteria in planning - Kambhampati, Nau
12 Department of Computer and Information Science (context) - Doherty, PMON et al. - 1994
10 Menlo Park (context) - the, Conference et al. - 1993
8 German Research Center for Artificial Intelligence (context) - Biundo, Dengler et al. - 1994
7 A temporal logic for reasoning about processes and plans (context) - McDermott - 1982
7 UCMP: A sound and complete procedure for hierarchical task n.. (context) - Erol, Hendler et al. - 1994
5 time map manager (context) - Rutten, Hertzberg et al. - 1993
4 A note on Chapman's modal truth criterion (context) - Fox, Long - 1993
3 Elsevier Science Publishing (context) - Kowalski, Problem - 1977
2 Ramification by minimization of change with and without occl.. (context) - Sandewall - 1994
2 Representation of Commonsense Reasoning (context) - Davis - 1990
2 Improving robot plans and their execution (context) - Beetz, McDermott
1 Towards assessment of logics for concurrent actions - Yi - 1995
1 Reasoning about Actions and Plans: Proceedings (context) - Georgeff, Lansky - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://aass.oru.se/~lkn/): More
Fuzzy Anchoring - Coradeschi, Driankov, Karlsson.. (2001) (Correct)
Planning, Truth Criteria and the Systematic Approach to Action.. - Karlsson (Correct)
Unknown - Another Aspect Of (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