SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Computational Intelligence

Volumn 11, Issue 4, 1995, Pages 625-655

COMPLEXITY RESULTS FOR SAS+ PLANNING

(2) Bäckström, Christer a Nebel, Bernhard b

a LINKÖPING UNIVERSITY (Sweden)

b UNIVERSITY OF ULM (Germany)

Author keywords

algorithms; computational complexity; planning; simplified action structures

Indexed keywords

ALGORITHMS; CONTROL SYSTEMS; FORMAL LOGIC; LEARNING SYSTEMS; PLANNING;

SEQUENTIAL CONTROL; SIMPLIFIED ACTION STRUCTURES;

COMPUTATIONAL COMPLEXITY;

EID: 0029405902 PISSN: 08247935 EISSN: 14678640 Source Type: Journal
DOI: 10.1111/j.1467-8640.1995.tb00052.x Document Type: Article

Times cited : (418)

References (31)

1
- 84990601623
- Reasoning about interdependent actions. Licentiate Thesis, Department of Computer and Information Science, Linköping University, Linköping, Sweden
- (1988) , pp. 139
- Bäckström, C.¹

2
- 84990601610
- In Proceedings of the 3rd International Symposium on Methodologies for Intelligent Systems (ISMIS‐88). Edited by, Z. W. W, L. Saitta,. Torino, Italy, North‐Holland
- (1988) A representation of coordinated actions characterized by interval valued conditions , pp. 220-229
- Bäckström, C.¹

3
- 84990627633
- Computational Complexity of Reasoning about Plans. Doctoral dissertation, Linkoping University, Linköping, Sweden
- (1992)
- Bäckström, C.¹

4
- 4243214234
- In Proceedings of the 3rd International Conference on Principles on Knowledge Representation and Reasoning (KR‐92). Edited by, B. Swartout, B. Nebel, Morgan Kaufmann, Cambridge, MA. pp.
- (1992) + planning , pp. 126-137
- Bäckström, C.¹

5
- 0008055015
- Finding least constrained plans and optimal parallel executions is harder than we thought
- Edited by, C. Bäckström, E. Sandewall, IOS Press, Vadstena, Sweden, pp.
- (1993) Current Trends in AI Planning: EWSP'93–2nd European Workshop on Planning , pp. 46-59
- Bäckström, C.¹

6
- 84990601612
- Expressive equivalence of planning formalisms. Artificial Intelligence, Special Issue on Planning and Scheduling. (In press).
- (1994)
- Bäckström, C.¹

7
- 84990594706
- Planning using transformation between equivalent formalisms: A case study of efficiency. In Comparative Analysis of AI Planning Systems. Edited by,. Published in conjunction with AAAI‐94.
- (1994)
- Bäckström, C.¹ Wilkins, D.²

8
- 84990594707
- Planning in polynomial time
- International Workshop, volume 462 of Lecture Notes in Artificial Intelligence. Edited by, G. Gottlob, W. Nejdl, Springer‐Verlag, Vienna, Austria, pp.
- (1990) Expert Systems in Engineering: Principles and Applications , pp. 103-118
- Bäckström, C.¹ Klein, I.²

9
- 84990601608
- In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI‐94). Edited by, R. Reiter, J. Mylopoulos, Morgan Kaufmann, Sydney, Australia, pp.
- (1991) Parallel non‐binary planning in polynomial time , pp. 268-273
- Bäckström, C.¹ Klein, I.²

10
- 84990617060
- Planning in polynomial time: The SAS‐PUBS class
- (1991) Computational Intelligence , vol.7 , Issue.3 , pp. 181-197
- Bäckström, C.¹ Klein, I.²

11
- 0040258260
- In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI‐94). Edited by, R. Reiter, J. Mylopoulos, Morgan Kaufmann, Sydney, Australia, pp.
- (1991) Complexity results for planning , pp. 274-279
- Bylander, T.¹

12
- 0026961687
- In Artificial Intelligence Planning Systems: Proceedings of the 1st International Conference. Edited by, J. Hendler, Morgan Kaufmann, College Park, MD, pp.
- (1992) Complexity results for extended planning , pp. 20-27
- Bylander, T.¹

13
- 0026986406
- Complexity results for serial decomposability. In Proceedings of the 10th (US) National Conference on Artificial Intelligence (AAAI‐92), San Jose, CA, pp.
- (1992) , pp. 729-734
- Bylander, T.¹

14
- 0028498153
- The computational complexity of prepositional STRIPS planning
- (1994) Artificial Intelligence , vol.69 , pp. 165-204
- Bylander, T.¹

15
- 0023381915
- Planning for conjunctive goals
- (1987) Artificial Intelligence , vol.32 , pp. 333-377
- Chapman, D.¹

16
- 0024101726
- Reasoning about partially ordered events
- (1988) Artificial Intelligence , vol.36 , pp. 375-399
- Dean, T.¹ Boddy, M.²

17
- 0026961831
- On the complexity of domain‐independent planning. In Proceedings of the 10th (US) National Conference on Artificial Intelligence (AAAI‐92), pp.
- (1992) , pp. 381-386
- Erol, K.¹ Nau, D.S.² Subrahmanian, V.S.³

18
- 2842560201
- STRIPS: A new approach to the application of theorem proving to problem solving
- (1971) Artificial Intelligence , vol.2 , pp. 189-208
- Fikes, R.E.¹ Nilsson, N.J.²

19
- 0003603813
- Freeman, New York
- (1979) Computers and Intractability: A Guide to the Theory of NP‐Completeness
- Garey, M.¹ Johnson, D.²

20
- 0026904035
- On the complexity of blocks‐world planning
- (1992) Artificial Intelligence , vol.56 , pp. 223-254
- Gupta, N.¹ Nau, D.S.²

21
- 84990627600
- In Artificial Intelligence Planning Systems: Proceedings of the 1st International Conference. Edited by, J. Hendler, Morgan Kaufmann, College Park, MD
- (1992) Systematic adaption for case‐based planning
- Hanks, S.¹ Weld, D.²

22
- 84990601401
- Editor., : Proceedings of the 1st International Conference., Morgan Kaufmann, College Park, MD
- (1992) Artificial Intelligence Planning Systems
- Hendler, J.¹

23
- 0001951331
- A catalog of complexity classes
- Edited by, J. van Leeuwen, Elsevier, Amsterdam, ch. 2, pp.
- (1990) Handbook of Theoretical Computer Science: Algorithms and Complexity , vol.vol. A , pp. 67-161
- Johnson, D.S.¹

24
- 84990561335
- In Proceedings of the 6th International Conference on Artificial Intelligence: Methodology, Systems, Applications (AIMSA‐94). Edited by, P. Jorrand, World Scientific Publishing, Sofia, Bulgaria
- (1994) Complexity results for state‐variable planning under mixed syntactical and structural restrictions
- Jonsson, P.¹ Bäckström, C.²

25
- 84990561330
- Tractable planning with state variables by exploiting structural restrictions. In Proceedings of the 12th (US) National Conference on Artificial Intelligence (AAAI‐94).
- (1994)
- Jonsson, P.¹ Bäckström, C.²

26
- 0026880070
- A validation‐structure‐based theory of plan modification and reuse
- (1992) Artificial Intelligence , vol.55 , pp. 193-258
- Kambhampati, S.¹ Hendler, J.²

27
- 84990621510
- Automatic Synthesis of Sequential Control Charts. Doctoral dissertation, Linkoping University, Linkbping, Sweden
- (1993)
- Klein, I.¹

28
- 0023421864
- Planning as search: A quantitative approach
- (1987) Artificial Intelligence , vol.33 , pp. 65-88
- Korf, R.E.¹

29
- 0028396495
- On the computational complexity of temporal projection, planning and plan validation
- (1994) Artificial Intelligence , vol.66 , Issue.1 , pp. 125-160
- Nebel, B.¹ Bäckström, C.²

30
- 84990628630
- Editors.,. Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI‐91). Morgan Kaufmann, Sydney, Australia.
- (1991)
- Reiter, R.¹ Mylopoulos, J.²

31
- 84990628621
- In Proceedings of the 5th (US) National Conference on Artificial Intelligence (AAAI‐86)., Morgan Kaufmann, San Diego, CA, pp.
- (1986) A representation of action structures , pp. 89-97
- Sandewall, E.¹ Rönnquist, R.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.