List of contents of the Proceedings of the

European Conference on Artificial Intelligence, 1996 (ECAI-96)

Edited by Wolfgang Wahlster

Published by

c-ecai-96-3
Ch. Bessière, A. Isli, and G. Ligozat:
Global Consistency in Interval Algebra Networks: Tractable Subclasses.
Pages 3-8.

c-ecai-96-8
P.J. Fabiani:
Dynamics of Beliefs and Strategy of Perception.
Pages 8-13.

c-ecai-96-13
R. Li and L.M. Pereira:
Temporal Reasoning with Abductive Logic Programming.
Pages 13-18.

c-ecai-96-18
M.C. Mayer and F. Pirri:
A Study on the Logic of Abduction.
Pages 18-23.

c-ecai-96-23
T. Menzies:
On the Practicality of Abductive Validation.
Pages 23-28.

c-ecai-96-28
A. Mokhtari and D. Kayser:
Normative and Epistemic Aspects in Causality.
Pages 28-33.

c-ecai-96-33
A. Montanari, L. Chittaro, and I. Cervesato:
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants.
Pages 33-38.

c-ecai-96-38
B. Nebel:
Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class.
Pages 38-43.

c-ecai-96-43
P. Terenziani:
Towards an Ontology Dealing with Periodic Events.
Pages 43-47.

c-ecai-96-48
T. Vidal and M. Ghallab:
Dealing with Uncertain Durations in Temporal Constraint Networks Dedicated to Planning.
Pages 48-52.

c-ecai-96-55
P. Besnard and Y.-H. Tan:
A Modal Logic with Contex-Dependent Inference for Non-Monotonic Reasoning.
Pages 55-60.

c-ecai-96-60
J. Engelfriet and J. Treur:
me Models.
Pages 60-65.

c-ecai-96-65
N.Y. Foo, A. Nayak, and M. Pagnucco:
Definitional Constraints.
Pages 65-70.

c-ecai-96-70
T. Janhunen:
Representing Autoepistemic Introspection in Terms of Default Rules.
Pages 70-75.

c-ecai-96-75
A. Nayak, M. Pagnucco, N.Y. Foo, and P. Peppas:
Learning From Conditionals: Judy Benjamin's Other Problems.
Pages 75-80.

c-ecai-96-80
I. Niemelä:
Implementing Circumscription Using a Tableau Method.
Pages 80-85.

c-ecai-96-85
P. Peppas:
PMA Epistemic Entrenchments: The General Case.
Pages 85-90.

c-ecai-96-90
P. Peppas:
Well Behaved and Multiple Belief Revision.
Pages 90-95.

c-ecai-96-95
P. Peppas, A. Nayak, M. Pagnucco, N.Y. Foo, R. Kwok, and M. Prokopenko:
Revision vs. Update: Taking a Closer Look.
Pages 95-100.

c-ecai-96-100
M. Ryan and P.-Y. Schobbens:
Intertranslating Counterfactuals and Updates.
Pages 100-105.

c-ecai-96-105
T. Schaub and St. Brüning:
Prolog Technology for Default Reasoning (An Abridged Report).
Pages 105-110.

c-ecai-96-110
X. Wang, J.-H. You, and L.Y. Yuan:
Circumscription by Inference Rules with Priority.
Pages 110-117.

c-ecai-96-117
Ch. Globig and St. Lange:
Case-Based Representability of Classes of Boolean Functions.
Pages 117-122.

c-ecai-96-122
P. Gomes, C. Bento, P. Gago, and E. Costa:
Towards a Case-Based Model for Creative Processes.
Pages 122-127.

c-ecai-96-127
M. Lenz and H.-D. Burkhard:
Lazy Propagation in Case Retrieval Nets.
Pages 127-132.

c-ecai-96-132
J. Lieber and A. Napoli:
Using Classification in Case-Based Planning.
Pages 132-137.

c-ecai-96-137
L. Portinale and P. Torasso:
On the Usefulness of Re-using Diagnostic Solutions.
Pages 137-142.

c-ecai-96-142
K. Satoh:
Translating Case-Based Reasoning into Abductive Logic Programming.
Pages 142-147.

c-ecai-96-147
A. Voss:
Towards a Methodology for Case Adaptation.
Pages 147-155.

c-ecai-96-155
H. Bennaceur:
The Satisfiability Problem Regarded as a Constraint Satisfaction Problem.
Pages 155-160.

c-ecai-96-160
J.E. Borrett, E.P.K. Tsang, and N.R. Walsh:
Adaptive Constraint Satisfaction: The Quickest First Principle.
Pages 160-165.

c-ecai-96-165
B. Cabon, G. Verfaillie, D. Martinez, and P. Bourret:
Using Mean Field Methods for Boosting Backtrack Search in Constraint Satisfaction Problems.
Pages 165-170.

c-ecai-96-170
I.P. Gent and T. Walsh:
Phase Transitions and Annealed Theories: Number Partitioning as a Case Study.
Pages 170-175.

c-ecai-96-175
St.A. Grant and B.M. Smith:
The Phase Transition Behaviour of Maintaining Arc Consistency.
Pages 175-180.

c-ecai-96-180
R. Génisson and P. Jégou:
Davis and Putnam were Already Checking Forward.
Pages 180-185.

c-ecai-96-185
A.C.M. Kwan, E.P.K. Tsang, and J.E. Borrett:
Predicting Phase Transitions of Binary CSPs with Constraint Graph Information.
Pages 185-190.

c-ecai-96-190
J. Larrosa and P. Meseguer:
Phase Transition in MAX-CSP.
Pages 190-195.

c-ecai-96-195
H.C. Lau:
Probabilistic Analysis of Local Search on Random Instances of Constraint Satisfaction.
Pages 195-200.

c-ecai-96-200
G. Richard and F. Saubion:
Answers Synthesis for CLP with Negation.
Pages 200-205.

c-ecai-96-205
R. Weigel, B.V . Faltings, and B.Y. Choueiry:
Context in Discrete Constraint Satisfaction Problems.
Pages 205-213.

c-ecai-96-213
P. Collard and A. Gaspar:
"Royal-Road" Landscapes for a Dual Genetic Algorithm.
Pages 213-218.

c-ecai-96-218
P. Collard and C. Escazut:
Fitness Distance Correlation in a Dual Genetic Algorithm.
Pages 218-223.

c-ecai-96-223
J.-M. Gallone and F. Charpillet:
Hopfield Neural Network for Scheduling Non Pre-emptive Tasks.
Pages 223-228.

c-ecai-96-228
J. Paredis:
Symbiotic Coevolution for Epistatic Problems.
Pages 228-233.

c-ecai-96-233
J. Rahmel:
On the Role of Topology for Neural Network Interpretation.
Pages 233-241.

c-ecai-96-241
F. Brazier, J. Treur, and N. Wijngaards:
Modelling Interaction with Experts: The Role of a Shared Task Model.
Pages 241-246.

c-ecai-96-246
A. Butz and A. Krüger:
Lean Modeling - The Intelligent Use of Geometrical Abstraction in 3D Animations.
Pages 246-251.

c-ecai-96-251
A. Csinger and D. Poole:
Adapting Decision Theory for Multimedia Presentation Design: User Modelling for Intent-based Authoring.
Pages 251-256.

c-ecai-96-256
Y. Han and I. Zukerman:
Constraint Propagation in a Cooperative Approach for Multimodal Presentation Planning.
Pages 256-261.

c-ecai-96-261
T. Kato, Y.I. Nakano, H. Nakajima, and T. Hasegawa:
Interactive Multimodal Explanations and their Temporal Coordination.
Pages 261-266.

c-ecai-96-266
Y.-B. Kim and M. Shibata:
A Video Indexing Method using Natural Language Memo for TV Program Production.
Pages 266-271.

c-ecai-96-271
R. Möller:
Knowledge-Based Dialog Structuring for Graphics Interaction.
Pages 271-276.

c-ecai-96-276
P. Pu and D. Lalanne:
Human and Machine Collaboration in Creative Design.
Pages 276-283.

c-ecai-96-283
F. Baader and U. Sattler:
Description Logics with Symbolic Number Restrictions.
Pages 283-288.

c-ecai-96-288
L. Badea:
A Unified Architechture for Knowledge Representation Based on Description Logics.
Pages 288-293.

c-ecai-96-293
J. Bell and Z. Huang:
Safety Logics II: Normative Safety.
Pages 293-298.

c-ecai-96-298
A. Bernaras, I. Laresgoiti, and J. Corera:
Building and Reusing Ontologies for Electrical Network Applications.
Pages 298-303.

c-ecai-96-303
D. Calvanese:
Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity.
Pages 303-308.

c-ecai-96-308
J. Cuena, J. Hernández, and M. Molina:
Knowledge Oriented Design of an Application for Real Time Traffic Management: The TRYS System.
Pages 308-313.

c-ecai-96-313
N. Glaser and M.-Ch. Haton:
Experiences in Modelling Statistical Process Control Knowledge.
Pages 313-318.

c-ecai-96-318
J. Lang:
Conditional Desires and Utilities - an Alternative Logical Approach to Qualitative Decision Theory.
Pages 318-323.

c-ecai-96-323
A.Y. Levy and M.-Ch. Rousset:
CARIN: A Representation Language Combining Horn Rules and Description Logics.
Pages 323-328.

c-ecai-96-328
M.-Ch. Rousset and P. Hors:
Modeling and Verifying Complex Objects: A Declarative Approach Based on Description Logics.
Pages 328-335.

c-ecai-96-335
J.S. Aitken:
Problem Solving in Interactive Proof: A Knowledge-Modelling Approach.
Pages 335-340.

c-ecai-96-340
T. Andreasen and H. Christiansen:
Counterfactual Exceptions in Deductive Database Queries.
Pages 340-345.

c-ecai-96-345
R. Ben-Eliyahu, L. Palopoli, and V. Zemlyanker:
The Expressive Power of Tractable Disjunction.
Pages 345-350.

c-ecai-96-350
T. Castell, C. Cayrol, M. Cayrol, and D. Le Berre:
Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models.
Pages 350-355.

c-ecai-96-355
M. Dalal:
An Almost Quadratic Class of Satisfiability Problems.
Pages 355-360.

c-ecai-96-360
M. Dalal:
Semantics of an Anytime Family of Reasoners.
Pages 360-365.

c-ecai-96-365
E.F. De Lima and Ch. Lingenfelder:
Optimizing the Presentation of Modal Natural Deduction Proofs.
Pages 365-370.

c-ecai-96-370
J. Eckerle:
BDBIDA: A New Approach for Space-limited Bidirectional Heuristic Graph Search.
Pages 370-375.

c-ecai-96-375
M. Kerber and M. Kohlhase:
A Resolution Calculus for Presuppositions.
Pages 375-380.

c-ecai-96-380
B. Liu:
Intelligent Route Finding: Combining Knowledge, Cases and an Efficient Search Algorithm.
Pages 380-385.

c-ecai-96-385
A. Rieger:
MP: An Efficient Method for Calculating the Minimum Herbrand Model of Chain Datalog Programs.
Pages 385-390.

c-ecai-96-390
D. Robertson:
Distributed Specification.
Pages 390-395.

c-ecai-96-395
R. Steiner, H. Kaindl, and G. Kainz:
Backjumping in State-Space Search.
Pages 395-403.

c-ecai-96-403
Z. Alexin, T. Gyimóthy, and H. Boström:
Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner.
Pages 403-408.

c-ecai-96-408
R. Benjamins, D. Fensel, and R. Straatman:
Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering.
Pages 408-413.

c-ecai-96-413
S. Billet-Coat:
MIDE: A Model-Based and Incremental Knowledge Acquisition Methodology.
Pages 413-418.

c-ecai-96-418
O. Corby and R. Dieng:
Cokace: A Centaur-based environment for CommonKADS Conceptual Modelling Language.
Pages 418-423.

c-ecai-96-423
D. Fensel and R. Groenboom:
MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems.
Pages 423-428.

c-ecai-96-428
P. Geibel and F. Wysotzki:
Relational Learning with Decision Trees.
Pages 428-433.

c-ecai-96-433
C. Haouche and J. Charlet:
KBS Validation: A Knowledge Acquisition Perspective.
Pages 433-438.

c-ecai-96-438
S.-H. Nienhuys-Cheng and R. de Wolf:
A Complete Method for Program Specialization Based on Unfolding.
Pages 438-443.

c-ecai-96-443
N.I. Nikolaev and E.N. Smirnov:
Stochastically Guided Disjunctive Version Space Learning.
Pages 443-448.

c-ecai-96-448
S. Schrödl:
Explanation-Based Generalization for Negation as Failure and Multiple Examples.
Pages 448-453.

c-ecai-96-453
R. Trappl, J. Fürnkranz, and J. Petrak:
Digging for Peace: Using Machine Learning Methods for Assessing International Conflict Databases.
Pages 453-458.

c-ecai-96-458
G. Widmer:
What Is It That Makes It a Horowitz? Empirical Musicology via Machine Learning.
Pages 458-463.

c-ecai-96-463
X. Wu, D. Urpani, and J. Sykes:
Rule Induction Without Decision Tree Construction.
Pages 463-471.

c-ecai-96-471
R. Bellazzi:
Causal Probabilistic Networks for Dynamic Modeling.
Pages 471-476.

c-ecai-96-476
H. De Jong, N.J.I. Mars, and P.E. van der Vet:
CEC: Comparative Analysis by Envisionment Construction.
Pages 476-481.

c-ecai-96-481
O. Dressler:
On-Line Diagnosis and Monitoring of Dynamic Systems based on Qualitative Models and Dependency-recording Diagnosis Engines.
Pages 481-486.

c-ecai-96-486
M.T. Escrig and F. Toledo:
Qualitative Spatial Orientation with Constraint Handling Rules.
Pages 486-491.

c-ecai-96-491
G. Friedrich, M. Stumptner, and F. Wotawa:
Model-Based Diagnosis of Hardware Designs.
Pages 491-496.

c-ecai-96-496
P. Fröhlich and W. Nejdl:
A Model-based Reasoning Approach to Circumscription.
Pages 496-501.

c-ecai-96-501
A. Galton:
Taking Dimension Seriously in Qualitative Spatial Reasoning.
Pages 501-506.

c-ecai-96-506
P. Olivier, K. Nakata, M. Landon, and A. McManus:
Analogical Representations for Mechanism Synthesis.
Pages 506-511.

c-ecai-96-511
M. Tatar:
Diagnosis with Cascading Defects.
Pages 511-519.

c-ecai-96-519
S. Brainov:
Altruistic Cooperation Between Self-Interested Agents.
Pages 519-524.

c-ecai-96-524
H.-D. Burkhard:
Abstract Goals in Multi-Agent Systems.
Pages 524-529.

c-ecai-96-529
M. D'Inverno and M. Luck:
Understanding Autonomous Interaction.
Pages 529-534.

c-ecai-96-534
T. Kis, J. Váncza, and A. Márkus:
Controlling Distributed Manufacturing Systems by a Market Mechanism.
Pages 534-539.

c-ecai-96-539
S. Ossowski, A. García-Serrano, and J. Cuena:
Emergent Co-ordination of Flow Control Actions through Functional Co-operation of Social Agents.
Pages 539-544.

c-ecai-96-544
O. Shehory and S. Kraus:
Cooperative Goal-satisfaction without Communication in Large-scale Agent-Systems.
Pages 544-549.

c-ecai-96-549
K. Sycara and D. Zeng:
Multi-Agent Integration of Information Gathering and Decision Support.
Pages 549-557.

c-ecai-96-557
R. Backofen:
Controlling Functional Uncertainty.
Pages 557-562.

c-ecai-96-562
F.D. Buø and A. Waibel:
Search in a Learnable Spoken Language Parser.
Pages 562-567.

c-ecai-96-567
M. Dorna and M.C. Emele:
Efficient Implementation of a Semantic-based Transfer Approach.
Pages 567-572.

c-ecai-96-572
U. Hahn, K. Markert, and M. Strube:
A Conceptual Reasoning Approach to Textual Ellipsis.
Pages 572-577.

c-ecai-96-577
H. Horacek:
A New Algorithm for Generating Referential Descriptions.
Pages 577-582.

c-ecai-96-582
C. Kennedy and B. Boguraev:
Anaphora in a Wider Context: Tracking Discourse Referents.
Pages 582-587.

c-ecai-96-587
D. Marcu and G. Hirst:
A Formal and Computational Characterization of Pragmatic Infelicities.
Pages 587-592.

c-ecai-96-592
R. McConachy and I. Zukerman:
Using Argument Graphs to Generate Arguments.
Pages 592-599.

c-ecai-96-599
S. Biundo and W. Stephan:
Modeling Planning Domains Systematically.
Pages 599-604.

c-ecai-96-604
N. Chaignaud and F. Lévy:
Common Sense Reasoning: Experiments and Implementation.
Pages 604-609.

c-ecai-96-609
D. Dengler:
Customized Plans Transmitted by Flexible Refinement.
Pages 609-614.

c-ecai-96-614
A. El-Kholy and B. Richards:
Temporal and Resource Reasoning in Planning: the parcPLAN Approach.
Pages 614-619.

c-ecai-96-619
C. Le Pape and P. Baptiste:
Constraint Propagation Techniques for Disjunctive Scheduling: The Preemptive Case.
Pages 619-624.

c-ecai-96-624
R. Miller:
A Case Study in Reasoning about Actions and Continuous Change.
Pages 624-629.

c-ecai-96-629
C. Pain-Barre:
DEDAL: a DEDuctive and ALgorithmic Planning System.
Pages 629-634.

c-ecai-96-634
A. Schaerf:
Scheduling Sport Tournaments Using Constraint Logic Programming.
Pages 634-639.

c-ecai-96-639
Th. Stidsen, L.V. Kragelund, and O. Mateescu:
Jobshop Scheduling in a Shipyard.
Pages 639-647.

c-ecai-96-647
M. Bauer:
Justification of Plan Recognition Results.
Pages 647-652.

c-ecai-96-652
S. Benferhat, D. Dubois, and H. Prade:
Beyond Counter-Examples to Nonmonotonic Formalisms: A Possibility-Theoretic Analysis.
Pages 652-657.

c-ecai-96-657
S. Coradeschi:
Reasoning with Misperception in the Features and Fluents Framework.
Pages 657-662.

c-ecai-96-662
F. Ramparany and M.F. Collin:
Applying Fuzzy Logic for Multisensor Data Fusion.
Pages 662-667.

c-ecai-96-667
N. Wilson:
Extended Probability.
Pages 667-672.

c-ecai-96-672
N. Wilson and S. Moral:
Fast Markov Chain Algorithms for Calculating Dempster Shafer Belief.
Pages 672-679.

c-ecai-96-679
N.M. Sgouros, P. Tsanakas, G. Papakonstantinou, and N. Katevas:
Qualitative Autonomous Navigation for Wheelchair Robots.
Pages 679-684.

c-ecai-96-684
M. Shanahan:
Robotics and the Common Sense Informatic Situation.
Pages 684-689.

c-ecai-96-689
W. Willuhn and F. Ade:
Knowledged-based Support for 3D Object Reconstruction.
Pages 689-694.

c-ecai-96-694
T. Yamaguchi, M. Masubuchi, Y. Tanaka, and M. Yachida:
Reinforcement Learning for a Real Robot in a Real Environment.
Pages 694-699.

c-ecai-96-699
L. Yriarte, P. Deplanques, J. Sallantin, P. Reitz, R. Zapata, B. Burg, and F. Arlabosse:
An Architecture for Modeling and Validation. Application to Mobile Robotics.
Pages 699-707.

c-ecai-96-707
E. Sandewall:
Getting Robots to Know Exactly What They Are Doing.
Pages 707-708.

c-ecai-96-708
L. Carlucci Aiello:
Commonsense Reasoning.
Pages 708-710.

c-ecai-96-710
B.J. Grosz:
Modeling Collaboration for Human-Computer Communication.
Pages 710-711.

c-ecai-96-711
J. Cuena:
Knowledge Oriented Application Development: Lessons Learnt from Real-Time Decision Support Systems.
Pages 711-*.

19-May-97 23:23