ECAI-2000 Logo

ECAI-2000 Table of Contents


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

[PDF]
The WITAS Unmanned Aerial Vehicle Project
Patrick Doherty, Gösta Granlund, Krzystof Kuchcinski, Erik Sandewall, Klas Nordberg, Erik Skarman, Johan Wiklund

[PDF]
Artificial Intelligence in RoboCup
Daniele Nardi

[PDF]
Knowledge Representation and Reasoning - The Theoretical Side of AI
Bernhard Nebel

[PDF]
The Emergence of Grammar in Communicating Autonomous Robotic Agents
Luc Steels

[PDF]
Search in AI - Escaping from the CSP Straightjacket
Mark Wallace

[PDF]


Author Index
Keyword Index


ECAI-2000 is organised by the European Coordinating Committee for Artificial Intelligence (ECCAI) and hosted by the Humboldt University on behalf of Gesellschaft für Informatik.