Conferences in DBLP
Hans-Hellmut Nagel AI Approaches Towards Sensor-Based Driver Support in Road Vehicles. [Citation Graph (0, 0)][DBLP ] Conf ] Sven-Erik Bornscheuer , Michael Thielscher Representing Concurrent Actions and Solving Conflicts. [Citation Graph (0, 0)][DBLP ] Conf ] Klaus Goos Preselection Strategies for Case Based Classification. [Citation Graph (0, 0)][DBLP ] Conf ] Eva Stopp , Klaus-Peter Gapp , Gerd Herzog , Thomas Laengle , Tim Lüth Utilizing Spatial Relations for Natural Language Access to an Autonomous Mobile Agent. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Baader , Martin Buchheit , Bernhard Hollunder Cardinality Restrictions on Concepts. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Pomplun , Boris Velichkovsky , Helge Ritter An Artificial Neural Network for High Precision Eye Movement Tracking. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Kuznetsov A Kripke-Kleene Logic over General Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Dix , Martin Müller The Stable Semantics and its Variants: A Comparison of Recent Approaches. [Citation Graph (0, 0)][DBLP ] Conf ] Ingo Glöchner , Andrea Grieszl , Martin Müller 0002 , Marc Ronthaler TabVer: A Case Study in Table Verbalization. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony Jameson , B. Kipper , Alassane Ndiaye , Ralph Schäfer , Thomas Weis , D. Zimmermann Cooperating to Be Noncooperative: The Dialog System PRACMA. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Pfahringer Robust Constructive Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Fuhr , Franz Kummert , Gerhard Sagerer Enriching a Semantic Network Language by Integrating Qualitative Reasoning Techniques. [Citation Graph (0, 0)][DBLP ] Conf ] Volker Haarslev , Ralf Möller , Carsten Schröder Combining Spatial and Terminological Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Walter Schaaf Detecting Gestalts in CAD-Plans to be Used as Indices for Case-Retrieval in Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Erich Schikuta The NeuDB-System: Towards the Integration of Neural Networks and Database Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Joachim Quantz , Sven Suska Weighted Defaults in Description Logics: Formal Properties and Proof Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Becker , Gerhard Lakemeyer Epistemic Queries in Classic. [Citation Graph (0, 0)][DBLP ] Conf ] Bernd van Linder , Wiebe van der Hoek , John-Jules Ch. Meyer Communicating Rational Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Josef Meyer-Fujara , Barbara Heller , Sonja Schlegelmilch , Ipke Wachsmuth Knowledge-Level Modularization of a Complex Knowledge Base. [Citation Graph (0, 0)][DBLP ] Conf ] Witold Lukaszewicz , Ewa Madalinska-Bugaj Program Verification Techniques as a Tool for Reasoning about Action and Change. [Citation Graph (0, 0)][DBLP ] Conf ] Luis Fariñas del Cerro , Andreas Herzig A Conditional Logic for Updating in the Possible Models Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Schurz Probabilistic Justification of Default Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Gerson Zaverucha A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theory. [Citation Graph (0, 0)][DBLP ] Conf ] James P. Delgrande , Torsten Schaub Incorporating Specificity into Circumscriptive Theories. [Citation Graph (0, 0)][DBLP ] Conf ] Hans Rott Coherent Choice and Epistemic Entrechment (Preliminary Report). [Citation Graph (0, 0)][DBLP ] Conf ] Zuoquan Lin , Wei Li A Note on Tableaux of Logic of Paradox. [Citation Graph (0, 0)][DBLP ] Conf ] Nicholas Asher , Jérôme Lang When Nonmonotonicity Comes from Distances. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Becher , Uwe Petermann Rigid Unification by Completion and Rigid Paramodulation. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Kohlhase Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Denzinger , Matthias Fuchs Goal Oriented Equational Theorem Proving Using Team Work. [Citation Graph (0, 0)][DBLP ] Conf ] Ian P. Gent , Toby Walsh The Hardest Random SAT Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Madden Formal Methods for Automated Program Improvement. [Citation Graph (0, 0)][DBLP ] Conf ] Xiaorong Huang , Manfred Kerber , Michael Kohlhase , Jörn Richts Adapting Methods to Novel Tasks in Proof Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Jan W. Amtrup Using Charts for Transfer in MT. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Baaz , Karin Hörwein A New Frame For Common-Sense Reasoning - Towards Local Inconsistencies. [Citation Graph (0, 0)][DBLP ] Conf ] Marie-Odile Cordier , Pierre Siegel Prioritized Transitions for Updates. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Eckerle An Optimal Bidirectional Search Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Bogdan Filipic , Iztok Zun , Matjaz Perpar Learning to Discriminate Phases in Gas-Liquid Flow. [Citation Graph (0, 0)][DBLP ] Conf ] Jürgen Giesl , Ingrid Neumann Strategies for Semantical Contractions. [Citation Graph (0, 0)][DBLP ] Conf ] J. S. J. H. Penders Conflicts in the Spatial Interaction of Autonomous Agents. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Rapp , Michael Jessen , Grzegorz Dogil Using Rough Sets Theory to Predict German Word Stress. [Citation Graph (0, 0)][DBLP ] Conf ] Kristina Schädler Graphtheoretical Algorithms and Knowledge-Based Design. [Citation Graph (0, 0)][DBLP ] Conf ] Eugenia Ternovskaia Interval Situation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] 