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

• 
  Isabelle Crampe, Jérôme Euzenat: Object Knowledge Base Revision. 3-7
• 
  Aditya Ghose, Randy Goebel: Belief States as Default Theories: Studies in Non-Prioritized Belief Change. 8-12
• 
  Andreas Herzig, Omar Rifi: Update Operations: A Review. 13-17
• 
  Paolo Liberatore, Marco Schaerf: The Complexity of Model Checking for Propositional Default Logics. 18-22
• 
  Jérôme Mengin: On the Logic of Exceptions. 23-27
• 
  Riccardo Rosati: Embedding Minimal Knowledge into Negation as Failure. 28-32
• 
  H. Shu: Using Constraint Satisfaction for View Update Translation. 33-37
• 
  Leendert W. N. van der Torre, Yao-Hua Tan: An Update Semantics for Prima Facie Obligations. 38-42

Young Researcher (short) Papers

• 
  Leila Amgoud: Using Preferences to Select Acceptable Arguments. 43-44
• 
  Cyril 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

• 
  Mercedes Gómez-Albarrán, Pedro A. González-Calero, Belén Díaz-Agudo: Software Design As Framework Reuse: A Knowledge-Based Approach. 98-99
• 
  Luís Macedo: A Model for Creative Problem Solving Based on Divergent Production of Solutions. 100-101
• 
  K. Nadia Papamichail: Explaining and Justifying Decision Support Advice in Intuitive Terms. 102-103
• 
  M. Ursu: Towards the Standardization of Intelligent Design Assistants. 104-105

Cognitive Modelling

• 
  T. Laine, Heikki Hyötyniemi, P. Saariluoma: Foundations of Simulative Theorizing. 109-113
• 
  Daniel Pacholczyk: A New Approach to the Intended Meaning of Negative Information. 114-118
• 
  Josette Pastor, Alain Agniel, Pierre Celsis: Artificial Reasoners for the Cognitive Assessment of Patients with Parkinson's Disease. 119-123
• 
  Eric Raufaste, Rui Da Silva Neves: Empirical Evaluation of Possibility Theory in Human Radiological Diagnosis. 124-128

Young Researcher (short) Papers

• 
  A. Alauzet: ADELE: A Blackboard-based Architecture for Ergonomic Simulation. 129-130
• 
  Francisco C. 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

• 
  Kari Autio, Raymond Reiter: Structural Abstraction in Model-Based Diagnosis. 269-273
• 
  Pietro Baroni, Gianfranco Lamperti, Paolo Pogliano, Marina Zanella: Diagnosis of Active Systems. 274-278
• 
  Kees de Koning, Bert Bredeweg: Using GDE in Educational Systems. 279-283
• 
  Wolfgang Menzel, Ingo Schröder: Model-based Diagnosis Under Structural Uncertainty. 284-288

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

• 
  Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer: Systems of Communicating Agents. 293-297
• 
  Jean-Luc Koning, G. Francois, Yves Demazeau: Formalization and Pre-Validation for Interaction Protocols in a Multi Agent Systems. 298-307
• 
  Munindar P. Singh: The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis. 303-307
• 
  Michael Wooldridge: A Knowledge-theoretic Approach to Distributed Problem Solving. 308-312

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

• 
  Franz Baader, Paliath Narendran: Unification of Concept Terms in Description Logics. 331-335
• 
  Franz Baader, Ulrike Sattler: Description Logics with Concrete Domains and Aggregation. 336-340
• 
  Rose Dieng, Stefan Hug: Comparison of Personal Ontologies Represented through Conceptual Graphs. 341-345
• 
  Marc Fuchs: Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration. 346-350
• 
  Emmanuelle Martienne, Mohamed Quafafou: Vagueness and Data Reduction in Concept Learning. 351-355
• 
  Eric Salvat: Theorem Proving Using Graph Operations in the Conceptual Graph Formalism. 356-360
• 
  Christopher Tresp, Ralf Molitor: A Description Logic for Vague Knowledge. 361-365

Young Researcher (short) Papers

• 
  Laurent Perrussel: Contextual Reasoning. 366-367
• 
  Leendert W. N. van der Torre: Labeled Logics of Conditional Goals. 368-369

Logic Programming and Automated Reasoning

• 
  Nirina Andrianarivelo, Wadoud Bousdira, Jacques Chabin, Zahir Maazouzi: Designing FPLA Combinational Circuits by Conditional Rewriting. 373-377
• 
  Berilhes Borges Garcia, José Gabriel Pereira Lopes: Introducing Plausibility Measures in the Process of belief Revision through Extended Logic Programs. 378-382
• 
  Christopher G. Jung: Situated Abstraction Planning by Abductive Temporal Reasoning. 383-387
• 
  Thomas Lukasiewicz: Probabilistic Logic Programming. 388-392
• 
  Raul Monroy, Alan Bundy, Ian Green: Observant: An Annotated Term-Rewriting System for Deciding Observation Congruence. 393-397
• 
  Ken Satoh: Using Two Level Abduction to Decide Similarity of Cases. 398-402
• 
  Yan Zhang, Norman Y. Foo: Updating Logic Programs. 403-407

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

• 
  Liviu Badea: Planning in Description Logics: Deduction versus Satisfiability Testing. 479-483
• 
  Mathias Bauer: Towards the Automatic Acquisition of Plan Libraries. 484-488
• 
  Jana Koehler: Planning under Resource Constraints. 489-493
• 
  Erica Melis: AI-Techniques in Proof Planning. 494-498
• 
  Abdel-Illah Mouaddib, Shlomo Zilberstein: Optimal Scheduling of Dynamic Progressive Processing. 499-503
• 
  Hani El Sakkout, T. Richards, Mark Wallace: Minimal Perturbance in Dynamic Scheduling. 504-508
• 
  Josefina Sierra-Santibáñez: A Declarative Formalization of STRIPS. 509-513

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

• 
  Pere Garcia, Eduardo Giménez, Lluis Godo, Juan A. Rodríguez-Aguilar: Possibilistic-Based Bidding Strategies in Electronic Auctions. 575-579
• 
  Gabriele Kern-Isberner: Nonmonotonic Reasoning in Probabilistics. 580-584
• 
  Wai Lam, Kon Fan Low: Constructing Text Filters Based on Bayesian Network Learning. 585-589
• 
  Maite López-Sánchez, Ramon López de Mántaras, Carles Sierra: Possibility Theory-Based Environment Modelling by Means of Behaviour-Based Autonomous Robots. 590-594
• 
  Nico Roos: An Objective Definition of Subjective Probability. 595-599
• 
  Régis Sabbadin: Decision As Abduction? 600-604
• 
  Laurent Ughetto: Inferential Independence of Fuzzy Rules. 605-609

Young Researcher (short) Papers

• 
  Matteo Golfarelli: A Game Theory Approach to Coordination in MAS. 610-611
• 
  Anders L. Madsen: Lazy Propagation and Independence of Causal Influence. 612-613

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

• 
  Tristan Cazenave: Metaprogramming Forced Moves. 645-649
• 
  Philippe Collard, Alessio Gaspar, Manuel Clergue, Cathy Escazut: Fitness Distance Correlation, as statistical measure of Genetic Algorithm difficulty, revisited. 650-654
• 
  Stefan Edelkamp: Updating Shortest Paths. 655-559
• 
  J. Holubec: Admissible Bidirectional Heuristic Search Algorithm. 660-664
• 
  Hermann Kaindl, Anton Scheucher: Back-up of Heuristic Values: Minimaxing vs. Product Propagation. 665-669
• 
  Martin J. Oates, David Corne: QoS based GA Parameter Selection for Autonomously Managed Distributed Information Systems. 670-674

User Interfaces

• 
  Richard Power, Donia Scott, Roger Evans: What You See Is What You Meant: direct knowledge editing with natural language feedback. 677-681

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

• 
  Jan-Olof Eklundh: Vision in Robotics: How a Robot can Segment Figure from Ground. 689-693
• 
  Ramon López de Mántaras: It Don't Mean A Thing (If It Ain't Got That Swing). 694-696
• 
  Stephen Muggleton: Inductive Logic Programming: Issues, Results and the LLL Challenge (abstract). 697
• 
  Jean-Francois Puget: Constraint Programming: A Great AI Success. 698-705
• 
  Itzhak Gilboa, David Schmeidler: Case-Based Decisions. 706-710
• 
  Glenn Shafer: Causal Logic. 711-720