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