Sciweavers

2655 search results - page 434 / 531
» User-Tailored Plan Presentation
Sort
View
AUSAI
2004
Springer
15 years 12 months ago
Embedding Memoization to the Semantic Tree Search for Deciding QBFs
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
Mohammad GhasemZadeh, Volker Klotz, Christoph Mein...
DEXA
2004
Springer
129views Database» more  DEXA 2004»
15 years 12 months ago
Using Case Based Retrieval Techniques for Handling Anomalous Situations in Advisory Dialogues
The efficacy of expert systems often depends on the accuracy and completeness of the problem specification negotiated with the user. Therefore, efficient user interfaces are needed...
Marcello L'Abbate, Ingo Frommholz, Ulrich Thiel, E...
ECAI
2004
Springer
15 years 12 months ago
The KGP Model of Agency
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...
Antonis C. Kakas, Paolo Mancarella, Fariba Sadri, ...
ECCV
2004
Springer
15 years 12 months ago
A Multi-scale Geometric Flow for Segmenting Vasculature in MRI
Often in neurosurgical planning a dual echo acquisition is performed that yields proton density (PD) and T2-weighted images to evaluate edema near a tumour or lesion. The developme...
Maxime Descoteaux, D. Louis Collins, Kaleem Siddiq...
ESWS
2004
Springer
15 years 12 months ago
Directory Services for Incremental Service Integration
Abstract. In an open environment populated by heterogeneous information services integration will be a major challenge. Even if the problem is similar to planning in some aspects, ...
Ion Constantinescu, Walter Binder, Boi Faltings