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