14. ECAI 2000:
Berlin,
Germany
Werner Horn (Ed.):
ECAI 2000, Proceedings of the 14th European Conference on Artificial Intelligence, Berlin, Germany, August 20-25, 2000.
IOS Press 2000 
@proceedings{DBLP:conf/ecai/2000,
editor = {Werner Horn},
title = {ECAI 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
booktitle = {ECAI},
publisher = {IOS Press},
year = {2000},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Salem Benferhat, Didier Dubois, Souhila Kaci, Henri Prade:
Encoding Information Fusion in Possibilistic Logic: A General Framework for Rational Syntactic Merging.
3-7
- Salem Benferhat, Didier Dubois, Henri Prade:
Kalman-like Filtering in a possibilistic Setting.
8-12
- Salem Benferhat, Sébastien Konieczny, Odile Papini, Ramón Pino Pérez:
Iterated Revision by Epistemic States: Axioms, Semantics and Syntax.
13-17
- Gerhard Brewka:
Declarative Representation of Revision Strategies.
18-22
- Sylvie Coste-Marquis, Pierre Marquis:
Compiling Stratified Belief Bases.
23-27
- Laura Giordano, Valentina Gliozzi, Nicola Olivetti:
A Conditional Logic for Iterated Belief Revision.
28-32
- Wiebe van der Hoek, Cees Witteveen:
Classical, General Frameworks for Recovery.
33-37
- Emil Weydert:
How to Revise Ranked Probabilities.
38-44
- Béatrice Fuchs, Jean Lieber, Alain Mille, Amedeo Napoli:
An Algorithm for Adaptation in Case-based Reasoning.
45-49
- Eyke Hüllermeier:
Focusing Search by Using Problem Solving Experience.
50-54
- Eyke Hüllermeier:
Similarity-based Inference as Evitential Reasoning.
55-59
- Elizabeth McKenna, Barry Smyth:
Competence-guided Editing Methods for Lazy Learning.
60-64
- Barry Smyth, Mark Mullins, Elizabeth McKenna:
Picture Perfect: Visualisation Techniques for Case-based Reasoning.
65-72
- Francisco Azevedo, Pedro Barahona:
Differentiating Diagnosis Theories through Constaints over an Eight-valued Logic.
73-77
- Jean-François Condotta:
Tractable Sets of the Generalized Interval Algebra.
78-82
- Diana Cukierman, James P. Delgrande:
A Formalization of Structured Temporal Objects and Repetition.
83-87
- Romuald Debruyne:
A Property of Path Inverse Consistency Leading to an Optimal PIC Algorithm.
88-92
- Ari K. Jónsson, Jeremy Frank:
A Framework for Dynamic Constraint Reasoning using Procedural Constraints.
93-97
- Chu Min Li, Sylvain Gérard:
On the Limit of Branching Rules for Hard Random Unsatisfiable 3-SAT.
98-102
- Vasco M. Manquinho, João P. Marques Silva:
Search Pruning Conditions for Boolean Optimization.
103-107
- Angelo Oddi, Amedeo Cesta:
Incremental Forward Checking for the Disjunctive Temporal Problem.
108-112
- Josh Singer, Ian P. Gent, Alan Smaill:
Local Search on Random 2+p-SAT.
113-117
- Christine Solnon:
Solving Permutation Constraint Satisfaction Problems with Artificial Ants.
118-122
- John K. Slaney, Sylvie Thiébaux, Philip Kilby:
Estimating the Hardness of Optimisation.
123-130
- Luca Console, Claudia Picardi, Marina Ribaudo:
Diagnosis and Diagnosability Analysis Using PEPA.
131-135
- Marie-Odile Cordier, Philippe Dague, Michel Dumas, François Lévy, Jacky Montmain, Marcel Staroswiecki, Louise Travé-Massuyès:
A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis.
136-140
- Hidde de Jong, Michel Page:
Qualitative Simulation of Large and Complex Genetic Regulation Systems.
141-145
- Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner:
Consistency-Based Diagnosis of Configuration Knowledge Bases.
146-150
- Gianfranco Lamperti, Marina Zanella:
Uncertain Temporal Observations in Diagnosis.
151-155
- Christine Largouët, Marie-Odile Cordier:
Timed Automata Model to Improve the Classification of a Sequence of Images.
156-160
- Mark Lee:
Qualitative Modelling of Linear Networks in Engineering Applications.
161-165
- Paolo Liberatore, Francesco M. Donini:
Verification Programs for Abduction.
166-170
- Cristinel Mateis, Markus Stumptner, Franz Wotawa:
Modeling Java Programs for Diagnosis.
171-175
- Andrea Panati, Daniele Theseider Dupré:
State-based vs Simulation-based Diagnosis of Dynamic Systems.
176-180
- Annette ten Teije, Frank van Harmelen:
Describing Problem Solving Methods using Anytime Performance Profiles.
181-185
- Günter Tusch:
Optimal Sequential Decisions in Liver Transplantation on a POMDP Model.
186-190
- Ivayla Vatcheva, Hidde de Jong, Nicolaas J. I. Mars:
Selection of Perturbation Experiments for Model Discrimination.
191-198
- Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke:
Tree-based Heuristics in Modal Theorem Proving.
199-203
- Brandon Bennett, Anthony G. Cohn, Paolo Torrini, Shyamanta M. Hazarika:
A Foundation for Region-based Qualitative Geometry.
204-208
- Alexander Borgida, Enrico Franconi, Ian Horrocks:
Explaining ALC Subsumption.
209-213
- Floriana Grasso:
Using an Ontology Conceptualisation Method to Capture an Advice Giving System Knowledge.
214-218
- Nicola Guarino, Christopher A. Welty:
Identity, Unity, and Individuality: Towards a Formal Toolkit for Ontological Analysis.
219-223
- Richard C. Meathrel, Antony Galton:
Qualitative Representation of Planar Outlines.
224-228
- Erica Melis, Jürgen Zimmer, Tobias Müller:
Extensions of Constraint Solving for Proof Planning.
229-233
- Reinhard Moratz, Jochen Renz, Diedrich Wolter:
Qualitative Spatial Reasoning about Line Segments.
234-238
- Ulrike Sattler:
Description Logics for the Representation of Aggregated Objects.
239-243
- Frank Wolter, Michael Zakharyaschev:
Spatial Reasoning in RCC-8 with Boolean Region Terms.
244-250
- Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos, Miguel Toro:
Data Set Editing by Ordered Projection.
251-255
- Érick Alphonse, Céline Rouveirol:
Lazy Propositionalisation for Relational Learning.
256-260
- Necati Aras, I. Kuban Altinel, B. John Oommen:
A Kohonen-like Decomposition Method for the Traveling Salesman Problem: KNIESDECOMPOSE.
261-265
- Lluís A. Belanche Muñoz:
Similarity-based Heterogeneous Neuron Models.
271-275
- Rickard Cöster, Lars Asker:
Similarity-based Approach to Relevance Learning.
276-280
- Alain Dutech:
Solving POMDPs Using Selected Past Events.
281-285
- Aneurin M. Easwaran, Jeremy Pitt:
An Agent Service Brokering Algorithm for Winner Determination in Combinatorial Auctions.
286-290
- Johannes Fürnkranz, Bernhard Pfahringer, Hermann Kaindl, Stefan Kramer:
Learning to Use Operational Advice.
291-295
- Frédérick Garcia, Florent Serre:
Efficient Asymptotic Approximation in Temporal Difference Learning.
296-300
- Marco Gori, Paolo Frasconi, Alessandro Sperduti:
Learning Efficiently with Neural Networks: A Theoretical Comparison between Structured and Flat Representations.
301-305
- Udo Heuser, Wolfgang Rosenstiel:
Automatic Generation of Local Internet Catalogues Using the Hierarchical Radius-based Competitive Learning.
306-310
- Frank Kirchner, Corinna Richter:
Q-Surfing: Exploring a World Model by Significance Values in Reinforcement Learning Tasks.
311-315
- David Lorenzo, Ramón P. Otero:
Learning to Reason About Actions.
316-320
- Alexander Maedche, Steffen Staab:
Discovering Conceptual Relations from Text.
321-325
- Vicenç Torra:
Towards the Re-identification of Individuals in Data Files with Non-common Variables.
326-332
- Alessandro Agostini:
Team-Solvability: A Model-Theoretic Perspective.
333-337
- Leila Amgoud, Simon Parsons, Nicolas Maudet:
Arguments, Dialogue, and Negotiation.
338-342
- Mihai Barbuceanu, Wai-Kau Lo:
Integrating Individual, Organizational and Market Level Reasioning for Agent Coordination.
343-347
- Rachel A. Bourne, Cora B. Excelente-Toledo, Nicholas R. Jennings:
Run-Time Selection of Coordination Mechanisms in Multi-Agent Systems.
348-352
- Cristiano Castelfranchi:
Founding Agents' "Autonomy" on Dependence Theory.
353-357
- Koen V. Hindriks, Mark d'Inverno, Michael Luck:
Architecture for Agent Programming Languages.
363-367
- Churn-Jung Liau:
Logical Systems for Reasoning about Multi-agent Belief, Information Acquisition and Trust.
368-372
- Xudong Luo, Ho-fung Leung, Jimmy Ho-Man Lee:
Theory and Properties of a Selfish Protocol for Multi-Agent Meeting Scheduling Using Fuzzy Constraints.
373-377
- Simon Parsons, Ola Pettersson, Alessandro Saffiotti, Michael Wooldridge:
Intention Reconsideration in Theory and Practice.
378-382
- Takuo Tsuruta, Toramatsu Shintani:
Scheduling Meetings Using Distributed Valued Constraint Satisfaction Algorithm.
383-387
- Gerhard Weiss:
Achieving Coordination through Combining Joint Planning and Joint Learning.
388-392
- Michael Wooldridge, Simon Parsons:
Languages for Negotiation.
393-400
- Tilman Becker, Anne Kilger, Patrice Lopez, Peter Poller:
Multilingual Generation for Translation in Speech-to-Speech Dialogues and its Realization in Verbmobil.
401-405
- Alain Bidault, Christine Froidevaux, Brigitte Safar:
Repairing Queries in a Mediator Approach.
406-410
- Neus Català, Núria Castell, Mario Martin:
Essence: A Portable Methodology for Acquiring Information Extraction Patterns.
411-415
- Fabio Ciravegna, Alberto Lavelli, Giorgio Satta:
Bringing Information Extraction out of the Labs: the NoName Environment.
416-420
- Gerard Escudero, Lluís Màrquez, German Rigau:
Naive Bayes and Exemplar-based Approaches to Word Sense Disambiguation Revisited.
421-425
- Olivier Ferret, Brigitte Grau:
A Topic Segmentation of Texts based on Semantic Domains.
426-430
- Annika Flycht-Erikson:
A Domain Knowledge Manager for Dialogue Systems.
431-435
- Christian R. Huyck:
A Practical System for Human-like Parsing.
436-440
- António Ribeiro, José Gabriel Pereira Lopes, João Mexia:
Linear Regression Based Alignment of Parallel Texts Using Homograph Words.
446-450
- Paola Velardi, Alessandro Cucchiarelli:
A Theoretical Analysis of Context-based Learning Algorithms or Word Sense Disambiguation.
451-458
- Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, Andrew Rock:
A Family of Defeasible Reasoning Logics and its Implementation.
459-463
- James P. Delgrande, Torsten Schaub, Hans Tompits:
Logic Programs with Compiled Preferences.
464-468
- Guido Governatori, Michael J. Maher:
An Argumentation-Theoretic Characterization of Defeasible Logic.
469-473
- Yves Moinard:
Characterizing General Preferential Entailments.
474-478
- Yves Moinard, Raymond Rolland:
Equivalent Sets of Formulas for Circumscriptions.
479-483
- Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
GADEL: a Genetic Algorithm to Compute Default Logic Extensions.
484-490
- Luigi Ceccaroni, Dave Robertson:
WaRP: A Reactive Planner Integrated in an Environmental Decision Support System fo Wastewater Treatment Plant Management.
491-495
- Jun Hong:
Plan Recognition through Goal Graph Analysis.
496-500
- Jonas Kvarnström, Patrick Doherty, Patrik Haslum:
Extending TALplanner with Concurrency and Resources.
501-505
- Ian Miguel, Peter Jarvis, Qiang Shen:
Flexible Graphplan.
506-510
- Silvia Miksch, Andreas Seyfang:
Continual Planning with Time-Oriented, Skeletal Plans.
511-515
- Pavlos Moraitis, Alexis Tsoukiàs:
Graph Based Representation of Dynamic Planning.
516-520
- Ioannis Refanidis, Ioannis P. Vlahavas:
Heuristic Planning with Resources.
521-525
- Jussi Rintanen:
Incorporation of Temporal Logic Control into Plan Operators.
526-530
- Laura Sebastia, Eva Onaindia, Eliseo Marzal:
A Graph-based Approach for POCL Planning.
531-535
- Richard J. Wallace, Eugene C. Freuder:
Dispatchability Conditions for Schedules with Consumable Resources.
536-542
- Pedro Cabalar, Ramón P. Otero, Silvia Gómez Pose:
Temporal Constraint Networks in Action.
543-547
- Henrik Grosskreutz, Gerhard Lakemeyer:
Turning High-Level Plans into Robot Programs in Uncertain Domains.
548-552
- Koen V. Hindriks, Yves Lespérance, Hector J. Levesque:
An Embedding of ConGolog in 3APL.
558-562
- Eugenia Ternovskaia:
ID-logic and the Ramification Problem for the Situation Calculus.
563-570
- Stefan Arnborg, Gunnar Sjödin:
Bayes Rules in Finite Models.
571-575
- Rainer Deventer, Heinrich Niemann:
Non-linear Modelling of a Production Process by Hybrid Bayesian Networks.
576-580
- Gabriele Kern-Isberner:
Solving the Inverse Representation Problem.
581-585
- Régis Sabbadin:
Empirical Comparison of Probabilistic and Possibilistic Markov Decision Processes Algorithms.
586-590
- Axel Vogler, Patrick Rammelt, Jörg Herbers, Dietmar Neumerkel:
Visual Design Support in Dynamic Probabilistic Networks for Driver Modelling.
591-598
- Ian P. Gent, Barbara M. Smith:
Symmetry Breaking in Constraint Programming.
599-603
- Helmut Horacek:
Towards Understanding Conceptual Differences Between Minimaxing and Product-Propagation.
604-608
- Masashi Shimbo, Toru Ishida:
Towards Real-Time Search with Inadmissible Heuristics.
609-613
- John K. Slaney:
Is there a Constaintness Knife-edge?
614-620
- Liliana Ardissono, Pietro Torasso:
Dynamic User Modeling in a Web Store Shell.
621-625
- Simon Dixon, Emilios Cambouropoulos:
Beat Tracking with Musical Knowledge.
626-630
- Mitsunori Matsushita, Hayato Yonezawa, Tsuneaki Kato:
Frame Representation of User's Requirement for Automated Data Visualization.
631-635
- Christophe Vaudry, Michel Crampes:
Composition Through Agent Negotiation: A Step Towards Fluid Interface.
636-642
- Jean-Christophe Baillie, Jean-Gabriel Ganascia:
Action Categorization from Video Sequences.
643-647
- Michael Beetz, Thorsten Belker:
Autonomous Environment and Task Adaptation for Robotic Agents.
648-652
- Krysia Broda, Christopher J. Hogger, Sam Watson:
Constructing Teleo-reactive Robot Programs.
653-657
- Antonio D'Angelo, Federico Montesello, Enrico Pagello:
Can Representation be Liberated from Symbolism: Modeling Robot Actions with Roboticles.
658-662
- Stefan Kopp, Ipke Wachsmuth:
A Knowledge-based Approach for Lifelike Gesture Animation.
663-667
- Peter Pachowicz, Sung Wook Baik:
On-Line Model Modification for Adaptive Object Recognition.
668-672
- Nathanaël Rota, Monique Thonnat:
Activity Recognition from Video Sequences using Declarative Models.
673-680
- Sarabjot S. Anand, Matthias Baumgarten, Alex G. Büchner, Maurice D. Mulvenna:
Gaining Insights into Web Customers using Web Intelligence.
681-685
- Clara Bagnasco, Amedeo Cappelli, Bernardo Magnini:
A Dialogue Environment for Accessing Public Administration Data: the TAMIC-P System.
686-690
- Stefania Bandini, Sara Manzoni:
A Knowledge-Based System for the Design of Rubber Compounds in Motor Racing.
691-695
- Fabio Ciravegna, Alberto Lavelli, Nadia Mana, Johannes Matiasek, Luca Gilardoni, Silvia Mazza, Massimo Ferraro, William J. Black, Fabio Rinaldi, David Mowatt:
Flexible Text Classification for Financial Applications: The Facile System.
696-700
- Paul Cotter, Barry Smyth:
Personalisation Technologies for the Digital TV World.
701-705
- Francisco P. Maturana, Sivaram Balasubramanian, Dave Vasko:
An Autonomous Cooperative System for Material Handling Applications.
706-710
- Robert Milne, Charlie Nicol:
Tiger: Continuous Diagnosis of Gas Turbines.
711-715
- Stefania Montani, Riccardo Bellazzi, Alberto Riva, Cristiana Larizza, Luigi Portinale, Mario Stefanelli:
Artificial Intelligence Techniques for Diabetes Management: the T-IDDM Project.
716-720
- Chris Price:
Autosteve: Automated Electrical Design Analysis.
721-725
- Kanna Rajan, Douglas E. Bernard, Gregory Dorais, Edward B. Gamble, Bob Kanefsky, James Kurien, William Millar, Nicola Muscettola, P. Pandurang Nayak, Nicolas F. Rouquette, Benjamin D. Smith, William Taylor, Yu-Wen Tung:
Remote Agent: An Autonomous Control System for the New Millennium.
726-730
- Rik Gerrits, Silvie Spreeuwenberg:
VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base.
731-738
- Piero P. Bonissone:
Hybrid Soft Computing: Where are we Going?
739-746
- Patrik Dohrty, Gösta H. Granlund, Krzysztof Kuchcinski, Erik Sandewall, Klas Nordberg, Erik Skarman, Johan Wiklund:
The WITAS Unmanned Aerial Vehicle Project.
747-755
- Daniele Nardi:
Artificial Intelligence in RoboCup.
756-762
- Bernhard Nebel:
Knowledge Representation and Reasoning: The Theoretical Side of AI.
763-763
- Luc Steels:
The Emergence of Grammar in Communicating Autonomous Robotic Agents.
764-769
- Mark Wallace:
Search in AI: Escaping from the CSP Straightjacket.
770-776
Copyright © Sun Nov 8 02:15:57 2009
by Michael Ley (ley@uni-trier.de)
