Found 25 Documents (Results 1–25)
When is it better not to look ahead? (English) Zbl 1237.91047
MSC:
91A35
Artificial intelligence and automation. (English) Zbl 1208.93014
Nof, Shimon Y. (ed.), Springer handbook of automation. With DVD. Berlin: Springer (ISBN 978-3-540-78830-0/hbk; 978-3-540-78831-7/ebook). 249-268 (2009).
SHOP2: An HTN planning system. (English) Zbl 1058.68106
MSC:
68T20
IMPACTing SHOP: Putting an AI planner into a multi-agent environment. (English) Zbl 1010.68171
MSC:
68T20
On the complexity of plan adaptation by derivational analogy in a universal classical planning framework. (English) Zbl 1013.68951
Craw, Susan (ed.) et al., Advances in case-based reasoning. 6th European conference, ECCBR 2002, Aberdeen, Scotland, UK, September 4-7, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2416, 13-27 (2002).
On the asymptotic performance of IDA. (English) Zbl 0887.68018
MSC:
68P10
Complexity results for HTN planning. (English) Zbl 0891.68104
MSC:
68T20
Systematic approach to analysing the manufacturability of machined parts. (English) Zbl 0960.68718
MSC:
68U10
Complexity, decidability and undecidability results for domain-independent planning. (English) Zbl 1013.68548
MSC:
68T20
Using a feature algebra for reasoning about geometric feature interactions. (English) Zbl 0718.68091
IJCAI 89, Proc. Int. Conf., Detroit, MI/USA 1989, 1219-1224 (1989).
Reviewer: N.Curteanu (Iaşi)
MSC:
68T30
68T15
Preprocessing search spaces for branch and bound search. (English) Zbl 0708.68089
IJCAI-89, Proc. Int. Conf., Detroit, MI/USA 1989, 349-353 (1989).
Reviewer: N.Curteanu
Relationships between deductive and abductive inference in knowledge- based diagnostic problem solving. (English) Zbl 0633.68095
Expert database systems, Proc. 1st Int. Workshop, Kiawah Island/S.C. 1984, 549-558 (1986).
Reviewer: M.Benešovský
MSC:
68T20
A formal model of diagnostic inference. II. Algorithmic solution and application. (English) Zbl 0583.68047
MSC:
68T20
A formal model of diagnostic inference. I. Problem formulation and decomposition. (English) Zbl 0583.68046
MSC:
68T20
On game graph structure and its influence on pathology. (English) Zbl 0544.68063
Reviewer: P.Jirků
The last player theorem. (English) Zbl 0471.90003
Filter Results by …
Document Type
- Journal Articles (20)
- Collection Articles (5)
all
top 5
Author
- Nau, Dana S. (25)
- Reggia, James A. (3)
- Au, Tsz-Chiu (2)
- Erol, Kutluhan (2)
- Ghosh, Subrata (2)
- Kanal, Laveen N. (2)
- Mahanti, Ambuj (2)
- Muñoz-Avila, Héctor (2)
- Wang, Pearl Y. (2)
- Amos, D. Bernard (1)
- Bratko, Ivan (1)
- Dix, Jurgen (1)
- Gams, Matjaz (1)
- Gordon, Dan (1)
- Gupta, Satyandra K. (1)
- Haslum, Patrik (1)
- Hendler, James A. (1)
- Ilghami, Okhtay (1)
- Ivankovic, Franc (1)
- Kambhampati, Subbarao (1)
- Karinthi, Raghu R. (1)
- Kumar, Vipin (1)
- Kuter, Ugur (1)
- Luštrek, Mitja (1)
- Markowsky, George (1)
- Murdock, J. William (1)
- Nagi, Rakesh (1)
- Parker, Austin J. (1)
- Peng, Yun (1)
- Ramirez, Miquel (1)
- Shivashankar, Vikas (1)
- Subrahmanian, V. S. (1)
- Thiébaux, Sylvie (1)
- Woodbury, Max A. (1)
- Wu, Dan (1)
- Yaman, Fusun (1)
- Yang, Qiang (1)
- Zhang, Lingling (1)
all
top 5
Serial
- Artif. Intell. (8)
- Ann. Math. Artif. Intell. (3)
- Inf. Sci. (2)
- J. Artif. Intell. Res. (JAIR) (2)
- Math. Biosci. (1)
- Int. J. Comput. Inform. Sci. (1)
- J. Assoc. Comput. Mach. (1)
- Comput.-Aided Des. (1)
- Ann. Oper. Res. (1)
Software
- AgentSpeak (1)
- SHOP2 (1)
- UCPOP (1)