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