13. ECAI 1998:
Brighton,
UK
Henri Prade (Ed.):
13th European Conference on Artificial Intelligence,
Brighton,
UK,
August 23-28 1998,
Proceedings. John Wiley and Sons,
Chichester,
1998
Belief Revision and Nonmonotonic Reasoning
Young Researcher (short) Papers
- Leila Amgoud:
Using Preferences to Select Acceptable Arguments.
43-44
- C. Pain-Barre:
Using Relevance for Selecting Integrity Constraints which Do Not Interfer in Knowledge Base Update.
45-46
- Riccardo Rosati:
Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case.
47-48
- Sofie Verbaeten:
The Closing Operator: From Partial to Complete Knowledge.
49-50
Case-Based Reasoning and Knowledge-Based Systems
- Ralph Bergmann, Wolfgang Wilke:
Towards a New Formal Model of Transformational Adaptation in Case-Based Reasoning.
53-57
- Andrea Bonzano, Padraig Cunningham:
Hierarchical CBR for Multiple Aircraft Conflict Resolution.
58-62
- Dieter Fensel, V. Richard Benjamins:
An Architecture for Reusing Problem-Solving Components.
63-67
- Jean Lieber, Amedeo Napoli:
Correct and Complete Retrieval for Case-Based Problem-Solving.
68-72
- Luigi Portinale, Pietro Torasso, Paolo Tavano:
Dynamic Case Memory Management.
73-77
- Annette ten Teije, Frank van Harmelen:
Characterising Approximate Problem-Solving: From Partially Fulfilled Preconditions to Partially Achieved Functionality.
78-82
- Luis Torres, Claudia S. Frydman:
Verifying and Validating Specification of Knowledge-Based Systems.
83-87
- Erika Valencia, Jean-Louis Giavitto, Jean-Paul Sansonnet:
Algebraic Topology for Knowledge Representation in Analogy Solving.
88-92
- Tony Veale:
'Just-in-Time' Analogical Reasoning: A Progressive-Deepening Model of Structure-Mapping.
93-97
Young Researcher (short) Papers
Cognitive Modelling
Young Researcher (short) Papers
- A. Alauzet:
ADELE: A Blackboard-based Architecture for Ergonomic Simulation.
129-130
- Fernando C. N. Pereira:
Modelling Divergent Production: A multi-domain approach.
131-132
Computational Linguistics and Ontologies
- Roberto Basili, Maria Teresa Pazienza, Fabio Massimo Zanzotto:
Efficient Parsing for Information Extraction.
135-139
- Frans Coenen, Bridget Beattie, Trevor J. M. Bench-Capon, B. M. Diaz, Michael J. R. Shave:
Spatio-temporal Reasoning Using a Multi-dimensional Tesseral Representation.
140-144
- P. Cohen:
Dynamic Maps as Representations of Verbs.
145-149
- Anthony G. Cohn, Achille C. Varzi:
Connection Relations in Mereotopology.
150-154
- Olivier Ferret, Brigitte Grau:
A Thematic Segmentation Procedure for Extracting Semantic Domains from Texts.
155-159
- Udo Hahn:
Knowledge Generation from Texts.
160-164
- Udo Hahn, Ulrich Reimer:
Text Summarization Based on Terminological Logics.
165-169
- Fidelia Ibekwe-Sanjuan:
A Linguistic and Mathematical Method for Mapping Thematic Trends from Texts.
170-174
- M. Kipp:
The Neural Path to Dialogue Acts.
175-179
- Alexandra Musto, Klaus Stein, Andreas Eisenkolb, Kerstin Schill, Wilfried Brauer:
Generalization, Segmentation and Classification of Qualitative Motion Data.
180-184
- Mark Stevenson, Hamish Cunningham, Yorick Wilks:
Sense Tagging and Language Engineering.
185-189
- Karsten L. Worm, C. J. Rupp:
Towards Robust Understanding of Speech by Combination of Partial Analyses.
190-194
Young Researcher (short) Papers
- João Balsa:
A Hierarchical Multi-Agent System for Natural Language Diagnosis.
195-196
- Anja Belz:
A Few English Words Can Help Improve Your Russian.
197-198
- P. Lopez:
A LTAG Grammar for Parsing Oral and Incomplete Utterances.
199-200
- Christof Monz:
Dynamic Semantics and Underspecification.
201-202
- T. L. Soto, Jose F. Quesada:
Spoken Language Parsing Strategies in a Conversational System.
203-204
- A. Willis:
Using Functional Structure forProbabilistic Semantic Disambiguation.
205-206
Constraint-Based Reasoning
- Mohamed-Salah Affane, Hachemi Bennaceur:
A Weighted Arc Consistency Technique for MAX-CSP.
209-213
- Thierry Castell, Hélène Fargier:
Propositional Satisfaction Problems and Clausal CSPs.
214-218
- Youssef Hamadi, Christian Bessière, Joël Quinqueton:
Distributed Intelligent Backtracking.
219-223
- Narendra Jussien, Olivier Lhomme:
Dynamic Domain Splitting for Numeric CSPs.
224-228
- Javier Larrosa, Pedro Meseguer:
Partial Lazy Forward Checking for MAX-CSP.
229-233
- D. Liang, W. Li:
Multi-strategy Local Search for SAT Problem.
234-238
- Pedro Meseguer, Toby Walsh:
Interleaved and Discrepancy Based Search.
239-243
- John K. Slaney, Sylvie Thiébaux:
On the Hardness of Decision and Optimisation Problems.
244-248
- Barbara M. Smith, Stuart A. Grant:
Trying Harder to Fail First.
249-253
- Rainer Weigel, Christian Bliek:
On Reformulation of Constraint Satisfaction Problems.
254-258
Young Researcher (short) Papers
- Susanne Heipcke:
Integrating Constraint Programming Techniques into Mathematical Programming.
259-260
- Hana Rudová:
Constraints with Variables' Annotations.
261-262
- Gerhard Wetzel, F. Zabatta:
A Constraint Programming Approach to Portfolio Selection.
263-264
- Yuanlin Zhang, Hui Wu:
Bound Consistency on Linear Constraints in Finite Domain Constraint.
265-266
Diagnosis
Young Researcher (short) Paper
- Roberto Ranon:
The Closure Properties of Functional Flow-Based Approaches and Their Relevance to Diagnosis.
289-290
Distributed AI and Multiagent Systems
Young Researcher (short) Papers
- Valérie Camps:
Application of a Self-Organizing Method Based on Cooperation to Information Retrieval.
313-314
- Humbert Fiorino:
Principles for Cooperative Conjecture Elaboration in a Multiagent Context.
315-316
- Babak Sadighi Firozabadi, Leendert W. N. van der Torre:
Formal Models of Control Systems.
317-318
- Alex L. Hayzelden:
Telecommunications Multi-Agent Control System (Tele-MACS).
319-320
- R. J. Imbert:
Camits: a Cooperative Agents Model for Intelligent Tutoring Systems.
321-322
- Claude Lattaud:
A Macro - Mutation Operator in Genetic Algorithms.
323-324
- F. B. Pereira:
An Artificial Life Model for Information Retrieval in a Distributed Environment.
325-326
- S. Picault:
A Multi-Agent Simulation of Primate Social Concepts.
327-328
Knowledge Representation
Young Researcher (short) Papers
Logic Programming and Automated Reasoning
Young Researcher (short) Papers
- Fabio Massacci:
Cook and Reckhow are Wrong: Subexponential Tableaux Proofs for Their Family of Formulae.
408-409
- Viorica Sofronie-Stokkermans:
On Translation of Finitely-Valued Logics to Classical First-Order Logic.
410-411
Machine Learning and Data Mining
- Marco Botta, Attilio Giordana, Roberto Piola:
An Integrated Framework of Learning Numerical Terms in FOL.
415-419
- Pierre Brézellec, Henry Soldano:
Tabata: A Learning Algorithm Performing a Bidirectional Search in a Reduced Search Space Using a Tabu Strategy.
420-424
- Keeley A. Crockett, Zuhair Bandar, Akeel Al-Attar:
A Fuzzy Inference Framework For Induced Decision Trees.
425-429
- Robert Engels, C. Theusinger:
Using a Data Metric for Preprocessing Advice for Data Mining Applications.
430-434
- Donato Malerba, Floriana Esposito, Francesca A. Lisi:
Learning Recursive Theories with ATRE.
435-439
- Mohamed Salah Hamdi, Karl Kaiser:
Learning to Coordinate Behaviors.
440-444
- Matjaz Kukar, Igor Kononenko:
Cost-Sensitive Learning with Neural Networks.
445-449
- Terry R. Payne, Peter Edwards:
Implicit Feature Selection with the Value Difference Metric.
450-454
- Marko Robnik-Sikonja, Igor Kononenko:
Pruning Regression Trees with MDL.
455-459
- Evgueni N. Smirnov, Peter J. Braspenning:
Version Space Learning with Instance-Based Boundary Sets.
460-464
Young Researcher (short) Papers
- Stéphane Calderoni:
Collective Learning in MultiAgent Systems.
465-466
- R. Ichise:
Inductive Logic Programming and Genetic Programming.
467-468
- Peter Lane:
Simple Synchrony Networks: Learning Generalisations across Syntactic Constituents.
469-470
- E. Mayer:
Inductive Learning of Chronicles.
471-472
- Dunja Mladenic:
Turning Yahoo to Automatic Web-Page Classifier.
473-474
- Fabrizio Riguzzi:
Integrating Abduction and Induction.
475-476
Planning and Scheduling
Young Researcher (short) Papers
- Rosy Barruffi, Michela Milano:
Interactive Constraint Satisfaction techniques for Information Gathering in Planning.
514-515
- Silvia Silva da Costa Botelho:
A Sistributed Scheme for Task Planning and Negotiation in Multi-Robot Systems.
516-517
- Paolo Liberatore:
On Non-Conservative Plan Modification.
518-519
- Angelo Oddi:
Solving Multiple Capacitated Scheduling Problems with Tabu Search.
520-521
- S. Scott:
Separating Constraint Dimensions in a Scheduling Problem to Reduce Search Space.
522-523
Reasoning about Actions,
Temporal and Spatial Reasoning
- Paolo Giangrandi:
Managing Temporal Beliefs.
527-531
- Hector Geffner, Jacques Wainer:
Modeling Action, Knowledge and Control.
532-536
- Laura Giordano, Alberto Martelli, Camilla Schwind:
Dealing with Concurrent Actions in Modal Action Logics.
537-541
- Lars Karlsson, Joakim Gustafsson, Patrick Doherty:
Delayed Effects of Actions.
542-546
- F. Levy, Joachim Quantz:
Representing Beliefs in a Situated Event Calculus.
547-551
- Churn-Jung Liau:
A Logic for Reasoning about Action, Preference, and Commitment.
552-556
- Alessio Lomuscio, Mark Ryan:
Ideal Agents Sharing (some!) Knowledge.
557-561
- Jochen Renz, Bernhard Nebel:
Efficient Algorithms for Qualitative Spatial Reasoning.
562-566
- Steffen Staab:
On Non-Binary Temporal Relations.
567-571
Reasoning under Uncertainty:
Probabilistic and Fuzzy Set-Based Modelling
Young Researcher (short) Papers
Robotics,
Vision,
and Signal Understanding
- Rachid Alami, François Felix Ingrand, S. Qutub:
A Scheme for Coordinating Multi-robots Planning Activities and Plans Execution.
617-621
- Ruth Aylett, James K. Soutter, Gary J. Petley, Paul W. H. Chung:
AI Planning in a Chemical Plant Domain.
622-626
- Claude Barrouil, Charles Castel, Patrick Fabiani, R. Mampey, P. Secchi, Catherine Tessier:
Perception Strategy for a Surveillance System.
627-631
- Michael Beetz, Tom Arbuckle, Armin B. Cremers, M. Mann:
Transparent, Flexible, and Resource-adaptive Image Processing for Autonomous Service Robots.
632-636
- Eric O. Postma, H. Jaap van den Herik, Patrick T. W. Hudson:
Spatio-chromatic Features for Image Recognition.
637-642
Search and Meta-Heuristics for AI
User Interfaces
Young Researcher (short) Papers
- Berardina De Carolis:
Introducing Reactivity in Adaptive Hypertext Generation.
682-683
- Antonio Krüger:
Graphical Abstraction - How to adapt the detail of graphics to limited resources.
684-685
Invited Speakers
Copyright © Mon Nov 2 20:31:29 2009
by Michael Ley (ley@uni-trier.de)
