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 BibTeX
- C. Pain-Barre:
Using Relevance for Selecting Integrity Constraints which Do Not Interfer in Knowledge Base Update.
45-46 BibTeX
- Riccardo Rosati:
Expressiveness vs. Complexity in Nonmonotonic Knowledge Bases: Propositional Case.
47-48 BibTeX
- Sofie Verbaeten:
The Closing Operator: From Partial to Complete Knowledge.
49-50 BibTeX
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 BibTeX
- Andrea Bonzano, Padraig Cunningham:
Hierarchical CBR for Multiple Aircraft Conflict Resolution.
58-62 BibTeX
- Dieter Fensel, V. Richard Benjamins:
An Architecture for Reusing Problem-Solving Components.
63-67 BibTeX
- Jean Lieber, Amedeo Napoli:
Correct and Complete Retrieval for Case-Based Problem-Solving.
68-72 BibTeX
- Luigi Portinale, Pietro Torasso, Paolo Tavano:
Dynamic Case Memory Management.
73-77 BibTeX
- Annette ten Teije, Frank van Harmelen:
Characterising Approximate Problem-Solving: From Partially Fulfilled Preconditions to Partially Achieved Functionality.
78-82 BibTeX
- Luis Torres, Claudia S. Frydman:
Verifying and Validating Specification of Knowledge-Based Systems.
83-87 BibTeX
- Erika Valencia, Jean-Louis Giavitto, Jean-Paul Sansonnet:
Algebraic Topology for Knowledge Representation in Analogy Solving.
88-92 BibTeX
- Tony Veale:
'Just-in-Time' Analogical Reasoning: A Progressive-Deepening Model of Structure-Mapping.
93-97 BibTeX
Young Researcher (short) Papers
Cognitive Modelling
Young Researcher (short) Papers
Computational Linguistics and Ontologies
- Roberto Basili, Maria Teresa Pazienza, Fabio Massimo Zanzotto:
Efficient Parsing for Information Extraction.
135-139 BibTeX
- 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 BibTeX
- P. Cohen:
Dynamic Maps as Representations of Verbs.
145-149 BibTeX
- Anthony G. Cohn, Achille C. Varzi:
Connection Relations in Mereotopology.
150-154 BibTeX
- Olivier Ferret, Brigitte Grau:
A Thematic Segmentation Procedure for Extracting Semantic Domains from Texts.
155-159 BibTeX
- Udo Hahn:
Knowledge Generation from Texts.
160-164 BibTeX
- Udo Hahn, Ulrich Reimer:
Text Summarization Based on Terminological Logics.
165-169 BibTeX
- Fidelia Ibekwe-Sanjuan:
A Linguistic and Mathematical Method for Mapping Thematic Trends from Texts.
170-174 BibTeX
- M. Kipp:
The Neural Path to Dialogue Acts.
175-179 BibTeX
- Alexandra Musto, Klaus Stein, Andreas Eisenkolb, Kerstin Schill, Wilfried Brauer:
Generalization, Segmentation and Classification of Qualitative Motion Data.
180-184 BibTeX
- Mark Stevenson, Hamish Cunningham, Yorick Wilks:
Sense Tagging and Language Engineering.
185-189 BibTeX
- Karsten L. Worm, C. J. Rupp:
Towards Robust Understanding of Speech by Combination of Partial Analyses.
190-194 BibTeX
Young Researcher (short) Papers
Constraint-Based Reasoning
- Mohamed-Salah Affane, Hachemi Bennaceur:
A Weighted Arc Consistency Technique for MAX-CSP.
209-213 BibTeX
- Thierry Castell, Hélène Fargier:
Propositional Satisfaction Problems and Clausal CSPs.
214-218 BibTeX
- Youssef Hamadi, Christian Bessière, Joël Quinqueton:
Distributed Intelligent Backtracking.
219-223 BibTeX
- Narendra Jussien, Olivier Lhomme:
Dynamic Domain Splitting for Numeric CSPs.
224-228 BibTeX
- Javier Larrosa, Pedro Meseguer:
Partial Lazy Forward Checking for MAX-CSP.
229-233 BibTeX
- D. Liang, W. Li:
Multi-strategy Local Search for SAT Problem.
234-238 BibTeX
- Pedro Meseguer, Toby Walsh:
Interleaved and Discrepancy Based Search.
239-243 BibTeX
- John K. Slaney, Sylvie Thiébaux:
On the Hardness of Decision and Optimisation Problems.
244-248 BibTeX
- Barbara M. Smith, Stuart A. Grant:
Trying Harder to Fail First.
249-253 BibTeX
- Rainer Weigel, Christian Bliek:
On Reformulation of Constraint Satisfaction Problems.
254-258 BibTeX
Young Researcher (short) Papers
Diagnosis
Young Researcher (short) Paper
- Roberto Ranon:
The Closure Properties of Functional Flow-Based Approaches and Their Relevance to Diagnosis.
289-290 BibTeX
Distributed AI and Multiagent Systems
Young Researcher (short) Papers
Knowledge Representation
Young Researcher (short) Papers
Logic Programming and Automated Reasoning
Young Researcher (short) Papers
Machine Learning and Data Mining
- Marco Botta, Attilio Giordana, Roberto Piola:
An Integrated Framework of Learning Numerical Terms in FOL.
415-419 BibTeX
- Pierre Brézellec, Henry Soldano:
Tabata: A Learning Algorithm Performing a Bidirectional Search in a Reduced Search Space Using a Tabu Strategy.
420-424 BibTeX
- Keeley A. Crockett, Zuhair Bandar, Akeel Al-Attar:
A Fuzzy Inference Framework For Induced Decision Trees.
425-429 BibTeX
- Robert Engels, C. Theusinger:
Using a Data Metric for Preprocessing Advice for Data Mining Applications.
430-434 BibTeX
- Donato Malerba, Floriana Esposito, Francesca A. Lisi:
Learning Recursive Theories with ATRE.
435-439 BibTeX
- Mohamed Salah Hamdi, Karl Kaiser:
Learning to Coordinate Behaviors.
440-444 BibTeX
- Matjaz Kukar, Igor Kononenko:
Cost-Sensitive Learning with Neural Networks.
445-449 BibTeX
- Terry R. Payne, Peter Edwards:
Implicit Feature Selection with the Value Difference Metric.
450-454 BibTeX
- Marko Robnik-Sikonja, Igor Kononenko:
Pruning Regression Trees with MDL.
455-459 BibTeX
- Evgueni N. Smirnov, Peter J. Braspenning:
Version Space Learning with Instance-Based Boundary Sets.
460-464 BibTeX
Young Researcher (short) Papers
Planning and Scheduling
Young Researcher (short) Papers
Reasoning about Actions,
Temporal and Spatial Reasoning
- Paolo Giangrandi:
Managing Temporal Beliefs.
527-531 BibTeX
- Hector Geffner, Jacques Wainer:
Modeling Action, Knowledge and Control.
532-536 BibTeX
- Laura Giordano, Alberto Martelli, Camilla Schwind:
Dealing with Concurrent Actions in Modal Action Logics.
537-541 BibTeX
- Lars Karlsson, Joakim Gustafsson, Patrick Doherty:
Delayed Effects of Actions.
542-546 BibTeX
- F. Levy, Joachim Quantz:
Representing Beliefs in a Situated Event Calculus.
547-551 BibTeX
- Churn-Jung Liau:
A Logic for Reasoning about Action, Preference, and Commitment.
552-556 BibTeX
- Alessio Lomuscio, Mark Ryan:
Ideal Agents Sharing (some!) Knowledge.
557-561 BibTeX
- Jochen Renz, Bernhard Nebel:
Efficient Algorithms for Qualitative Spatial Reasoning.
562-566 BibTeX
- Steffen Staab:
On Non-Binary Temporal Relations.
567-571 BibTeX
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 BibTeX
- Ruth Aylett, James K. Soutter, Gary J. Petley, Paul W. H. Chung:
AI Planning in a Chemical Plant Domain.
622-626 BibTeX
- Claude Barrouil, Charles Castel, Patrick Fabiani, R. Mampey, P. Secchi, Catherine Tessier:
Perception Strategy for a Surveillance System.
627-631 BibTeX
- Michael Beetz, Tom Arbuckle, Armin B. Cremers, M. Mann:
Transparent, Flexible, and Resource-adaptive Image Processing for Autonomous Service Robots.
632-636 BibTeX
- Eric O. Postma, H. Jaap van den Herik, Patrick T. W. Hudson:
Spatio-chromatic Features for Image Recognition.
637-642 BibTeX
Search and Meta-Heuristics for AI
User Interfaces
Young Researcher (short) Papers
Invited Speakers
Copyright © Sat May 16 23:07:48 2009
by Michael Ley (ley@uni-trier.de)
