List of contents of the Proceedings of the

European Conference on Artificial Intelligence, 1998 (ECAI-98)

c-ecai-98-3
Isabelle Crampé and Jerôme Euzenat:
Object Knowledge Base Revision.
Pages 3-7.

c-ecai-98-8
Aditya K. Ghose and Randy Goebel:
Belief States as Default Theories: Studies in Non-prioritized Belief Change.
Pages 8-12.

c-ecai-98-13
Andreas Herzig and Omar Rifi:
Update Operations: A Review.
Pages 13-17.

c-ecai-98-18
Paolo Liberatore and Marco Scherf:
The Complexity of Model Checking for Propositional Default Logics.
Pages 18-22.

c-ecai-98-23
Jérôme Mengin:
On the Logic of Exceptions.
Pages 23-27.

c-ecai-98-28
Riccardo Rosati:
Embedding Minimal Knowledge into Negation as Failure.
Pages 28-32.

c-ecai-98-33
Hua Shu:
Using Constraint Satisfaction for View Update Translation.
Pages 33-37.

c-ecai-98-38
Leendert W. N. van der Torre and Yao-Hua Tan:
An Update Semantics for Prima Facie Obligations.
Pages 38-42.

c-ecai-98-43
Leila Amgoud:
Using Preferences to Select Acceptable Arguments.
Pages 43-44.

c-ecai-98-45
Cyril Pain-Barre:
Using Relevance for Selecting Integrity Constraints Which Do not Interfere in kKowledge Base Update.
Pages 45-46.

c-ecai-98-47
Riccardo Rosati:
Expressiveness vs.
Pages 47-48.

c-ecai-98-49
Sofie Verbaeten:
The Closing Operator: rom Partial to Complete Knowledge.
Pages 49-50.

c-ecai-98-53
Ralph Bergmann and Wolfgang Wilke:
Towards a New Formal Model of Transformational Adaptation in Case-Based Reasoning.
Pages 53-57.

c-ecai-98-58
Andrea Bonzano and Pádraig Cunningham:
Hierarchical CBR for Multiple Aircraft Conflict Resolution in Air Traffic Control.
Pages 58-62.

c-ecai-98-63
Dieter Fensel and V. Richard Benjamins:
Key Issues for Automated Problem-Solving Methods Reuse.
Pages 63-67.

c-ecai-98-68
Jean Lieber and Amedeo Napoli:
Correct and Complete Retrieval for Case-Based Problem-Solving.
Pages 68-72.

c-ecai-98-73
Luigi Portinale, Pietro Torasso, and Paolo Tavano:
Dynamic Case Memory Management.
Pages 73-77.

c-ecai-98-78
Frank van Harmelen and Annette ten Teije:
Characterising approximate problem-solving by partially fulfilled pre- and postconditions.
Pages 78-82.

c-ecai-98-83
Lucile Torres and Claudia Frydman:
Verifying and Validating Specification of Knowledge-Based Systems.
Pages 83-87.

c-ecai-98-88
Erika Valencia and Jean-Louis Giavitto:
Algebraic Topology for Knowledge Representation in Analogy Solving.
Pages 88-92.

c-ecai-98-93
Tony Veale:
'Just-in-Time' Analogical Reasoning: A progressive-Deepening Model of Structure-Mapping.
Pages 93-97.

c-ecai-98-98
M. Gómez-Albarrán, P. A. González-Calero, and B. Díaz-Agudo:
Software Design As Framework Reuse: A Knowledge-Based Approach.
Pages 98-99.

c-ecai-98-100
Luís Macedo:
A Model for Creative Problem Solving Based on Divergent Production of Solutions.
Pages 100-101.

c-ecai-98-102
K. N. Papamichail:
Explaining and Justifying Decision Support Advice in Intuitive Terms.
Pages 102-103.

c-ecai-98-104
Marian Florin Ursu:
Towards the Standardisation of Intelligent Design Assistants.
Pages 104-105.

c-ecai-98-109
Tei Laine, Heikki Hyötyniemi, and Pertti Saariluoma:
Foundations of Simulative Theorizing.
Pages 109-113.

c-ecai-98-114
Daniel Pacholczyk:
A New Approach to the Intended Meaning of Negative Information.
Pages 114-118.

c-ecai-98-119
J. Pastor, A. Agniel, and P. Celsis:
Artificial Reasoners for the Cognitive Assessment of Patients with Parkinson's Disease.
Pages 119-123.

c-ecai-98-124
Eric Raufaste and Rui Da Silva Neves:
Empirical Evaluation of Possibility Theory in Human Radiological Diagnosis.
Pages 124-128.

c-ecai-98-129
Aline Aluzet:
ADELE: a Blackboard-based Architecture for Ergonomic Simulation.
Pages 129-130.

c-ecai-98-131
Francisco C. Pereira:
Modelling Divergent Production: A multi-domain approach.
Pages 131-132.

c-ecai-98-135
R. Basili, M.T. Pazienza, and F.M. Zanzotto:
Efficient Parsing for Information Extraction.
Pages 135-139.

c-ecai-98-140
F.P. Coenen, B. Beattie, T.J.M. Bench-Capon, B.M. Diaz, and M.J.R. Shave:
Spatio-Temporal Reasoning Using a Multi-Dimensional Tesseral Representation.
Pages 140-144.

c-ecai-98-145
Paul R. Cohen:
Dynamic Maps as Representation of Verbs.
Pages 145-149.

c-ecai-98-150
Anthony G. Cohn and Achille C. Varzi:
Connection Relations in Mereotopology.
Pages 150-154.

c-ecai-98-155
Olivier Ferret and Brigitte Grau:
A Thematic Segmentation Procedure for Extracting Semantic Domains from Texts.
Pages 155-159.

c-ecai-98-160
Klemens Schnattinger and Udo Hahn:
Quality-Based Learning.
Pages 160-164.

c-ecai-98-165
Udo Hahn and Ulrich Reimer:
Text Summarization Based on Terminological Logics.
Pages 165-169.

c-ecai-98-170
Ibekwe-SanJuan Fidelia:
A Linguistic and Mathematical Method for Mapping Thematic Trends from Texts.
Pages 170-174.

c-ecai-98-175
Michael Kipp:
The Neural Path to Dialogue Acts.
Pages 175-179.

c-ecai-98-180
A. Musto, K. Stein, A. Eisenkolb, K. Schill, and W. Brauer:
Generalization, Segmentation, and Classification of Qualitative Motion Data.
Pages 180-184.

c-ecai-98-185
Mark Stevensson, Hamish Cunningham, and Yorick Wilks:
Sense Tagging and Language Engineering.
Pages 185-189.

c-ecai-98-190
Karsten L. Worm and C.J. Rupp:
Towards Robust Understanding of Speech by Combination of Partial Analyses.
Pages 190-194.

c-ecai-98-195
João Balsa:
A Hierarchical Multi-Agent System for Natural Language Diagnosis.
Pages 195-196.

c-ecai-98-197
Anja Belz:
A Few English Words Can Help Improve Your Russian.
Pages 197-198.

c-ecai-98-199
Patrice Lopez:
A LTGA Grammar for Parsing Oral and Incomplete Utterances.
Pages 199-200.

c-ecai-98-200
Christof Monz:
Dynamic Semantics and Underspecification.
Pages 200-202.

c-ecai-98-203
T.L. Soto and J.F. Quesada:
Spoken Language Parsing Strategies in a Conversational System.
Pages 203-204.

c-ecai-98-205
Alistair Willis:
Using Functioanl Structure for Probabilistic Semantic Disambiguation.
Pages 205-206.

c-ecai-98-208
M-S. Affane and H. Bennaceur:
A Weighted Arc Consistency Technique for MAX-CSP.
Pages 208-213.

c-ecai-98-214
Thierry Castell and Hélene Fargier:
Between SAT and CSP: Propositional Satisfaction Problems and Clausal CSPs.
Pages 214-218.

c-ecai-98-219
Youssef Hamadi, Christian Bessiè, and Joel Quinqueton:
Backtracking in Distributed Constraint Networks.
Pages 219-223.

c-ecai-98-224
Narendra Jussien and Olivier Lhomme:
Dynamic Domain Splitting for Numeric CSPs.
Pages 224-228.

c-ecai-98-229
Javier Larrosa and Pedro Meseguer:
Partial Lazy Forward Checking for MAX-XSP.
Pages 229-233.

c-ecai-98-234
Dongmin Liang and Wei Li:
Multi-Strategy Local Search for SAT Problem.
Pages 234-238.

c-ecai-98-239
Pedro Meseguer and Toby Walsh:
Interleaved and Discrepancy Based Search.
Pages 239-243.

c-ecai-98-244
John Slaney and Sylvie Thiébaux:
On the Hardness of Decision and Optimisation Problems.
Pages 244-248.

c-ecai-98-249
Barbara M. Smith and Stuart A. Grant:
Trying Harder to Fail First.
Pages 249-253.

c-ecai-98-254
Rainer Weigel and Christian Bliek:
On Reformulation of Constraint Satisfaction Problems.
Pages 254-258.

c-ecai-98-259
Susanne Heipcke:
Integrating Constraint Programming Techniques into Mathematical Programming.
Pages 259-260.

c-ecai-98-261
Hana Rudová:
Constrains with Variables' Annotations.
Pages 261-262.

c-ecai-98-263
Gerhard Wetzel and Fabian Zabatta:
A Constraint Programming Approach to Portfolio Selection.
Pages 263-264.

c-ecai-98-265
Yuanlin Zhang and Hui Wu:
Bound Consistency on Linear Constraints in Finite Domain Constraint Programming.
Pages 265-266.

c-ecai-98-269
Kari Autio and Raymond Reiter:
Structural Abstraction in Model-Based Diagnosis.
Pages 269-273.

c-ecai-98-274
Pietro Baroni, Gianfranco Lamperti, Paolo Pogliano, and Marina Zanella:
Diagnosis of Active Systems.
Pages 274-278.

c-ecai-98-279
Kees de Koning and Bert Bredeweg:
Using GDE in Educational Systems.
Pages 279-283.

c-ecai-98-284
Wolfgang Menzel and Ingo Schröder:
Model-Based Diagnosis Under Structural Uncertainty.
Pages 284-288.

c-ecai-98-289
Roberto Ranon:
The Closure Properties of Functional Flow-Based Approaches and Their Relevance to Diagnosis.
Pages 289-290.

c-ecai-98-293
Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, and John-Jules Ch. Meyer:
Systems of Communicating Agents.
Pages 293-297.

c-ecai-98-298
Jean-Luc Koning, Guillaume Fran

, is, and Yves Demazeau:
Formalization and Pre-Validation for Interaction Protocols in Multiagent Systems.
Pages 298-302.

c-ecai-98-303
Munindar P. Singh:
The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis.
Pages 303-307.

c-ecai-98-308
Michael Wooldridge:
A Knowledge-Theoretic Approach to Distributed Problem Solving.
Pages 308-312.

c-ecai-98-313
Camps Valérie:
Application of a Self-Organizing Method Based on Cooperation to Information Retrieval.
Pages 313-314.

c-ecai-98-315
Humbert Fiorino:
Principles for Cooperative Conjecture Elaboration in a Multiagent Context.
Pages 315-316.

c-ecai-98-317
Babak Sadighi Firozabadi and Leendert W.N. van der Torre:
Towards a Formal Analysis of Control Systems.
Pages 317-318.

c-ecai-98-319
Alex L.G. Hayzelden:
Telecommunications Multi-Agent Control System.
Pages 319-320.

c-ecai-98-321
Ricardo J. Imbert:
CAMITS: a Cooperative Agents Model for Intelligent Tutoring Systems.
Pages 321-322.

c-ecai-98-323
Claude Lattaud:
A Macro-Mutation Operator in Genetic Algorithms.
Pages 323-324.

c-ecai-98-325
Francisco B. Pereira:
An Artificial Life Model for Information Retrieval in a Distributed Environment.
Pages 325-326.

c-ecai-98-327
Sébastien Picault:
A Multi-Agent Simulation of Primate Social Concepts.
Pages 327-328.

c-ecai-98-331
Franz Baader and Paliath Narendran:
Unification of Concept Terms in Description Logics.
Pages 331-335.

c-ecai-98-336
Franz Baader and Ulrike Sattler:
Description Logics with Concrete Domains and Aggregation.
Pages 336-340.

c-ecai-98-341
Rose Dieng and Stefan Hug:
Comparison of "Personal Ontologies" Represented through Conceptual Graphs.
Pages 341-345.

c-ecai-98-346
Marc Fuchs:
Relevancy-Based Lemma Selection for Model Elimination using Lazy Tableaux Enumeration.
Pages 346-350.

c-ecai-98-350
Emmanuelle Martienne and Mohamed Quafafou:
Vagueness and Data Reduction in Concept Learning.
Pages 350-355.

c-ecai-98-356
Eric Salvat:
Theorem Proving Using Graph Operations in the Conceptual Graph Formalism.
Pages 356-360.

c-ecai-98-361
C.B. Tresp and R. Molitor:
A Description Logic for Vague Knowledge.
Pages 361-365.

c-ecai-98-366
Laurent Perrussel:
Contextual Reasoning.
Pages 366-369.

c-ecai-98-373
N. Andrianarivelo, W. Bousdira, J. Chabin, and Z. Maazouzi:
Designing FPLA Combinational Circuits by Conditional Rewriting.
Pages 373-377.

c-ecai-98-378
Berilhes Borges Garcia and Gabriel Pereira Lopes:
Introducing Plausibility Measures in the Process of Revision of Beliefs through Extended Logic Programs.
Pages 378-382.

c-ecai-98-383
Christoph G. Jung:
Situated Abstraction Planning by Abductive Temporal Reasoning.
Pages 383-387.

c-ecai-98-388
Thomas Lukasiewicz:
Probabilistic Logic Programming.
Pages 388-392.

c-ecai-98-393
Raúl Monroy, Alan Bundy, and Ian Green:
Annotated Term Rewriting for Deciding Observation Congruence.
Pages 393-397.

c-ecai-98-398
Ken Satoh:
Using Two Level Abduction to Decide Similarity of Cases.
Pages 398-402.

c-ecai-98-403
Yan Zhang and Norman N. Foo:
Updating Logic Programs.
Pages 403-407.

c-ecai-98-408
Fabio Massacci:
Cook and Reckhow are Wrong.
Pages 408-409.

c-ecai-98-410
Viorica Sofronie-Stokkermans:
On Translation of Finitely-Valued Logics to Classical First-Order Logic.
Pages 410-411.

c-ecai-98-415
Marco Botta, Attilio Giordana, and Roberto Piola:
An Integrated Framework for Learning Numerical Terms in FOL.
Pages 415-419.

c-ecai-98-420
Pierre Brézellec and Henry Soldano:
Tabata: a learning algorithm performing a bidirectional search in a reduced search space using a Tabu strategy.
Pages 420-424.

c-ecai-98-425
Keeley A. Crockett, Zuhair Bandar, and A Al-Attar:
A Fuzzy Inference Framework For Induced Decision Trees.
Pages 425-429.

c-ecai-98-430
Robert Engels and Christiane Theusinger:
Using a Data Metric for Preprocessing Advice for Data Mining Applications.
Pages 430-434.

c-ecai-98-435
Donato Malerba, Floriana Esposito, and Francesca Alessandra Lisi:
Learning Recursive Theories with ATRE.
Pages 435-439.

c-ecai-98-440
Mohamed Salah Hamdi and Karl Kaiser:
Learning to Coordinate Behaviors.
Pages 440-444.

c-ecai-98-445
Matjaz Kukar and Igor Kononenko:
Cost-Sensitive Learning with Neural Networks.
Pages 445-449.

c-ecai-98-450
Terry R. Payne and Peter Edwards:
Implicit Feature Selection with the Value Difference Metric.
Pages 450-454.

c-ecai-98-455
Marko Robnik-Sikonja and Igor Kononenko:
Pruning Regression Trees with MDL.
Pages 455-459.

c-ecai-98-460
Evgueni N. Smirnov and Peter J. Braspenning:
Version Space Learning with Instance-Based Boundary Sets.
Pages 460-464.

c-ecai-98-465
Ryutaro Ichise:
Synthesize Inductive Logic Programming and Genetic Programming.
Pages 465-466.

c-ecai-98-467
Stéphane Calderoni:
Collective Learning in MultiAgent Systems.
Pages 467-468.

c-ecai-98-469
Peter Lane:
Simple Synchrony Networks: Learning Generalisations across Syntatic Constituents.
Pages 469-470.

c-ecai-98-471
Emmanuel Mayer:
Inductive Learning of Chronicles:.
Pages 471-472.

c-ecai-98-473
Dunja Mladenic:
Turning Yahoo into an Automatic Web-Pp Classifier.
Pages 473-474.

c-ecai-98-475
Fabrizio Riguzzi:
Integrating Abduction and Induction.
Pages 475-476.

c-ecai-98-479
Liviu Badea:
Planning in Description Logics: Deduction versus Satisfiability Testing.
Pages 479-483.

c-ecai-98-484
Mathias Bauer:
Towards the Automatic Acquisition of Plan Libraries.
Pages 484-488.

c-ecai-98-489
Jana Koehler:
Planning under Resource Constraints.
Pages 489-493.

c-ecai-98-494
Erica Melis:
AI-Techniques in Proof Planning.
Pages 494-498.

c-ecai-98-499
Abdel-Illah Mouaddib and Shlomo Zilberstein:
Optimal Scheduling of Dynamic Progressive Processing.
Pages 499-503.

c-ecai-98-504
Hani El Sakkout, Thomas Richards, and Mark Wallace:
Minimal Perturbation in Dynamic Scheduling.
Pages 504-508.

c-ecai-98-509
J. Sierra-Santibáñez:
A Declarative Formaliztion of STRIPS.
Pages 509-513.

c-ecai-98-514
Rosy Barruffi and Michela Milano:
Interactive Constraint Satisfaction Techniques for Information Gathering in Planning.
Pages 514-515.

c-ecai-98-516
Silvia S. C. Botelho:
A Distributed Scheme for Task Planning and Negotiation in Multi-Robot Systems.
Pages 516-517.

c-ecai-98-518
Paolo Liberatore:
In Non-Conservative Plan Modification.
Pages 518-519.

c-ecai-98-520
Angelo Oddi:
Solving Multiple Capacitated Scheduling Problems.
Pages 520-521.

c-ecai-98-522
Steve Scott:
Separating Constraint Dimensions in a Scheduling Problem to Reduce Search Space.
Pages 522-523.

c-ecai-98-527
Laura Giordano, Alberto Martelli, and Camilla Schwind:
Dealing with Concurrent Actions in Modal Action Logic.
Pages 527-541.

c-ecai-98-532
Hector Geffner and Jacques Wainer:
Modeling action, knowledge and control.
Pages 532-536.

c-ecai-98-542
Lars Karlsson, Joakim Gustafsson, and Patrick Doherty:
Delayed Effects of Actions.
Pages 542-546.

c-ecai-98-547
Fran

, is Lévy, and J. Joachim Quantz:
Representing Beliefs in a Situated Event Calculus.
Pages 547-551.

c-ecai-98-552
Churn-Jung Liau:
A Logic for Reasoning about Action, Preference, and Commitment:.
Pages 552-556.

c-ecai-98-557
Alessio Lomuscio and Mark Ryan:
Ideal Agents Sharing (Some!) Knowledge.
Pages 557-561.

c-ecai-98-562
Jochen Renz and Bernhard Nebel:
Efficient Methods for Qualitative Spatial Reasoning.
Pages 562-566.

c-ecai-98-567
Steffen Staab:
On Non-Binary Temporal Relations.
Pages 567-571.

c-ecai-98-575
Pere Garcia, Eduard Giménez, Lluís Godo, and Juan A. Rodríguez-Aguilar:
Possibilistic-Based Design of Bidding Strategies in Electronic Auctions.
Pages 575-579.

c-ecai-98-580
Gabriele Kern-Isberner:
Nonmonotonic reasoning in probabilistics.
Pages 580-584.

c-ecai-98-585
Wai Lam and Kon Fan Low:
Constructing Text Filters Based on Bayesian Network Learning.
Pages 585-589.

c-ecai-98-590
Maite lópez-Sánchez, Ramon López de Mántaras, and Carles Sierra:
Possibility Theory-Based Environment Modelling by Means of Behaviour-Based Autonomous Robots.
Pages 590-594.

c-ecai-98-595
Nico Roos:
An objective definition of subjective probability.
Pages 595-599.

c-ecai-98-600
Régis Sabbadin:
Decision as Abduction.
Pages 600-604.

c-ecai-98-605
Laurent Ughetto:
Inferential Independence of Fuzzy Rules.
Pages 605-609.

c-ecai-98-610
Matteo Golfarelli:
A Game Theory Approach to Coordination in MAS.
Pages 610-613.

c-ecai-98-617
Rachid Alami, Félix Ingrand, and Samer Qutub:
A Scheme for Coordinating Multi-robot Planning Activities and Plans Execution.
Pages 617-621.

c-ecai-98-622
R.S. Aylett, J. Soutter, G. Petley, P.W.H. Chung, and A. Rushton:
AI Planning in a Chemical Plant Domain.
Pages 622-626.

c-ecai-98-627
Claude Barrouil, Charles Castel, Patrick Fabiani, Roger Mampey, Patrick Secchi, and Catherine Tessier:
A Perception Strategy for a Surveillance System.
Pages 627-631.

c-ecai-98-632
Michael Beetz, Tom Arbuckle, Armin B. Cremers, and Markus Mann:
Transparent, Flexible, and Resource-adaptive Image Processing for Autonomous SErvice Robots.
Pages 632-636.

c-ecai-98-637
Eric O. Postma, H. Jaap van den Herik, and Patrick T.W. Hudson:
Spatio-chromatic Features for Image Recognition.
Pages 637-641.

c-ecai-98-645
Tristan Cazenave:
Metaprogramming Forced Moves.
Pages 645-649.

c-ecai-98-650
P. Collard, A. Gaspar, M. Clergue, and C. Escazut:
Fitness Distance Correlation, as Statistical Measure of Genetic Algorithm Difficulty, revisited.
Pages 650-654.

c-ecai-98-655
Stefan Edelkamp:
Updating Shortest Paths.
Pages 655-659.

c-ecai-98-660
Jir Holubec:
An Admissible Bidirectional Heuristic Search Algorithm.
Pages 660-664.

c-ecai-98-665
Hermann Kaindl and Anton Scheucher:
Back-up of Heuristic Values: Minimaxing vs.
Pages 665-669.

c-ecai-98-670
Martin J. Oates and David Corne:
QoS based GA Parameter Selection for Autonomously Managed Distributed Information Systems.
Pages 670-674.

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

c-ecai-98-682
Berardina De Carolis:
Introducing Reactivity in Adaptive Hypertext Generation.
Pages 682-685.

c-ecai-98-689
J.-O. Eklundh:
Vision in Robotics: How a Robot Can Segment Figure from Ground.
Pages 689-693.

c-ecai-98-694
Ramon López de Mántaras:
It Don't Mean A Thing (If It Ain't Got That Swing).
Pages 694-696.

c-ecai-98-697
Stephen Muggleton:
Inductive Logic Programming: Issues, Results and the LLL Challenge.
Pages 697-697.

c-ecai-98-698
Jean-Francois Puget:
Constraint Programming: A Great AI Success.
Pages 698-705.

c-ecai-98-706
Itzhak Gilboa and David Schmeidler:
Case-Based Decision: An Extended Abstract.
Pages 706-710.

c-ecai-98-711
Glenn Shafer:
Causal Logic.
Pages 711-719.

11-Sep-97 17:44