Conferences in DBLP
Sven-Erik Bornscheuer Rational Models of Normal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Sven-Erik Bornscheuer , Torsten Seiler Massively Parallel Reasoning about Actions. [Citation Graph (0, 0)][DBLP ] Conf ] Chandrabose Aravindan DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Contzen , Knut Möller Abstraction as a Heuristic to Guide Planning. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Denzinger Equational Theorem Proving Using Taxonomic Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Denzinger , Martin Kronenburg Planning for Distributed Theorem Proving: The Teamwork Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Truong Quoc Dung A Revision of Dependency-Directed Backtracking for JTMS. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Ebersberger , Johannes Müller , Holger Stahl A Compiler-Interpreter-System for Decoding the User's Intention Within a Speech Understanding Application. [Citation Graph (0, 0)][DBLP ] Conf ] Bertram Fronhöfer Cyclic Rules in Linear Connection Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Matthias Fuchs , Andreas Abecker Optimized Nearest-Neighbor Classifiers Using Generated Instances. [Citation Graph (0, 0)][DBLP ] Conf ] Leonardo Garrido-Luna , Katia P. Sycara Towards a Totally Distributed Meeting Scheduling System. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Habel Representations as Basis of Cognitive Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Diane Hirschfeld , Heinz Dieter Maas Improving the Functionality of a Text-to-Speech System by Adding Morphological Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Holger H. Hoos Solving Hard Combinatorial Problems with GSAT - A Case Study. [Citation Graph (0, 0)][DBLP ] Conf ] Dieter Hutter Using Rippling for Equational Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Janusz Jablonowski , Witold Lukaszewicz , Ewa Madalinska-Bugaj Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Kamp , Petra Pirk , Hans-Dieter Burkhard FALLDATEN: Case-Based Reasoning for the Diagnosis of Technical Devices. [Citation Graph (0, 0)][DBLP ] Conf ] Walter Kasper , Hans-Ulrich Krieger Integration of Prosodic and Grammatical Information in the Analysis of Dialogs. [Citation Graph (0, 0)][DBLP ] Conf ] Mieczyslaw A. Klopotek , Slawomir T. Wierzchon , Maciej Michalewicz Application of a Genetic Algorithm for Plausible Justification of Observations. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard K. Kraetzschmar , Josef Schneeberger Managing Multiple Contexts Efficiently. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Küchler , Christoph Goller Inductive Learning in Symbolic Domains Using Structure-Driven Recurrent Neural Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Gerhard Lakemeyer , Wilfried Lang Belief Revision in a Nonclassical Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Lange , Ralf Möller , Bernd Neumann Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key. [Citation Graph (0, 0)][DBLP ] Conf ] Mario Lenz , Hans-Dieter Burkhard Case Retrieval Nets: Basic Ideas and Extensions. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Linke , Torsten Schaub Putting Default Logics in Perspective. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Margelisch , Bernd Novotny , Ulrich Reimer EULE2: A Prototypical Knowledge-Based Decision Support System for the Performance of Office Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Erica Melis When to Prove Theorems by Analogy? [Citation Graph (0, 0)][DBLP ] Conf ] Carl-Heinz Meyer , Wilhelm Rödder Probabilistic Knowledge Representation and Reasoning at Maximum Entropy by SPIRIT. [Citation Graph (0, 0)][DBLP ] Conf ] Heinrich Niemann , Volker Fischer , Dietrich Paulus , Julia Fischer Knowledge Based Image Understanding by Iterative Optimization. [Citation Graph (0, 0)][DBLP ] Conf ] Wolfgang Oertel Knowledge Organization Using the Development System FAENSY. [Citation Graph (0, 0)][DBLP ] Conf ] Jens Otten , Christoph Kreitz A Uniform Proof Procedure for Classical and Non-Classical Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel Pacholczyk , Gilles Hunault Qualitative Reasoning under Uncertainty with Symbolic Probabilities. [Citation Graph (0, 0)][DBLP ] Conf ] Anna Radzikowska Narratives with Concurrent Action: The Mutual Exclusion Problem (Extended Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Stuart J. Russell Tools for Autonomous Agents (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Ulrike Sattler A Concept Language Extended with Different Kinds of Transitive Roles. [Citation Graph (0, 0)][DBLP ] Conf ] Henning Scheich Representation in Auditory Cortex (Abstract). [Citation Graph (0, 0)][DBLP ] Conf ] Klemens Schnattinger , Udo Hahn A Terminological Qualification Calculus for Preferential Reasoning under Uncertainty. [Citation Graph (0, 0)][DBLP ] Conf ] Werner Winiwarter , Osami Kagawa , Yahiko Kambayashi Syntactic Disambiguation by Using Categorial Parsing in a DOOD Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg Würtz , Tobias Müller Constructive Disjunction Revisited. [Citation Graph (0, 0)][DBLP ] Conf ] 