KI 2004: advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings / Susanne Biundo, Thom Frühwirth, Günther Palm (Eds.). |
Creatore | [German Conference on Artificial Intelligence (27th : 2004 : Ulm, Germany)] |
Estensione | xi, 465 p. : ill. ; 24 cm. |
Accesso persona |
Biundo, Susanne
Frühwirth, Thom, 1962- Palm, Günther |
ISBN | 3540231668 (pbk) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UPENN-9936634603503681 |
[German Conference on Artificial Intelligence (27th : 2004 : Ulm, Germany)]
![]() |
|
![]() | |
Lo trovi qui: University of Pennsylvania | |
Companion Technology [electronic resource] : A Paradigm Shift in Human-Technology Interaction / edited by Susanne Biundo, Andreas Wendemuth |
Estensione | XV, 500 p. 206 illus., 135 illus. in color : 1 online resource. |
Disciplina | 006.3 |
Accesso persona |
Biundo, Susanne
Wendemuth, Andreas |
Accesso ente | SpringerLink (Online service) |
ISBN | 9783319436654 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Multilevel Knowledge Processing in Companion Systems -- Extending the Knowledge Base: Dynamic Query Planning for Querying Ontologies -- User-Centered Planning -- Explaining System-Generated Plans to Human Users -- Neurobiological Foundations of Strategy Change -- Assistive and Adaptive Dialogue Management -- The 'How' of Companion Feedback: Insights from Functional Imaging and Psychophysiology -- Management of Multimodal User Interaction in Companion Systems -- User-Adapted Guided Information Exploration -- Last Minute: An Empirical Experiment in User Companion Interaction -- Semantic and Nonlinguistic Data Representing Emotional States -- Environment Adaption for Companion Systems -- Emotion Recognition from Speech -- Automated Analysis of Human Facial Expression and Affect -- Social Signal Processing and Analysis in Companion Systems -- Nonintrusive Gesture Recognition in Real Companion Environments -- Companions Personalized Emotion Experience Model (COMPLEX) -- Information Fusion -- Neural Mechanisms and Methods for Emotion Recognition -- Mobile Worker Assistance System and Interaction Methods for Automotive Application Scenarios. |
Record Nr. | YALE-13403357 |
![]() | |
Lo trovi qui: Yale University | |
KI 2004: Advances in Artificial Intelligence [electronic resource] : 27th Annual German Conference in AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings / by Susanne Biundo, Thom Frühwirth, Günther Palm |
Creatore | [Biundo, Susanne] |
Accesso persona |
Frühwirth, Thom
Palm, Günther |
Accesso ente | SpringerLink (Online service) |
Soggetto non controllato |
Computer Science
Artificial Intelligence (incl. Robotics) |
ISBN | 9783540231660 |
Formato | Software ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UCHICAGO-7354486 |
[Biundo, Susanne]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
KI 2004 : advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings / Susanne Biundo, Thom Frühwirth, Günther Palm (eds.). |
Creatore | [KI 2004 (2004 : Ulm, Germany)] |
Estensione | 1 online resource (xi, 465 p.) : ill. |
Disciplina | 006.3 |
Accesso persona |
Biundo, Susanne
Frühwirth, Thom, 1962- Palm, Günther |
Genere/Forma | Electronic books |
ISBN | 3540231668 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | DUKE-004451714 |
[KI 2004 (2004 : Ulm, Germany)]
![]() |
|
![]() | |
Lo trovi qui: Duke University | |
Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings / Susanne Biundo, Maria Fox (eds.). |
Creatore | [European Conference on Planning (5th : 1999 : Durham, England)] |
Estensione | 1 online resource (viii, 372 p.) : ill. |
Disciplina | 006.3/33 |
Accesso persona |
Biundo, Susanne
Fox, Maria, 1962- |
Genere/Forma | Electronic books |
ISBN | 3540678662 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | DUKE-004454002 |
[European Conference on Planning (5th : 1999 : Durham, England)]
![]() |
|
![]() | |
Lo trovi qui: Duke University | |
Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings / Susanne Biundo, Maria Fox (eds.). |
Creatore | [European Conference on Planning (5th : 1999 : Durham, England)] |
Estensione | viii, 372 p. |
Disciplina | 006.3/33 |
Accesso persona |
Biundo, Susanne
Fox, Maria, 1962- |
ISBN | 3540678662 (alk. paper) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Planning as Model Checking / Fausto Giunchiglia and Paolo Traverso -- Conformant Planning via Model Checking / Alessandro Cimatti and Marco Roveri -- Strong Cyclic Planning Revisited / Marco Daniele, Paolo Traverso and Moshe Y. Yardi -- Scaleability in Planning / Vassilis Liatsos and Barry Richards -- Exploiting Competitive Planner Performance / Adele E. Howe, Eric Dahlman and Christopher Hansen / [et al.] -- A Parallel Algorithm for POMDP Solution / Larry D. Pyeatt and Adele E. Howe -- Plan Merging & Plan Reuse as Satisfiability / Amol D. Mali -- SAT-Based Procedures for Temporal Reasoning / Alessandro Armando, Claudio Castellini and Enrico Giunchiglia -- Numeric State Variables in Constraint-Based Planning / Jussi Rintanen and Hartmut Jungholt -- Hierarchical Task Network Planning as Satisfiability / Amol D. Mali -- Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length / Stefan Edelkamp and Malte Helmert -- Action Constraints for Planning / Ulrich Scholz -- Least Commitment on Variable Binding in Presence of Incomplete Knowledge / R. Barruffi, E. Lamma and P. Mello / [et al.] -- Scaling up Planning by Teasing out Resource Scheduling / Biplav Srivastava and Subbarao Kambhampati -- Real-Time Scheduling for Multi-agent Call Center Automation / Yong Wang, Qiang Yang and Zhong Zhang -- Task Decomposition Support to Reactive Scheduling / Brian Drabble -- Greedy Algorithms for the Multi-capacitated Metric Scheduling Problem / Amedeo Cesta, Angelo Oddi and Stephen F. Smith -- Automata-Theoretic Approach to Planning for Temporally Extended Goals / Giuseppe De Giacomo and Moshe Y. Vardi -- Integer Programs and Valid Inequalities for Planning Problems / Alexander Bockmayr and Yannis Dimopoulos -- Deductive Synthesis of Recursive Plans in Linear Logic / Stephen Cresswell, Alan Smaill and Julian Richardson -- Sensor Planning with Non-linear Utility Functions / Sven Koenig and Yaxin Liu -- Propice-Plan: Toward a Unified Framework for Planning and Execution / Olivier Despouys and Francois F. Ingrand -- What Is the Expressive Power of Disjunctive Preconditions? / Bernhard Nebel -- Some Results on the Complexity of Planning with Incomplete Information / Patrik Haslum and Peter Jonsson -- Probabilistic Planning in the Graphplan Framework / Avrim L. Blum and John C. Langford -- Making Graphplan Goal-Directed / Eric Parker -- GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables / Ioannis Refanidis and Ioannis Vlahavas -- Planning as Heuristic Search: New Results / Blai Bonet and Hector Geffner. |
Record Nr. | UCHICAGO-4312933 |
[European Conference on Planning (5th : 1999 : Durham, England)]
![]() |
|
![]() | |
Lo trovi qui: University of Chicago | |
Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 ; proceedings / Susanne Biundo, Maria Fox (eds.) |
Creatore | [European Conference on Planning (5th : 1999 : Durham, England)] |
Estensione | viii, 372 p. : ill. ; 24 cm. |
Disciplina | 006.333 |
Accesso persona |
Biundo, Susanne
Fox, Maria, 1962- |
ISBN |
3540678662
9783540678663 (alk. paper) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | STANFORD-a4485352 |
[European Conference on Planning (5th : 1999 : Durham, England)]
![]() |
|
![]() | |
Lo trovi qui: Stanford University | |
KI 2004 : advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings / Susanne Biundo, Thom Frühwirth, Günther Palm (eds.). |
Creatore | [German Conference on Artificial Intelligence (27th : 2004 : Ulm, Germany)] |
Estensione | xi, 465 p. : ill. ; 24 cm. |
Disciplina | 006.3 |
Accesso persona |
Biundo, Susanne
Frühwirth, Thom, 1962- Palm, Günther |
ISBN | 3540231668 (pbk.) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited talks -- Natural language processing -- Knowedge representation and ontologies -- Planning and searching -- Neural networks and machine learning -- Reasoning -- Robotics and machine perception. |
Record Nr. | DUKE-003462645 |
[German Conference on Artificial Intelligence (27th : 2004 : Ulm, Germany)]
![]() |
|
![]() | |
Lo trovi qui: Duke University | |
Recent advances in AI planning : 5th European Conference on Planning, ECP'99, Durham, UK, September 8-10, 1999 : proceedings / Susanne Biundo, Maria Fox (eds.). |
Creatore | [European Conference on Planning (5th : 1999 : Durham, England)] |
Estensione | 1 online resource (viii, 372 pages) : illustrations. |
Disciplina | 006.3/33 |
Accesso persona |
Biundo, Susanne
Fox, Maria, 1962- |
Genere/Forma |
Conference papers and proceedings
Electronic book |
ISBN |
9783540446576
3540446575 3540678662 9783540678663 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Planning as Model Checking -- Conformant Planning via Model Checking -- Strong Cyclic Planning Revisited -- Scaleability in Planning -- Exploiting Competitive Planner Performance -- A Parallel Algorithm for POMDP Solution -- Plan Merging & Plan Reuse as Satisfiability -- SAT-Based Procedures for Temporal Reasoning -- Numeric State Variables in Constraint-Based Planning -- Hierarchical Task Network Planning as Satisfiability -- Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length -- Action Constraints for Planning -- Least Commitment on Variable Binding in Presence of Incomplete Knowledge -- Scaling up Planning by Teasing Out Resource Scheduling -- Real-Time Scheduling for Multi-agent Call Center Automation -- Task Decomposition Support to Reactive Scheduling -- Greedy Algorithms for the Multi-capacitated Metric Scheduling Problem -- Automata-Theoretic Approach to Planning for Temporally Extended Goals -- Integer Programs and Valid Inequalities for Planning Problems -- Deductive Synthesis of Recursive Plans in Linear Logic -- Sensor Planning with Non-linear Utility Functions -- Propice-Plan: Toward a Unified Framework for Planning and Execution -- What is the Expressive Power of Disjunctive Preconditions? -- Some Results on the Complexity of Planning with Incomplete Information -- Probabilistic Planning in the Graphplan Framework -- Making Graphplan Goal-Directed -- GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables -- Planning as Heuristic Search: New Results. |
Record Nr. | UALBERTA-8417155 |
[European Conference on Planning (5th : 1999 : Durham, England)]
![]() |
|
![]() | |
Lo trovi qui: University of Alberta / NEOS Library Consortium | |
KI 2004: advances in artificial intelligence : 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004 : proceedings / Susanne Biundo, Thom Frühwirth, Günther Palm (Eds.). |
Creatore | [German Conference on Artificial Intelligence (27th : 2004 : Ulm, Germany)] |
Estensione | xi, 465 p. : ill. ; 24 cm. |
Accesso persona |
Biundo, Susanne
Frühwirth, Thom, 1962- Palm, Günther |
ISBN | 3540231668 (pbk) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | YALE-6709607 |
[German Conference on Artificial Intelligence (27th : 2004 : Ulm, Germany)]
![]() |
|
![]() | |
Lo trovi qui: Yale University | |