12. ECAI 1996:
Budapest,
Hungary
Wolfgang Wahlster (Ed.):
12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings.
John Wiley and Sons, Chichester 1996 
@proceedings{DBLP:conf/ecai/1996,
editor = {Wolfgang Wahlster},
title = {12th European Conference on Artificial Intelligence, Budapest,
Hungary, August 11-16, 1996, Proceedings},
booktitle = {ECAI},
publisher = {John Wiley and Sons, Chichester},
year = {1996},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
- Christian Bessière, Amar Isli, Gerard Ligozat:
Global Consistency in Interval Algebra Networks: Tractable Subclasses.
3-7
- Patrick Fabiani:
Dynamics of Beliefs and Strategy of Perception.
8-12
- Renwei Li, Luís Moniz Pereira:
Temporal Reasoning with Abductive Logic Programming.
13-17
- Marta Cialdea Mayer, Fiora Pirri:
A Study on the Logic of Abduction.
18-22
- Tim Menzies:
On the Practicality of Abductive Validation.
23-27
- Aïcha Mokhtari, Daniel Kayser:
Normative and Epistemic Aspects in Causality.
28-32
- Angelo Montanari, Luca Chittaro, Iliano Cervesato:
A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants.
33-37
- Bernhard Nebel:
Solving Hard Qualitative Temporal Reasoning Problems: Evaluating the Efficiency of Using the ORD-Horn Class.
38-42
- Paolo Terenziani:
Towards an Ontology Dealing with Periodic Events.
43-47
- Thierry Vidal, Malik Ghallab:
Dealing with Uncertain Durations In Temporal Constraint Networks dedicated to Planning.
48-54
- Philippe Besnard, Yao-Hua Tan:
A Modal Logic with Context-Dependent Inference for Non-Monotonic Reasoning.
55-59
- Joeri Engelfriet, Jan Treur:
Semantics for Default Logic based on Specific Branching Time Models.
60-64
- Norman Y. Foo, Abhaya C. Nayak, Maurice Pagnucco:
Definitional Constraints.
65-69
- Tomi Janhunen:
Representing Autoepistemic Introspection in Terms of Default Rules.
70-74
- Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Pavlos Peppas:
Learning From Conditionals: Judy Benjamin's Other Problems.
75-79
- Ilkka Niemelä:
Implementing Circumscription Using a Tableau Method.
80-84
- Pavlos Peppas:
PMA Epistemic Entrenchments: The General Case.
85-89
- Pavlos Peppas:
Well Behaved and Multiple Belief Revision.
90-94
- Pavlos Peppas, Abhaya C. Nayak, Maurice Pagnucco, Norman Y. Foo, Rex Bing Hung Kwok, Mikhail Prokopenko:
Revision vs. Update: Taking a Closer Look.
95-99
- Mark Ryan, Pierre-Yves Schobbens:
Intertranslating Counterfactuals and Updates.
100-104
- Torsten Schaub, Stefan Brüning:
Prolog Technology for Default Reasoning (An Abridged Report).
105-109
- Xianchang Wang, Jia-Huai You, Li-Yan Yuan:
Circumscription by Inference Rules with Priority.
110-116
- Christoph Globig, Steffen Lange:
Case-Based Representability of Classes of Boolean Functions.
117-121
- Paulo Gomes, Carlos Bento, Pedro Gago, Ernesto Costa:
Towards a Case-Based Model for Creative Processes.
122-126
- Mario Lenz, Hans-Dieter Burkhard:
Lazy Propagation in Case Retrieval Nets.
127-131
- Jean Lieber, Amedeo Napoli:
Using Classification in Case-Based Planning.
132-136
- Luigi Portinale, Pietro Torasso:
On the Usefulness of Re-using Diagnostic Solutions.
137-141
- Ken Satoh:
Translating Case-Based Reasoning into Abductive Logic Programming.
142-146
- Angi Voß:
Towards a Methodology for Case Adaptation.
147-154
- Hachemi Bennaceur:
The Satisfiability Problem Regarded as a Constraint Satisfaction Problem.
155-159
- James E. Borrett, Edward P. K. Tsang, N. R. Walsh:
Adaptive Constraint Satisfaction: The Quickest First Principle.
160-164
- Bertrand Cabon, Gérard Verfaillie, David Martinez, P. Bourret:
Using Mean Field Methods for Boosting Backtrack Search in Constraint Satisfaction Problems.
165-169
- Ian P. Gent, Toby Walsh:
Phase Transitions and Annealed Theories: Number Partitioning as a Case Study.
170-174
- Stuart A. Grant, Barbara M. Smith:
The Phase Transition Behaviour of Maintaining Arc Consistency.
175-179
- Richard Génisson, Philippe Jégou:
Davis and Putnam were Already Checking Forward.
180-184
- Alvin C. M. Kwan, Edward P. K. Tsang, James E. Borrett:
Predicting Phase Transitions of Binary CSPs with Constraint Graph Information.
185-189
- Javier Larrosa, Pedro Meseguer:
Phase Transition in MAX-CSP.
190-194
- Hoong Chuin Lau:
Probabilistic Analysis of Local Search on Random Instances of Constraint Satisfaction.
195-199
- Gilles Richard, Frédéric Saubion:
Answers Synthesis for CLP with Negation.
200-204
- Rainer Weigel, Boi Faltings, Berthe Y. Choueiry:
Context in Discrete Constraint Satisfaction Problems.
205-212
- Philippe Collard, Alessio Gaspar:
'Royal-Road' Landscapes for a Dual Genetic Algorithm.
213-217
- Philippe Collard, Cathy Escazut:
Fitness Distance Correlation in a Dual Genetic Algorithm.
218-222
- Jean-Michel Gallone, François Charpillet:
Hopfield Neural Network for Scheduling Non Pre-emptive Tasks.
223-227
- Jan Paredis:
Symbiotic Coevolution for Epistatic Problems.
228-232
- Jürgen Rahmel:
On the Role of Topology for Neural Network Interpretation.
233-240
- Frances M. T. Brazier, Jan Treur, Niek J. E. Wijngaards:
Modelling Interaction with Experts: The Role of a Shared Task Model.
241-245
- Andreas Butz, Antonio Krüger:
Lean Modeling : The Intelligent Use of Geometrical Abstraction in 3D Animations.
246-250
- Andrew Csinger, David Poole:
Adapting Decision Theory for Multimedia Presentation Design: User Modelling for Intent-based Authoring.
251-255
- Yi Han, Ingrid Zukerman:
Constraint Propagation in a Cooperative Approach for Multimodal Presentation Planning.
256-260
- Tsuneaki Kato, Yukiko I. Nakano, H. Nakajima, Takaaki Hasegawa:
Interactive Multi modal Explanations and their Temporal Coordination.
261-265
- Yeun-Bae Kim, Masahiro Shibata:
A Video Indexing Method using Natural Language Memo for TV Program Production.
266-270
- Ralf Möller:
Knowledge-Based Dialog Structuring for Graphics Interaction.
271-275
- Pearl Pu, Denis Lalanne:
Human and Machine Collaboration in Creative Design.
276-282
- Franz Baader, Ulrike Sattler:
Description Logics with Symbolic Number Restrictions.
283-287
- Liviu Badea:
A Unified Architechture for Knowledge Representation Based on Description Logics.
288-292
- J. Bell, Z. Huang:
Safety Logics II: Normative Safety.
293-297
- Amaia Bernaras, Iñaki Laresgoiti, Jose Manuel Corera:
Building and Reusing Ontologies for Electrical Network Applications.
298-302
- Diego Calvanese:
Reasoning with Inclusion Axioms in Description Logics: Algorithms and Complexity.
303-307
- José Cuena, Josefa Z. Hernández, Martín Molina:
Knowledge Oriented Design of an Application for Real Time Traffic Management: The TRYS System.
308-312
- N. Glaser, M.-C. Haton:
Experiences in Modelling Statistical Process Control Knowledge.
313-317
- Jérôme Lang:
Conditional Desires and Utilities: an Alternative Logical Approach to Qualitative Decision Theory.
318-322
- Alon Y. Levy, Marie-Christine Rousset:
CARIN: A Representation Language Combining Horn Rules and Description Logics.
323-327
- Marie-Christine Rousset, Pascale Hors:
Modeling and Verifying Complex Objects: A Declarative Approach Based on Description Logics.
328-334
- J. Stuart Aitken:
Problem Solving in Interactive Proof: A Knowledge-Modelling Approach.
335-339
- Troels Andreasen, Henning Christiansen:
Counterfactual Exceptions in Deductive Database Queries.
340-344
- Rachel Ben-Eliyahu, Luigi Palopoli, Victoria Zemlyanker:
The Expressive Power of Tractable Disjunction.
345-349
- Thierry Castell, Claudette Cayrol, Michel Cayrol, Daniel Le Berre:
Using the Davis and Putnam Procedure for an Efficient Computation of Preferred Models.
350-354
- Mukesh Dalal:
An Almost Quadratic Class of Satisfiability Problems.
355-359
- Mukesh Dalal:
Semantics of an Anytime Family of Reasoners.
360-364
- Erika F. de Lima, Christoph Lingenfelder:
Optimizing the Presentation of Modal Natural Deduction Proofs.
365-369
- Jürgen Eckerle:
BDBIDA: A New Approach for Space-limited Bidirectional Heuristic Graph Search.
370-374
- Manfred Kerber, Michael Kohlhase:
A Resolution Calculus for Presuppositions.
375-379
- Bing Liu:
Intelligent Route Finding: Combining Knowledge and Cases and an Efficient Search Algorithm.
380-384
- Anke D. Rieger:
MP: An Efficient Method for Calculating the Minimum Herbrand Model of Chain Datalog Programs.
385-389
- David Stuart Robertson:
Distributed Specification.
390-394
- Roland Steiner, Hermann Kaindl, Gerhard Kainz:
Backjumping in State-Space Search.
395-402
- Zoltán Alexin, Tibor Gyimóthy, Henrik Boström:
Integrating Algorithmic Debugging and Unfolding Transformation in an Interactive Learner.
403-407
- V. Richard Benjamins, Dieter Fensel, Remco Straatman:
Assumptions of Problem-Solving Methods and their Role in Knowledge Engineering.
408-412
- Sophie Billet-Coat:
MIDE: A Model-Based and Incremental Knowledge Acquisition Methodology.
413-417
- Olivier Corby, Rose Dieng:
Cokace: A Centaur-based environment for CommonKADS Conceptual Modelling Language.
418-422
- Dieter Fensel, Rix Groenboom:
MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems.
423-427
- Peter Geibel, Fritz Wysotzki:
Relational Learning with Decision Trees.
428-432
- Corinne Haouche, Jean Charlet:
KBS Validation: A Knowledge Acquisition Perspective.
433-437
- Shan-Hwei Nienhuys-Cheng, Ronald de Wolf:
A Complete Method for Program Specialization Based on Unfolding.
438-442
- Nikolay I. Nikolaev, Evgueni N. Smirnov:
Stochastically Guided Disjunctive Version Space Learning.
443-447
- Stefan Schrödl:
Explanation-Based Generalization for Negation as Failure and Multiple Examples.
448-452
- Robert Trappl, Johannes Fürnkranz, Johann Petrak:
Digging for Peace: Using Machine Learning Methods for Assessing International Conflict Databases.
453-457
- Gerhard Widmer:
What Is It That Makes It a Horowitz? Empirical Musicology via Machine Learning.
458-462
- Xindong Wu, David Urpani, James A. Sykes:
Rule Induction Without Decision Tree Construction.
463-470
- Riccardo Bellazzi:
Causal Probabilistic Networks for Dynamic Modeling.
471-475
- Hidde de Jong, Nicolaas J. I. Mars, Paul E. van der Vet:
CEC: Comparative Analysis by Envisionment Construction.
476-480
- Oskar Dressler:
On-Line Diagnosis and Monitoring of Dynamic Systems based on Qualitative Models and Dependency-recording Diagnosis Engines.
481-485
- M. Teresa Escrig, Francisco Toledo:
Qualitative Spatial Orientation with Constraint Handling Rules.
486-490
- Gerhard Friedrich, Markus Stumptner, Franz Wotawa:
Model-Based Diagnosis of Hardware Designs.
491-495
- Peter Fröhlich, Wolfgang Nejdl:
A Model-based Reasoning Approach to Circumscription.
496-500
- Antony Galton:
Taking Dimension Seriously in Qualitative Spatial Reasoning.
501-505
- Patrick Olivier, K. Nakata, M. Landon, A. McManus:
Analogical Representations for Mechanism Synthesis.
506-510
- M. Tatar:
Diagnosis with Cascading Defects.
511-518
- Sviatoslav Brainov:
Altruistic Cooporation Between Self-Interested Agents.
519-523
- Hans-Dieter Burkhard:
Abstract Goals in Multi-Agent Systems.
524-528
- Mark d'Inverno, Michael Luck:
Understanding Autonomous Interaction.
529-533
- Tamás Kis, József Váncza, András Márkus:
Controlling Distributed Manufacturing Systems by a Market Mechanism.
534-538
- Sascha Ossowski, Ana García-Serrano, José Cuena:
Emergent Co-ordination of Flow Control Actions through Functional Co-operation of Social Agents.
539-543
- Onn Shehory, Sarit Kraus:
Cooperative Goal-satisfaction without Communication in Large-scale Agent-Systems.
544-548
- Katia P. Sycara, Dajun Zeng:
Multi-Agent Integration of Information Gathering and Decision Support.
549-556
- Rolf Backofen:
Controlling Functional Uncertainty.
557-561
- Finn Dag Buø, Alex Waibel:
Search in a Learnable Spoken Language Parser.
562-566
- Michael Dorna, Martin C. Emele:
Efficient Implementation of a Semantic-based Transfer Approach.
567-571
- Udo Hahn, Katja Markert, Michael Strube:
A Conceptual Reasoning Approach to Textual Ellipsis.
572-576
- Helmut Horacek:
A New Algorithm For Generating Referential Descriptions.
577-581
- Christopher Kennedy, Branimir Boguraev:
Anaphora in a Wider Context: Tracking Discourse Referents.
582-586
- Daniel Marcu, Graeme Hirst:
A Formal and Computational Characterization of Pragmatic Infelicities.
587-591
- Richard McConachy, Ingrid Zukerman:
Using Argument Graphs to Generate Arguments.
592-598
- Susanne Biundo, Werner Stephan:
Modeling Planning Domains Systematically.
599-603
- Nathalie Chaignaud, F. Levy:
Common Sense Reasoning: Experiments and Implementation.
604-608
- Dietmar Dengler:
Customized Plans Transmitted by Flexible Refinement.
609-613
- A. El-Kholy, B. Richards:
Temporal and Resource Reasoning in Planning: the parcPLAN approach.
614-618
- Claude Le Pape, Philippe Baptiste:
Constraint Propagation Techniques for Disjunctive Scheduling: The Preemptive Case.
619-623
- R. Miller:
A Case Study in Reasoning about Actions and Continuous Change.
624-628
- C. Pain-Barre:
DEDAL: a DEDuctive and ALgorithmic planning system.
629-633
- Andrea Schaerf:
Scheduling Sport Tournaments using Constraint Logic Programming.
634-638
- Thomas Stidsen, L. V. Kragelund, O. Mateescu:
Jobshop Scheduling in a Shipyard.
639-646
- M. Bauer:
Justification of Plan Recognition Results.
647-651
- Salem Benferhat, Didier Dubois, Henri Prade:
Beyond Counter-Examples to Nonmonotonic Formalisms: A Possibility-Theoretic Analysis.
652-656
- Silvia Coradeschi:
Reasoning with Misperception in the Features and Fluents Framework.
657-661
- F. Ramparany, M. F. Collin:
Applying Fuzzy Logic for Multisensor Data Fusion.
662-666
- Nic Wilson:
Extended Probability.
667-671
- Nic Wilson, Serafín Moral:
Fast Markov Chain Algorithms for Calculating Dempster-Shafer Belief.
672-678
- Nikitas M. Sgouros, Panayotis Tsanakas, George K. Papakonstantinou, N. Katevas:
Qualitative Autonomous Navigation for Wheelchair Robots.
679-683
- Murray Shanahan:
Robotics and the Common Sense Informatic Situation.
684-688
- W. Willuhn, F. Ade:
Knowledged-based Support for 3D Object Reconstruction.
689-693
- Tomohiro Yamaguchi, Motohmi Masubuchi, Yasuhiro Tanaka, Masahiko Yachida:
Reinforcement Learning for a Real Robot in a Real Environment.
694-698
- Luc Yriarte, Pascal Deplanques, Jean Sallantin, Philippe Reitz, René Zapata, B. Burg, Francois Arlabosse:
An Architecture for Modeling and Validation. Application to Mobile Robotics.
699-706
- Erik Sandewall:
Getting Robots to Know Exactly What They Are Doing.
707
- Luigia Carlucci Aiello:
Commonsense Reasoning.
708-709
- Barbara J. Grosz:
Modeling Collaboration for Human-Computer Communication.
710
- José Cuena:
Knowledge Oriented Application Development: Lessons Learnt from Real-Time Decision Support Systems.
711-714
Copyright © Fri Mar 12 17:10:00 2010
by Michael Ley (ley@uni-trier.de)
