17. ECAI 2006:
Riva del Garda,
Trentino,
Italy
Gerhard Brewka, Silvia Coradeschi, Anna Perini, Paolo Traverso (Eds.):
ECAI 2006, 17th European Conference on Artificial Intelligence, August 29 - September 1, 2006, Riva del Garda, Italy, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings.
Frontiers in Artificial Intelligence and Applications 141 IOS Press 2006, ISBN 1-58603-642-4 
Invited Talks
Cognitive Modelling
- Jean-François Bonnefon, Rui Da Silva Neves, Didier Dubois, Henri Prade:
Background Default Knowledge and Causality Ascriptions.
11-15
- Jean-François Bonnefon, Hélène Fargier:
Comparing Sets of Positive and Negative Arguments: Empirical Assessment of Seven Qualitative Rules.
16-20
- Julien Erny, Josette Pastor, Henri Prade:
A Similarity and Fuzzy Logic-Based Approach to Cerebral Categorisation.
21-25
- Bart Jansen:
Imitation of Intentional Behaviour.
26-30
- Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo, Fabrizio Nunnari:
Dramatization Meets Narrative Presentations.
31-35
- David Murray-Rust, Alan Smaill, Michael Edwards:
MAMA: An Architecture for Interactive Musical Agents.
36-40
- Eleftherios Papachristos, Nikolaos K. Tselios, Nikolaos M. Avouris:
Bayesian Modelling of Colour's Usage Impact to Web Credibility.
41-45
- Christopher Peters:
Evaluating Perception of Interaction Initiation in Virtual Environments Using Humanoid Agents.
46-50
- Julien Poudade, Lionel Landwerlin, Patrick Paroubek:
Cognitive Situated Agents Learn to Name Actions.
51-55
- Tony Veale:
Tracking the Lexical Zeitgeist with WordNet and Wikipedia.
56-
Constraints and Search
- Stefano Bistarelli, Fabio Gadducci:
Enhancing Constraints Manipulation in Semiring-Based Formalisms.
63-67
- Marco Cadoli, Toni Mancini, Davide Micaletto, Fabio Patrizi:
Evaluating ASP and Commercial Solvers on the CSPLib.
68-72
- John Charnley, Simon Colton, Ian Miguel:
Automatic Generation of Implied Constraints.
73-77
- Kenil C. K. Cheng, Roland H. C. Yap:
Maintaining Generalized Arc Consistency on Ad-Hoc n-Ary Boolean Constraints.
78-82
- Luca Di Gaspero, Marco Chiarandini, Andrea Schaerf:
A Study on the Short-Term Prohibition Mechanisms in Tabu Search.
83-87
- Boi Faltings, Quang Huy Nguyen:
Random Subset Optimization.
88-92
- Lucie Galand, Patrice Perny:
Search for Compromise Solutions in Multiobjective State Space Graphs.
93-97
- Ian P. Gent, Christopher Jefferson, Ian Miguel:
Minion: A Fast Scalable Constraint Solver.
98-102
- Amir Gershman, Amnon Meisels, Roie Zivan:
Asynchronous Forward-Bounding for Distributed Constraints Optimization.
103-107
- Yek Loong Chong, Youssef Hamadi:
Distributed Log-Based Reconciliation.
108-112
- Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frédéric Boussemart:
Extracting MUCs from Constraint Networks.
113-117
- Ulrich Junker:
Preference-Based Inconsistency Proving: When the Failure of the Best Is Sufficient.
118-122
- Ulrich Junker, Olivier Lhomme:
Return of the JTMS: Preferences Orchestrate Conflict Learning and Solution Synthesis.
123-127
- Emma Rollon, Javier Larrosa:
Multi-Objective Propagation in Constraint Programming.
128-132
- Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal:
Last Conflict Based Reasoning.
133-137
- Radu Marinescu, Rina Dechter:
Dynamic Orderings for AND/OR Branch-and-Bound Search in Graphical Models.
138-142
- Jussi Rintanen:
Compact Representation of Sets of Binary Constraints.
143-147
- Aleksander Sadikov, Ivan Bratko:
Pessimistic Heuristics Beat Optimistic Ones in Real-Time Search.
148-152
- Kostas Stergiou, Toby Walsh:
Inverse Consistencies for Non-Binary Constraints.
153-157
- Radoslaw Szymanek, Barry O'Sullivan:
Guiding Search Using Constraint-Level Advice.
158-162
- Marc R. C. van Dongen:
Beyond Singleton Arc Consistency.
163-167
- Toby Walsh:
Symmetry Breaking Using Value Precedence.
168-
Distributed AI/Agents
- Alessandro Agostini:
Coordination Through Inductive Meaning Negotiation.
175-179
- Samir Aknine, Onn Shehory:
Reaching Agreements for Coalition Formation Through Derivation of Agents' Intentions.
180-184
- Bruno Beaufils, Philippe Mathieu:
Cheating Is Not Playing: Methodological Issues of Computational Game Theory.
185-189
- Isabelle Bloch, Ramón Pino Pérez, Carlos Uzcátegui:
Mediation in the Framework of Morpho-Logic.
190-194
- Guido Boella, Luigi Sauro, Leendert W. N. van der Torre:
Strengthening Admissible Coalitions.
195-199
- Piero A. Bonatti, Daniel Olmedilla, Joachim Peer:
Advanced Policy Explanations on the Web.
200-204
- Caroline Chopinaud, Amal El Fallah-Seghrouchni, Patrick Taillibert:
Prevention of Harmful Behaviors Within Cognitive and Autonomous Agents.
205-209
- Viet Dung Dang, Nicholas R. Jennings:
Coalition Structure Generation in Task-Based Settings.
210-214
- Mehdi Dastani, John-Jules Ch. Meyer:
Programming Agents with Emotions.
215-219
- Mehdi Dastani, M. Birna van Riemsdijk, John-Jules Ch. Meyer:
Goal Types in Agent Programming.
220-224
- Francesco Di Giunta, Nicola Gatti:
Alternating-Offers Bargaining Under One-Sided Uncertainty on Deadlines.
225-229
- Azzurra Ragone, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini:
A Logic-Based Framework to Compute Pareto Agreements in One-Shot Bilateral Negotiation.
230-234
- Leila Amgoud, Florence Dupin de Saint-Cyr:
Towards ACL Semantics Based on Commitments and Penalties.
235-239
- Felix A. Fischer, Matthias Nickles:
Computational Opinions.
240-244
- Benoit Gaudou, Andreas Herzig, Dominique Longin, Matthias Nickles:
A New Semantics for the FIPA Agent Communication Language Based on Social Attitudes.
245-249
- Anthony Hunter:
Contouring of Knowledge for Intelligent Searching for Arguments.
250-254
- Branislav Katreniak, Jana Katreniaková:
On the Inability of Gathering by Asynchronous Mobile Robots with Initial Movements.
255-259
- Jordan Kidney, Jörg Denzinger:
Testing the Limits of Emergent Behavior in MAS Using Learning of Cooperative Behavior.
260-264
- Elise Bonzon, Marie-Christine Lagasquie-Schiex, Jérôme Lang, Bruno Zanuttini:
Boolean Games Revisited.
265-269
- Raz Lin, Sarit Kraus, Jonathan Wilkenfeld, James Barry:
An Automated Agent for Bilateral Negotiation with Bounded Rational Agents with Incomplete Information.
270-274
- Sana Moujahed, Olivier Simonin, Abderrafiaa Koukam, Khaled Ghédira:
Self-Organizing Multiagent Approach to Optimization in Positioning Problems.
275-279
- Nir Oren, Timothy J. Norman, Alun D. Preece:
Arguing with Confidential Information.
280-284
- Terry R. Payne, Esther David, Nicholas R. Jennings, Matthew Sharifi:
Auction Mechanisms for Efficient Advertisement Selection on Public Displays.
285-289
- Alexei Sharpanskykh, Jan Treur:
Verifying Interlevel Relations Within Multi-Agent Systems.
290-294
- Sebastian Stein, Nicholas R. Jennings, Terry R. Payne:
Flexible Provisioning of Service Workflows.
295-299
- David C. K. Yuen, Andrew Byde, Nicholas R. Jennings:
Heuristic Bidding Strategies for Multiple Heterogeneous Auctions.
300-304
- Huiliang Zhang, Shell-Ying Huang:
Are Parallel BDI Agents Really Better?
305-309
- Huiliang Zhang, Shell-Ying Huang:
Dynamic Control of Intention Priorities of Human-Like Agents.
310-
Knowledge Representation and Reasoning
- Thomas Ågotnes, Natasha Alechina:
Knowing Minimum/Maximum n Formulae.
317-321
- Natasha Alechina, Mark Jago, Brian Logan:
Modal Logics for Communicating Rule-Based Agents.
322-326
- John Bell:
Causation as Production.
327-331
- Salem Benferhat:
Merging Possibilistic Networks.
332-336
- Salem Benferhat, Henri Prade:
Compiling Possibilistic Knowledge Bases.
337-341
- Bozhena Bidyuk, Rina Dechter:
Improving Bound Propagation.
342-346
- Francesco Buccafurri, Gianluca Caminiti, Domenico Rosaci:
Logic Programs with Multiple Chances.
347-351
- Philippe Chatalic, Gia Hien Nguyen, Marie-Christine Rousset:
Reasoning with Inconsistencies in Propositional Peer-to-Peer Inference Systems.
352-356
- Jérôme David, Fabrice Guillet, Régis Gras, Henri Briand:
Conceptual Hierarchies Matching: An Approach Based on Discovery of Implication Rules Between Concepts.
357-361
- Yulin Ding, Yan Zhang:
CTL Model Update: Semantics, Computations and Implementation.
362-366
- Thomas Eiter, Esra Erdem, Michael Fink, Ján Senko:
Resolving Conflicts in Action Descriptions.
367-371
- Laurent Garcia, Régis Sabbadin:
Possibilistic Influence Diagrams.
372-376
- Enrico Giunchiglia, Marco Maratea:
Solving Optimization Problems with DLL.
377-381
- Fausto Giunchiglia, Pavel Shvaiko, Mikalai Yatskevich:
Discovering Missing Background Knowledge in Ontology Matching.
382-386
- Éric Grégoire, Bertrand Mazure, Cédric Piette:
Extracting MUSes.
387-391
- Jean Gressmann, Tomi Janhunen, Robert E. Mercer, Torsten Schaub, Sven Thiele, Richard Tichy:
On Probing and Multi-Threading in Platypus.
392-396
- Andreas Herzig, Laurent Perrussel, Ivan José Varzinczak:
Elaborating Domain Descriptions.
397-401
- Marcelo A. Falappa, Eduardo L. Fermé, Gabriele Kern-Isberner:
On the Logic of Theory Change: Relations Between Incision and Selection Functions.
402-406
- Reinhard Moratz:
Representing Relative Direction as a Binary Relation of Oriented Points.
407-411
- Emilia Oikarinen, Tomi Janhunen:
Modular Equivalence for Normal Logic Programs.
412-416
- Meltem Öztürk, Alexis Tsoukiàs:
Preference Representation with 3-Points Intervals.
417-421
- Patrice Perny, Antoine Rolland:
Reference-Dependent Qualitative Models for Decision Making Under Uncertainty.
422-426
- Cédric Pralet, Gérard Verfaillie, Thomas Schiex:
Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework.
427-431
- David A. Randell, Mark Witkowski:
Using Occlusion Calculi to Interpret Digital Images.
432-436
- Oliver Ray, Athos Antoniades, Antonis C. Kakas, Ioannis Demetriades:
Abductive Logic Programming in the Clinical Management of HIV/AIDS.
437-441
- Fariba Sadri, Francesca Toni:
Interleaving Belief Updating and Reasoning in Abductive Logic Programming.
442-446
- Andreas Seyfang, Silvia Miksch, Mar Marcos, Jolanda Wittenberg, Cristina Polo-Conde, Kitty Rosenbrand:
Bridging the Gap Between Informal and Formal Guideline Representations.
447-451
- Igor Stéphan:
Boolean Propagation Based on Literals for Quantified Boolean Formulae.
452-456
- Giorgos Stoilos, Umberto Straccia, Giorgos B. Stamou, Jeff Z. Pan:
General Concept Inclusions inFluzzy Description Logics.
457-461
- Davy Van Nieuwenborgh, Stijn Heymans, Dirk Vermeir:
Approximating Extended Answer Sets.
462-466
- Paul Weng:
An Axiomatic Approach in Qualitative Decision Theory with Binary Possibilistic Utility.
467-471
- Nic Wilson:
An Efficient Upper Approximation for Conditional Preference.
472-476
- Uwe Egly, Martina Seidl, Stefan Woltran:
A Solver for QBFs in Nonprenex Form.
477-481
- Adam Zagorecki, Marek J. Druzdzel:
Knowledge Engineering for Bayesian Networks: How Common Are Noisy-MAX Distributions in Practice?
482-
Machine Learning
- Klaus Brinker, Johannes Fürnkranz, Eyke Hüllermeier:
A Unified Model for Multilabel Classification and Ranking.
489-493
- Sertan Girgin, Faruk Polat, Reda Alhajj:
Learning by Automatic Option Discovery from Conditionally Terminating Sequences.
494-498
- Tobias Jung, Daniel Polani:
Least Squares SVM for Least Squares TD Learning.
499-503
- Martin Mozina, Jure Zabkar, Ivan Bratko:
Argument Based Rule Learning.
504-508
- Richard Nock, Frank Nielsen:
A Real Generalization of Discrete AdaBoost.
509-515
- Viktor Pekar:
Discovery of Entailment Relations from Event Co-Occurrences.
516-520
- Son Bao Pham, Achim G. Hoffmann:
Efficient Knowledge Acquisition for Extracting Temporal Relations.
521-525
- Yilian Qin, Zoran Obradovic:
Efficient Learning from Massive Spatial-Temporal Data Through Selective Support Vector Propagation.
526-530
- Leonardo Rigutini, Ernesto Di Iorio, Marco Ernandes, Marco Maggini:
Automatic Term Categorization by Extracting Knowledge from the Web.
531-535
- Pieter Jan't Hoen, Sander M. Bohte, Han La Poutré:
Strategic Foresighted Learning in Competitive Multi-Agent Games.
536-
Natural Language Processing
- Abdulrahman Almuhareb, Massimo Poesio:
MSDA: Wordsense Discrimination Using Context Vectors and Attributes.
543-547
- Roberto Basili, Marco Cammisa, Alfio Massimiliano Gliozzo:
Imegrating Domain and Paradigmatic Similarity for unsupervised Sense Tagging.
548-552
- Danushka Bollegala, Yutaka Matsuo, Mitsuru Ishizuka:
Disambiguating Personal Names on the Web Using Automatically Extracted Key Phrases.
553-557
- Heshaam Feili, Gholamreza Ghassem-Sani:
Hisory-Based Inside-Outside Algorithm.
558-562
- Ana-Maria Giuglea, Alessandro Moschitti:
Shallow Semantic Parsing Based on FrameNet, VerbNet and PropBank.
563-567
- Alessandro Moschitti, Bonaventura Coppola, Daniele Pighin, Roberto Basili:
Semantic Tree Kernels to Classify Predicate Argument Structures.
568-
Planning and Scheduling
PAIS
- Adriano Venturini, Francesco Ricci:
Aplying Trip@dvice Recommendation Technology to www.visiteurope.com.
607-611
- Tilman Becker, Nate Blaylock, Ciprian Gerstenberger, Ivana Kruijff-Korbayová, Andreas Korthauer, Manfred Pinkal, Michael Pitz, Peter Poller, Jan Schehl:
Natural and Intuitive Multimodal Dialogue for In-Car Applications: The SAMMIE System.
612-616
- Sylvain Castagnos, Anne Boyer:
A Client/Server User-Based Collaborative Filtering Algorithm: Model and Implementation.
617-621
- Amedeo Cesta, Gabriella Cortellessa, Simone Fratini, Angelo Oddi, Nicola Policella:
Software Companion: The Mexar2 Support to Space Mission Planners.
622-626
- Sarah Jane Delany, Padraig Cunningham, Barry Smyth:
ECUE: A Spam Filter that Uses Machine Leaming to Track Concept Drift.
627-
- Alexander Felfernig, Klaus Isak, Christian Russ:
Knowledge-Based Recommendation: Technologies and Experiences from Projects.
632-636
- Andreas Junghanns, Mugur M. Tatar:
Diagnosing Highly Configurable Products: Troubleshooting Support for Airbus Final Assembly Line.
637-641
- Thorsten Kurz, Kilian Stoffel:
Web-Based Tools for Codification with Medical Ontologies in Switzerland.
642-646
- Karin Lunde, Rüdiger Lunde, Burkhard Münker:
Model-Based Failure Analysis with RODON.
647-
Perception
Robotics
Posters:
Cognitive Modeling
Posters:
Constraints and Search
Posters:
Distributed Al/Agents
- Samir Aknine:
Search Better and Gain More: Investigating New Graph Structures for Multi-Agent Negotiations.
711-712
- Leila Amgoud, Nabil Hameurlain:
An Argumentation-Based Framework for Designing Dialogue Strategies.
713-714
- Francesco Amigoni, Simone Farè, Michèle Lavagna, Guido Sangiovanni:
A Multiagent System for Scheduling Activities Onboard a Space System.
715-716
- Andrea Giovannucci, Jesús Cerquides, Juan A. Rodríguez-Aguilar:
Benefits of Combinatorial Auctions with Transformability Relationships.
717-718
- Guido Boella, Leendert W. N. van der Torre:
Count-As Conditionals, Classification and Context.
719-720
- Guido Boella, Leendert W. N. van der Torre:
Fair Distribution of Collective Obligations.
721-722
- Loes M. M. Braun, Floris Wiesman, H. Jaap van den Herik, Arie Hasman:
Proactive Identification of a Physician's Information Needs.
723-724
- Souhila Kaci, Leendert W. N. van der Torre, Emil Weydert:
Acyclic Argumentation: Attack = Conflict + Preference.
725-726
- Michal Laclavik, Marian Babik, Zoltan Balogh, Emil Gatial, Ladislav Hluchý:
Semantic Knowledge Model and Architecture for Agents in Discrete Environments.
727-728
- Julien Laumonier, Brahim Chaib-draa:
Partial Local FriendQ Multiagent Learning: Application to Team Automobile Coordination Problem.
729-730
- Laurent Perrussel, Jean-Marc Thévenin, Thomas Meyer:
Mutual Enrichment for Agents Through Nested Belief Change: A Semantic Approach.
731-732
- Victor Palmer:
Multi-Agent Least-Squares Policy Iteration.
733-734
Posters:
Knowledge Representation and Reasoning
- Maria Amalfi, Katia Lo Presti, Alessandro Provetti, Franco Salvetti:
Finding Instances of Deduction and Abduction in Clinical Experimental Transcripts.
737-738
- Mikael Asker, Jacek Malec:
A Semantics for Active Logic.
739-740
- Salem Benferhat, Daniel Le Berre, Karima Sedki:
An Alternative Inference for Qualitative Choice Logic.
741-742
- Martin Caminada, Chiaki Sakama:
On the Existence of Answer Sets in Normal Extended Logic Programs.
743-744
- Theodore Charitos:
Smoothed Particle Filtering for Dynamic Bayesian Networks.
745-746
- Célia da Costa Pereira, Andrea Tettamanzi, Leila Amgoud:
Goal Revision for a Rational Agent.
747-748
- Viktor de Boer, Maarten van Someren, Bob J. Wielinga:
A Redundancy-Based Method for Relation Instantiation from the Web.
749-750
- Robert Demolombe, Philippe Bretier, Vincent Louis:
Norms with Deadlines in Dynamic Deontic Logic.
751-752
- Alberto Finzi, Thomas Lukasiewicz:
Adaptive Multi-Agent Programming in GTGolog.
753-754
- Alfredo Gabaldon:
Formalizing Complex Task Libraries in Golog.
755-756
- Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato:
Automated Deduction for Logics of Default Reasoning.
757-758
- Björn Gottfried:
Reasoning About Motion Patterns.
759-760
- Catherine Howard, Markus Stumptner:
Applying OPRMs to Recursive Probability Models.
761-762
- Philippe Besnard, Jérôme Lang, Pierre Marquis:
Variable Forgetting in Preference Relations over Propositional Domains.
763-764
- Francesca A. Lisi, Floriana Esposito:
Two Orthogonal Biases for Choosing the Intensions of Emerging Concepts in Ontology Refinement.
765-766
- Maria Silvia Pini, Francesca Rossi, Kristen Brent Venable, Toby Walsh:
Computing Possible and Necessary Winners from Incomplete Partially-Ordered Preferences.
767-768
- Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub:
What's a Head Without a Body?
769-770
- Ján Sefránek, Jozef Siika:
Irrelevant Updates of Nonmonotonic Knowledge Bases.
771-772
- Mikhail Soutchanski, Huy Pham, John Mylopoulos:
Decision Making in Large-Scale Domains: A Case Study.
773-774
- Nicolas Troquard, Laure Vieu:
Towards a Logic of Agency and Actions with Duration.
775-776
Posters:
Model Based Reasoning
Posters:
Machine Learning
- Liviu Badea, Doina Tilivea:
Meta-Clustering Gene Expression Data with Positive Tensor Factorizations.
787-788
- Shlomo Berkovsky, Dan Goldwasser, Tsvi Kuflik, Francesco Ricci:
Identifying Inter-Domain Similarities Through Content-Based Analysis of Hierarchical Web-Directories.
789-790
- Michael Carney, Padraig Cunningham:
Calibrating Probability Density Forecasts with Multi-Objective Search.
791-792
- Ronan Cummins, Colm O'Riordan:
Weighting in Information Retrieval Using Genetic Programming: A Three Stage Process.
793-794
- Mathieu d'Aquin, Fadi Badra, Sandrine Lafrogne, Jean Lieber, Amedeo Napoli, Laszlo Szathmary:
Knowledge Discovery from a Case Base.
795-796
- Trinh Minh Tri Do, Thierry Artières:
Polynomial Conditional Random Fields for Signal Processing.
797-798
- Stefano Lodi, Gianluca Moro, Claudio Sartori:
Stream Clustering Based on Kernel Density Estimation.
799-800
- Henri Prade, Mathieu Serrurier:
Version Space Learning for Possibilistic Hypotheses.
801-802
- Juan José Rodríguez, Jesús Maudes:
Ensembles of Grafted Trees.
803-804
- Teemu Roos, Tuomas Heikkilä, Petri Myllymäki:
A Compression-Based Method for Stemmatic Analysis.
805-806
- Rudy Sicard, Thierry Artières, Eric Petit:
Patch Learning for Incremental Classifier Design.
807-808
- Evgueni N. Smirnov, Ida G. Sprinkhuizen-Kuyper, Georgi I. Nalbantov, Stijn Vanderlooy:
Version Space Support Vector Machines.
809-810
- Evgueni N. Smirnov, Stijn Vanderlooy, Ida G. Sprinkhuizen-Kuyper:
Meta-Typicalness Approach to Reliable Classification.
811-812
- Efstathios Stamatatos:
Text Sampling and Re-Sampling for Imbalanced Authorship Identification Cases.
813-814
- Benno Stein, Sven Meyer zu Eissen:
Is Web Genre Identification Feasible?
815-816
Posters:
Natural Language Processing
- Marco Ernandes, Giovanni Angelini, Marco Gori, Leonardo Rigutini, Franco Scarselli:
Adaptive Context-Based Term (Re)Weighting: An Experiment on Single-Word Question Answering.
819-820
- Bernd Ludwig, Stefan Mandl:
How to Analyze Free Text Descriptions for Recommending TV Programmes?
821-822
- Richard Nock, Pascal Vaillant, Frank Nielsen, Claudia Henry:
Soft Uncoupling of Markov Chains for Permeable Language Distinction: A New Algorithm.
823-824
- Fabio Rinaldi, Gerold Schneider, Kaarel Kaljurand, Michael Hess:
Tools for Text Mining over Biomedical Literature.
825-826
- Manfred Stede, Heike Bieler, Stefanie Dipper, Arthit Suriyawongkul:
SUMMaR: Combining Linguistics and Statistics for Text Summarization.
827-828
- Benno Stein, Daniel Curatolo:
Phonetic Spelling and Heuristic Search.
829-830
Posters:
PAIS
- Juan Ángel García-Pardo, Stella Heras Barberá, Rafael Ramos-Garijo, Alberto Palomares, Vicente Julián, Miguel Rebollo, Vicente J. Botti:
CBR-TM: A New Case-Based Reasoning System for Help-Desk Environments.
833-834
- Arjen Hommersom, Perry Groot, Peter J. F. Lucas, Michael Balser, Jonathan Schmitt:
Verification of Medical Guidelines Using Task Execution with Background Knowledge.
835-836
Posters:
Planning and Scheduling
Posters:
Robotics/Perception
Copyright © Mon Mar 15 03:34:12 2010
by Michael Ley (ley@uni-trier.de)
