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