Search results for "KI"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Hanno Walischewski	Learning and Interpretation of the Layout of Structured Documents.	KI	1997	DBLP DOI BibTeX RDF
1	Klemens Schnattinger, Udo Hahn	Constraining the Acquisition of Concepts by the Quality of Heterogeneous Evidence.	KI	1997	DBLP DOI BibTeX RDF
1	Sven Hartrumpf, Marion Schulz	Reducing Lexical Redundancy by Augmenting Conceptual Knowledge.	KI	1997	DBLP DOI BibTeX RDF
1	Alberto Artosi, Paola Cattabriga, Guido Governatori	A Modal Computational Framework for Default Reasoning.	KI	1997	DBLP DOI BibTeX RDF
1	Wenjin Lu	Minimal Model Generation Based on E-hyper Tableaux.	KI	1997	DBLP DOI BibTeX RDF
1	Enno Sandner	From Linear Proofs to Direct Logic with Exponentials.	KI	1997	DBLP DOI BibTeX RDF
1	David A. Basin, Seán Matthews, Luca Viganò 0001	Labelled Quantified Modal Logics.	KI	1997	DBLP DOI BibTeX RDF
1	Antje Strohmaier	Multi-flip Networks: Parallelizing GenSAT.	KI	1997	DBLP DOI BibTeX RDF
1	Lassaad Cheikhrouhou	Planning Diagonalization Proofs.	KI	1997	DBLP DOI BibTeX RDF
1	Pat Langley	Machine Learning for Adaptive User Interfaces.	KI	1997	DBLP DOI BibTeX RDF
1	Carola Eschenbach, Lars Kulik	An Axiomatic Approach to the Spatial Relations Underlying Left-Right and in Front of-Behind.	KI	1997	DBLP DOI BibTeX RDF
1	Dov M. Gabbay, Rolf Nossum, Michael Thielscher	Agents in Proactive Environments.	KI	1997	DBLP DOI BibTeX RDF
1	Manfred Kerber, Michael Kohlhase	Mechanising Partiality With Re-implementation.	KI	1997	DBLP DOI BibTeX RDF
1	Anna Radzikowska	Narratives with Concurrent Action: The Mutual Exclusion Problem (Extended Abstract).	KI	1996	DBLP DOI BibTeX RDF
1	Jörg Denzinger, Martin Kronenburg	Planning for Distributed Theorem Proving: The Teamwork Approach.	KI	1996	DBLP DOI BibTeX RDF
1	Mario Lenz, Hans-Dieter Burkhard	Case Retrieval Nets: Basic Ideas and Extensions.	KI	1996	DBLP DOI BibTeX RDF
1	Jörg Denzinger	Equational Theorem Proving Using Taxonomic Constraints.	KI	1996	DBLP DOI BibTeX RDF
1	Matthias Fuchs, Andreas Abecker	Optimized Nearest-Neighbor Classifiers Using Generated Instances.	KI	1996	DBLP DOI BibTeX RDF
1	Daniel Pacholczyk, Gilles Hunault	Qualitative Reasoning under Uncertainty with Symbolic Probabilities.	KI	1996	DBLP DOI BibTeX RDF
1	Carl-Heinz Meyer, Wilhelm Rödder	Probabilistic Knowledge Representation and Reasoning at Maximum Entropy by SPIRIT.	KI	1996	DBLP DOI BibTeX RDF
1	Gerhard K. Kraetzschmar, Josef Schneeberger	Managing Multiple Contexts Efficiently.	KI	1996	DBLP DOI BibTeX RDF
1	Wolfgang Oertel	Knowledge Organization Using the Development System FAENSY.	KI	1996	DBLP DOI BibTeX RDF
1	Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Maciej Michalewicz	Application of a Genetic Algorithm for Plausible Justification of Observations.	KI	1996	DBLP DOI BibTeX RDF
1	Heinrich Niemann, Volker Fischer 0001, Dietrich Paulus, Julia Fischer	Knowledge Based Image Understanding by Iterative Optimization.	KI	1996	DBLP DOI BibTeX RDF
1	Chandrabose Aravindan	DisLoP: A Disjunctive Logic Programming System Based on PROTEIN Theorem Prover.	KI	1996	DBLP DOI BibTeX RDF
1	Klemens Schnattinger, Udo Hahn	A Terminological Qualification Calculus for Preferential Reasoning under Uncertainty.	KI	1996	DBLP DOI BibTeX RDF
1	Gerd Kamp, Petra Pirk, Hans-Dieter Burkhard	FALLDATEN: Case-Based Reasoning for the Diagnosis of Technical Devices.	KI	1996	DBLP DOI BibTeX RDF
1	Werner Winiwarter, Osami Kagawa, Yahiko Kambayashi	Syntactic Disambiguation by Using Categorial Parsing in a DOOD Framework.	KI	1996	DBLP DOI BibTeX RDF
1	Stuart Russell 0001	Tools for Autonomous Agents (Abstract).	KI	1996	DBLP DOI BibTeX RDF
1	Andreas Margelisch, Bernd Novotny, Ulrich Reimer	EULE2: A Prototypical Knowledge-Based Decision Support System for the Performance of Office Tasks.	KI	1996	DBLP DOI BibTeX RDF
1	Leonardo Garrido-Luna, Katia P. Sycara	Towards a Totally Distributed Meeting Scheduling System.	KI	1996	DBLP DOI BibTeX RDF
1	Thomas Linke, Torsten Schaub	Putting Default Logics in Perspective.	KI	1996	DBLP DOI BibTeX RDF
1	Ulrike Sattler	A Concept Language Extended with Different Kinds of Transitive Roles.	KI	1996	DBLP DOI BibTeX RDF
1	Günther Görz, Steffen Hölldobler (eds.)	KI-96: Advances in Artificial Intelligence, 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996, Proceedings	KI	1996	DBLP DOI BibTeX RDF
1	Walter Kasper, Hans-Ulrich Krieger	Integration of Prosodic and Grammatical Information in the Analysis of Dialogs.	KI	1996	DBLP DOI BibTeX RDF
1	Michael Ebersberger, Johannes Müller 0004, Holger Stahl	A Compiler-Interpreter-System for Decoding the User's Intention Within a Speech Understanding Application.	KI	1996	DBLP DOI BibTeX RDF
1	Christopher Habel	Representations as Basis of Cognitive Processes.	KI	1996	DBLP DOI BibTeX RDF
1	Holger H. Hoos	Solving Hard Combinatorial Problems with GSAT - A Case Study.	KI	1996	DBLP DOI BibTeX RDF
1	Truong Quoc Dung	A Revision of Dependency-Directed Backtracking for JTMS.	KI	1996	DBLP DOI BibTeX RDF
1	Michael Contzen, Knut Möller	Abstraction as a Heuristic to Guide Planning.	KI	1996	DBLP DOI BibTeX RDF
1	Sven-Erik Bornscheuer	Rational Models of Normal Logic Programs.	KI	1996	DBLP DOI BibTeX RDF
1	Bertram Fronhöfer	Cyclic Rules in Linear Connection Proofs.	KI	1996	DBLP DOI BibTeX RDF
1	Janusz Jablonowski, Witold Lukaszewicz, Ewa Madalinska-Bugaj	Reasoning about Action and Change: Defeasible Observations and Actions with Abnormal Effects.	KI	1996	DBLP DOI BibTeX RDF
1	Diane Hirschfeld, Heinz Dieter Maas	Improving the Functionality of a Text-to-Speech System by Adding Morphological Knowledge.	KI	1996	DBLP DOI BibTeX RDF
1	Erica Melis	When to Prove Theorems by Analogy?	KI	1996	DBLP DOI BibTeX RDF
1	Andreas Küchler, Christoph Goller	Inductive Learning in Symbolic Domains Using Structure-Driven Recurrent Neural Networks.	KI	1996	DBLP DOI BibTeX RDF
1	Dieter Hutter	Using Rippling for Equational Reasoning.	KI	1996	DBLP DOI BibTeX RDF
1	Gerhard Lakemeyer, Wilfried Lang	Belief Revision in a Nonclassical Logic.	KI	1996	DBLP DOI BibTeX RDF
1	Jens Otten, Christoph Kreitz	A Uniform Proof Procedure for Classical and Non-Classical Logics.	KI	1996	DBLP DOI BibTeX RDF
1	Henning Scheich	Representation in Auditory Cortex (Abstract).	KI	1996	DBLP DOI BibTeX RDF
1	Harald Lange, Ralf Möller 0001, Bernd Neumann	Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key.	KI	1996	DBLP DOI BibTeX RDF
1	Sven-Erik Bornscheuer, Torsten Seiler	Massively Parallel Reasoning about Actions.	KI	1996	DBLP DOI BibTeX RDF
1	Jörg Würtz, Tobias Müller 0002	Constructive Disjunction Revisited.	KI	1996	DBLP DOI BibTeX RDF
1	Jürgen Eckerle, Sven Schuierer	Efficient Memory-Limited Graph Search.	KI	1995	DBLP DOI BibTeX RDF
1	Maroua Bouzid, Antoni Ligeza	Temporal Logic Based on Characteristic Functions.	KI	1995	DBLP DOI BibTeX RDF
1	Wilfried Hötker	Dynamic Structuring of Lexical Knowledge in a Reusability Scenario.	KI	1995	DBLP DOI BibTeX RDF
1	Ruzena Bajcsy, Jana Kosecká	The Problem of Signal and Symbol Integration: A Study of Cooperative Mobile Autonomous Agent Behaviors.	KI	1995	DBLP DOI BibTeX RDF
1	William M. Bricken	Distinction Networks.	KI	1995	DBLP DOI BibTeX RDF
1	Frank W. Bergmann, J. Joachim Quantz	Parallelizing Description Logics.	KI	1995	DBLP DOI BibTeX RDF
1	Leslie Pack Kaelbling, Michael L. Littman, Anthony R. Cassandra	Partially Observable Markov Decision Processes for Artificial Intelligence.	KI	1995	DBLP DOI BibTeX RDF
1	Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer (eds.)	KI-95: Advances in Artificial Intelligence, 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995, Proceedings	KI	1995	DBLP DOI BibTeX RDF
1	Klaus-Peter Gapp	An Empirically Validated Model for Computing Spatial Relations.	KI	1995	DBLP DOI BibTeX RDF
1	Klemens Schnattinger, Udo Hahn, Manfred Klenner	Quality-Based Terminological Reasoning for Concept Learning.	KI	1995	DBLP DOI BibTeX RDF
1	Jürgen Giesl	Automated Termination Proofs with Measure Functions.	KI	1995	DBLP DOI BibTeX RDF
1	Wolfgang Menzel	Robust Processing of Natural Language.	KI	1995	DBLP DOI BibTeX RDF
1	Stefan Schrödl	An Extension of Explanation-Based Generalization to Negation as Failure.	KI	1995	DBLP DOI BibTeX RDF
1	Anna Radzikowska	Reasoning about Action with Typical and Atypical Effects.	KI	1995	DBLP DOI BibTeX RDF
1	Bernhard Nebel	Computational Properties of Qualitative Spatial Reasoning: First Results.	KI	1995	DBLP DOI BibTeX RDF
1	Emil Weydert	Default Entailment: A Preferential Construction Semantics for Defeasible Inference.	KI	1995	DBLP DOI BibTeX RDF
1	Martin Buchheit, Hans-Jürgen Bürckert, Bernhard Hollunder, Armin Laux, Werner Nutt, Marek Wójcik	Task Acquisition with a Description Logic Reasoner.	KI	1995	DBLP DOI BibTeX RDF
1	Bernd van Linder, Wiebe van der Hoek, John-Jules Ch. Meyer	Actions That Make You Change Your Mind (Extended Abstract).	KI	1995	DBLP DOI BibTeX RDF
1	Roman Englert	Inducing Integrity Constraints from Knowledge Bases.	KI	1995	DBLP DOI BibTeX RDF
1	Gerd Herzog, Karl Rohr	Integrating Vision and Language: Towards Automatic Description of Human Movements.	KI	1995	DBLP DOI BibTeX RDF
1	Witold Lukaszewicz, Ewa Madalinska-Bugaj	Reasoning about Action and Change: Actions with Abnormal Effects.	KI	1995	DBLP DOI BibTeX RDF
1	Michael Thielscher	What Is a Skeptical Proof?	KI	1995	DBLP DOI BibTeX RDF
1	Andreas Becker, Gerhard Lakemeyer	Epistemic Queries in Classic.	KI	1994	DBLP DOI BibTeX RDF
1	Joachim Quantz, Sven Suska	Weighted Defaults in Description Logics: Formal Properties and Proof Theory.	KI	1994	DBLP DOI BibTeX RDF
1	Eugenia Ternovskaia	Interval Situation Calculus.	KI	1994	DBLP DOI BibTeX RDF
1	Jörg Denzinger, Matthias Fuchs	Goal Oriented Equational Theorem Proving Using Team Work.	KI	1994	DBLP DOI BibTeX RDF
1	Anthony Jameson, Bernhard Kipper, Alassane Ndiaye, Ralph Schäfer, Thomas Weis, Detlev Zimmermann	Cooperating to Be Noncooperative: The Dialog System PRACMA.	KI	1994	DBLP DOI BibTeX RDF
1	J. S. J. H. Penders	Conflicts in the Spatial Interaction of Autonomous Agents.	KI	1994	DBLP DOI BibTeX RDF
1	Marie-Odile Cordier, Pierre Siegel	Prioritized Transitions for Updates.	KI	1994	DBLP DOI BibTeX RDF
1	Hans-Hellmut Nagel	AI Approaches Towards Sensor-Based Driver Support in Road Vehicles.	KI	1994	DBLP DOI BibTeX RDF
1	Thomas Fuhr 0002, Franz Kummert, Gerhard Sagerer	Enriching a Semantic Network Language by Integrating Qualitative Reasoning Techniques.	KI	1994	DBLP DOI BibTeX RDF
1	Marc Pomplun, Boris M. Velichkovsky, Helge J. Ritter	An Artificial Neural Network for High Precision Eye Movement Tracking.	KI	1994	DBLP DOI BibTeX RDF
1	Gerhard Schurz	Probabilistic Justification of Default Reasoning.	KI	1994	DBLP DOI BibTeX RDF
1	Josef Meyer-Fujara, Barbara Heller, Sonja Schlegelmilch, Ipke Wachsmuth	Knowledge-Level Modularization of a Complex Knowledge Base.	KI	1994	DBLP DOI BibTeX RDF
1	Jürgen Dix, Martin Müller 0001	The Stable Semantics and its Variants: A Comparison of Recent Approaches.	KI	1994	DBLP DOI BibTeX RDF
1	Zuoquan Lin, Wei Li 0022	A Note on Tableaux of Logic of Paradox.	KI	1994	DBLP DOI BibTeX RDF
1	Eva Stopp, Klaus-Peter Gapp, Gerd Herzog, Thomas Laengle, Tim C. Lüth	Utilizing Spatial Relations for Natural Language Access to an Autonomous Mobile Agent.	KI	1994	DBLP DOI BibTeX RDF
1	Witold Lukaszewicz, Ewa Madalinska-Bugaj	Program Verification Techniques as a Tool for Reasoning about Action and Change.	KI	1994	DBLP DOI BibTeX RDF
1	Gerson Zaverucha	A Prioritized Contextual Default Logic: Curing Anomalous Extensions with a Simple Abnormality Default Theory.	KI	1994	DBLP DOI BibTeX RDF
1	Stefan Rapp, Michael Jessen, Grzegorz Dogil	Using Rough Sets Theory to Predict German Word Stress.	KI	1994	DBLP DOI BibTeX RDF
1	Ian P. Gent, Toby Walsh	The Hardest Random SAT Problems.	KI	1994	DBLP DOI BibTeX RDF
1	Erich Schikuta	The NeuDB-System: Towards the Integration of Neural Networks and Database Systems.	KI	1994	DBLP DOI BibTeX RDF
1	Bernhard Pfahringer	Robust Constructive Induction.	KI	1994	DBLP DOI BibTeX RDF
1	Jürgen Giesl, Ingrid Neumann	Strategies for Semantical Contractions.	KI	1994	DBLP DOI BibTeX RDF
1	Hans Rott	Coherent Choice and Epistemic Entrechment (Preliminary Report).	KI	1994	DBLP DOI BibTeX RDF
1	Peter Madden	Formal Methods for Automated Program Improvement.	KI	1994	DBLP DOI BibTeX RDF
1	Jürgen Eckerle	An Optimal Bidirectional Search Algorithm.	KI	1994	DBLP DOI BibTeX RDF

Publications at "KI"( http://dblp.L3S.de/Venues/KI )