Search results for "KI"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jochen Burghardt	Axiomatization of Finite Algebras.	KI	2002	DBLP DOI BibTeX RDF
1	Thomas Christaller	DFG Priority Program RoboCup (SPP-1125) Cooperating Teams of Mobile Robots in Dynamic Environments.	KI	2002	DBLP DOI BibTeX RDF
1	Pierre E. Bonzon	Compiling Dynamic Agent Conversations.	KI	2002	DBLP DOI BibTeX RDF
1	Heiner Stuckenschmidt	Approximate Information Filtering on the Semantic Web.	KI	2002	DBLP DOI BibTeX RDF
1	Michael Borth	Learning from Multiple Bayesian Networks for the Revision and Refinement of Expert Systems.	KI	2002	DBLP DOI BibTeX RDF
1	Elisabeth André	From Simulated Dialogues to Interactive Performances with Virtual Actors.	KI	2002	DBLP DOI BibTeX RDF
1	Franz Baader, Anni-Yasmin Turhan	On the Problem of Computing Small Representations of Least Common Subsumers.	KI	2002	DBLP DOI BibTeX RDF
1	Richard Zens, Franz Josef Och, Hermann Ney	Phrase-Based Statistical Machine Translation.	KI	2002	DBLP DOI BibTeX RDF
1	Ute Schmid, Marina Müller, Fritz Wysotzki	Integrating Function Application in State-Based Planning.	KI	2002	DBLP DOI BibTeX RDF
1	Jochen Wickel, Pablo Alvarado, Peter Dörfler, Thomas Krüger, Karl-Friedrich Kraiss	Axiom - A Modular Visual Object Retrieval System.	KI	2002	DBLP DOI BibTeX RDF
1	Thomas Malsch	DFG Priority Program (SPP-1077) Socionics - Investigating and Modelling Artificial Societies.	KI	2002	DBLP DOI BibTeX RDF
1	Liviu-Virgil Ciortuz	LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars.	KI	2002	DBLP DOI BibTeX RDF
1	Pascal Hitzler, Matthias Wendt	The Well-Founded Semantics Is a Stratified Fitting Semantics.	KI	2002	DBLP DOI BibTeX RDF
1	Brijnesh J. Jain, Fritz Wysotzki	Fast Winner-Takes-All Networks for the Maximum Clique Problem.	KI	2002	DBLP DOI BibTeX RDF
1	Matthias Jarke, Jana Koehler, Gerhard Lakemeyer (eds.)	KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings	KI	2002	DBLP DOI BibTeX RDF
1	Carsten Gips, Petra Hofstedt, Fritz Wysotzki	Spatial Inference - Learning vs. Constraint Solving.	KI	2002	DBLP DOI BibTeX RDF
1	Stefan Kirn	DFG Priority Program (SPP-1083) Intelligent Agents and Realistic Commercial Application Scenarios.	KI	2002	DBLP DOI BibTeX RDF
1	Marina Guetova, Steffen Hölldobler, Hans-Peter Störr	Incremental Fuzzy Decision Trees.	KI	2002	DBLP DOI BibTeX RDF	classification, fuzzy logic, decision trees, incremental learning
1	Peter Geibel, Kristina Schädler, Fritz Wysotzki	Learning of Class Descriptions from Class Discriminations: A Hybrid Approach for Relational Objects.	KI	2002	DBLP DOI BibTeX RDF
1	Frieder Stolzenburg, Oliver Obst, Jan Murray	Qualitative Velocity and Ball Interception.	KI	2002	DBLP DOI BibTeX RDF	multiagent systems, spatial reasoning, cognitive robotics
1	Andrew Skabar	Augmenting Supervised Neural Classifier Training Using a Corpus of Unlabeled Data.	KI	2002	DBLP DOI BibTeX RDF
1	Ralf Klabunde	Logic-Based Choice of Projective Terms.	KI	1999	DBLP DOI BibTeX RDF
1	Werner Nutt	On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics.	KI	1999	DBLP DOI BibTeX RDF
1	Michael Beetz, Maren Bennewitz, Henrik Grosskreutz	Probabilistic, Prediction-Based Schedule Debugging for Autonomous Robot Office Couriers.	KI	1999	DBLP DOI BibTeX RDF
1	Rolf Pfeifer	Dynamics, Morpholgy, and Materials in the Emergence of Cognition.	KI	1999	DBLP DOI BibTeX RDF
1	Michael Imhoff, Ursula Gather, Katharina Morik	Development of Decision Support Algorithms for Intensive Care Medicine: A New Approach Combining Time Series Analysis and a Knowledge Base System with Learning and Revision Capabilities.	KI	1999	DBLP DOI BibTeX RDF
1	Stefan Haustein	Information Environments for Software Agents.	KI	1999	DBLP DOI BibTeX RDF
1	Dieter Fox, Wolfram Burgard, Hannes Kruppa, Sebastian Thrun	Collaborative Multi-robot Localization.	KI	1999	DBLP DOI BibTeX RDF
1	Jörg Kahl, Lothar Hotz, Heiko Milde, Stephanie Wessel	Improving Reasoning Efficiency for Subclasses of Allen's Algebra with Instantiation Intervals.	KI	1999	DBLP DOI BibTeX RDF
1	Bernhard Nebel	Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms.	KI	1999	DBLP DOI BibTeX RDF
1	Gabriele Kern-Isberner	Following Conditional Structures of Knowledge.	KI	1999	DBLP DOI BibTeX RDF	Ramsey test, ordinal conditional functions, iterated revision, AGM theory, Belief revision, conditionals
1	Takashi Matsuyama	Cooperative Distributed Vision: Dynamic Integration of Visual Perception, Action, and Communication.	KI	1999	DBLP DOI BibTeX RDF
1	Holger H. Hoos, Thomas Stützle	Systematic vs. Local Search for SAT.	KI	1999	DBLP DOI BibTeX RDF
1	Hans A. Kestler, Steffen Simon, Axel Baune, Friedhelm Schwenker, Günther Palm	Object Classification Using Simple, Colour Based Visual Attention and a Hierarchical Neural Network for Neuro-symbolic Integration.	KI	1999	DBLP DOI BibTeX RDF
1	Helmut Willke	From AI to Systemic Knowledge Management.	KI	1999	DBLP DOI BibTeX RDF
1	Michael Thielscher	A Theory of First-Order Counterfactual Reasoning.	KI	1999	DBLP DOI BibTeX RDF
1	Martin Hoffhenke, Ipke Wachsmuth	Object Recognition with Shape Prototypes in a 3D Construction Scenario.	KI	1999	DBLP DOI BibTeX RDF
1	Sebastian Thrun, Maren Bennewitz, Wolfram Burgard, Armin B. Cremers, Frank Dellaert, Dieter Fox, Dirk Hähnel, Charles R. Rosenberg, Nicholas Roy, Jamieson Schulte, Dirk Schulz 0001	MINERVA: A Tour-Guide Robot that Learns.	KI	1999	DBLP DOI BibTeX RDF
1	Camilla Schwind	A Theory for Causal Reasoning.	KI	1999	DBLP DOI BibTeX RDF
1	Martin Ester, Hans-Peter Kriegel, Jörg Sander 0001	Knowledge Discovery in Spatial Databases.	KI	1999	DBLP DOI BibTeX RDF
1	Thomas Mantay, Ralf Möller 0001, Alissa Kaplunova	Computing Probabilistic Least Common Subsumers in Description Logics.	KI	1999	DBLP DOI BibTeX RDF
1	David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher	Revising Nonmonotonic Theories: The Case of Defeasible Logic.	KI	1999	DBLP DOI BibTeX RDF
1	Ana L. C. Bazzan, Joachim Wahle, Franziska Klügl	Agents in Traffic Modelling - From Reactive to Social Behaviour.	KI	1999	DBLP DOI BibTeX RDF
1	Stefan Schrödl, Stefan Edelkamp	Inferring Flow of Control in Program Synthesis by Example.	KI	1999	DBLP DOI BibTeX RDF
1	Uwe Handmann, Iris Leefken, Christos Tzomakas	A Flexible Architecture for Driver Assistance Systems.	KI	1999	DBLP DOI BibTeX RDF
1	Ralph Bergmann, Ivo Vollrath	Generalized Cases: Representation and Steps Towards Efficient Similarity Assessment.	KI	1999	DBLP DOI BibTeX RDF
1	Mathis Löthe	Knowledge Based Automatic Composition and Variation of Melodies for Minuets in Early Classical Style.	KI	1999	DBLP DOI BibTeX RDF
1	Hans-Hellmut Nagel	Natural Language Description of Image Sequences as a Form of Knowledge Representation.	KI	1999	DBLP DOI BibTeX RDF	Image Sequence Evaluation, Fuzzy Metric-Temporal Logic, Natural Language Text Understanding, Road Traffic, Vehicle Behavior, Knowledge Representation, Machine Vision, Situation
1	Wolfram Burgard, Thomas Christaller, Armin B. Cremers (eds.)	KI-99: Advances in Artificial Intelligence, 23rd Annual German Conference on Artificial Intelligence, Bonn, Germany, September 13-15, 1999, Proceedings	KI	1999	DBLP DOI BibTeX RDF
1	Bernd Fritzke	Be Busy and Unique ... or Be History - The Utility Criterion for Removing Units in Self-Organizing Networks.	KI	1999	DBLP DOI BibTeX RDF
1	Michael Imhoff, Marcus Bauer 0001, Ursula Gather	Time-Effect Relations of Medical Interventions in a Clinical Information System.	KI	1999	DBLP DOI BibTeX RDF
1	Harald Meyer auf'm Hofe	Finding Regions for Local Repair in Partial Constraint Satisfaction.	KI	1998	DBLP DOI BibTeX RDF
1	Dieter Hutter	Deductive Verification of Invariants of State-Transition Systems.	KI	1998	DBLP DOI BibTeX RDF
1	Sascha Ossowski, Ana García-Serrano, José Cuena	From Theory to Practice in Multiagent System Design: The Case of Structural Co-operation.	KI	1998	DBLP DOI BibTeX RDF
1	Peter Struss	Artifical Intelligence for Nature - Why Knowledge Representation and Problem Solving Should Play a Key Role in Environmental Decision Support.	KI	1998	DBLP DOI BibTeX RDF
1	Michael Beetz, Hanno Peters	Structured Reactive Communication Plans - Integrating Conversational Actions into High-Level Robot Control Systems.	KI	1998	DBLP DOI BibTeX RDF
1	Otthein Herzog, Andreas Günter (eds.)	KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence, Bremen, Germany, September 15-17, 1998, Proceedings	KI	1998	DBLP DOI BibTeX RDF
1	Rudolf Kruse, Christian Borgelt	Data Mining with Graphical Models.	KI	1998	DBLP DOI BibTeX RDF
1	Wolfgang Pohl	Handling Negative Assumptions in a Generic User Modeling Framework.	KI	1998	DBLP DOI BibTeX RDF
1	Ulrike Rhein-Desel, Frank Puppe	Concepts for a Diagnostic Critiquing System in Vague Domains.	KI	1998	DBLP DOI BibTeX RDF
1	Stefan Edelkamp, Frank Reffel	OBDDs in Heuristic Search.	KI	1998	DBLP DOI BibTeX RDF
1	Gerd Stumme	Distributive Concept Exploration - A Knowledge Acquisition Tool in Formal Concept Analysis.	KI	1998	DBLP DOI BibTeX RDF
1	Franz Baader, Ralf Küsters	Computing the Least Common Subsumer and the Most Specific Concept in the Presence of Cyclic ALN-Concept Descriptions.	KI	1998	DBLP DOI BibTeX RDF
1	Dirk Hähnel, Wolfram Burgard, Gerhard Lakemeyer	GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot.	KI	1998	DBLP DOI BibTeX RDF
1	Ernst Pöppel	Information Processing and Knowledge Generation in the Nervous System.	KI	1998	DBLP DOI BibTeX RDF
1	John F. Sowa	The Infinite Variety of Logics.	KI	1998	DBLP DOI BibTeX RDF
1	Helmut Horacek, Stephan Busemann	Towards a Methodology for Developing Application-Oriented Report Generation.	KI	1998	DBLP DOI BibTeX RDF
1	Stefan Schulz 0001, Martin Romacker, Udo Hahn	Part-Whole Reasoning in Medical Knowledge Bases Using Description Logics.	KI	1998	DBLP DOI BibTeX RDF
1	Heinz Jürgen Müller	Thinking in Agents.	KI	1998	DBLP DOI BibTeX RDF
1	Alexander Seitz, Adelinde M. Uhrmacher	The Treatment of Time in a Case-Based Analysis of Experimental Medical Studies.	KI	1998	DBLP DOI BibTeX RDF
1	Fritz Mädler, Karsten Knorr	Needle's Eyes - A General Decomposition Principle for Practical Uses.	KI	1998	DBLP DOI BibTeX RDF
1	Serge Autexier, Heiko Mantel, Werner Stephan 0001	Simultaneous Quantifier Elimination.	KI	1998	DBLP DOI BibTeX RDF
1	Cord Spreckelsen, Klaus Spitzer 0001	Formal Representation of Temporal Items of the Diagnostic and Statistic Manual of Mental Disorders.	KI	1998	DBLP DOI BibTeX RDF
1	Peter Grünwald	Causation and Nonmonotonic Temporal Reasoning.	KI	1997	DBLP DOI BibTeX RDF
1	Jörg Nilson, Gabriella Kókai	A Graphical User Interface for an ECG Classifier System.	KI	1997	DBLP DOI BibTeX RDF
1	Bertram Fronhöfer	Connection Cutting for Contraction Free Logic.	KI	1997	DBLP DOI BibTeX RDF
1	Michael Haag, Wolfgang Theilmann, Kart Schäfer, Hans-Hellmut Nagel	Integration of Image Sequence Evaluation and Fuzzy Metric Temporal Logic Programming.	KI	1997	DBLP DOI BibTeX RDF
1	Barbara Messing	Defining Decision Rules in Signed Horn Clauses.	KI	1997	DBLP DOI BibTeX RDF
1	Thomas Kolbe, Sabine Glesner	Many-Sorted Logic in a Learning Theorem Prover.	KI	1997	DBLP DOI BibTeX RDF
1	Kurt Konolige	COLBERT: A Language for Reactive Control in Sapphira.	KI	1997	DBLP DOI BibTeX RDF
1	Erica Melis, Jon Whittle 0001	External Analogy in Inductive Theorem Proving.	KI	1997	DBLP DOI BibTeX RDF
1	Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann	Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks.	KI	1997	DBLP DOI BibTeX RDF
1	Wolfram Burgard, Dieter Fox, Daniel Hennig	Fast Grid-Based Position TRacking for Mobile Robots.	KI	1997	DBLP DOI BibTeX RDF
1	Hans Weber 0001, Jörg Spilker, Günther Görz	Parsing N Best Trees from a Word Lattice.	KI	1997	DBLP DOI BibTeX RDF
1	Bettina Berendt	Modelling Subjective Distances.	KI	1997	DBLP DOI BibTeX RDF
1	Olaf Steinmann, Antje Strohmaier, Thomas Stützle	Tabu Search vs. Random Walk.	KI	1997	DBLP DOI BibTeX RDF
1	Thomas Weis	Resource-Adaptive Action Planning in a Dialogue System for Repair Support.	KI	1997	DBLP DOI BibTeX RDF
1	Bernd Ludwig	A Contribution to the Question of Authenticity of Resus Using Part-of-Speech Tagging.	KI	1997	DBLP DOI BibTeX RDF
1	Anthony G. Cohn 0001	Qualitative Spatial Representation and Reasoning Techniques.	KI	1997	DBLP DOI BibTeX RDF
1	Leendert W. N. van der Torre, Yao-Hua Tan	Reasoning About Exceptions (Extended Abstract).	KI	1997	DBLP DOI BibTeX RDF
1	Michael Kühn	Rigid Hypertableaux.	KI	1997	DBLP DOI BibTeX RDF
1	Susanne Schacht, Udo Hahn	Making Objects More Knowledgeable.	KI	1997	DBLP DOI BibTeX RDF
1	Gerhard Brewka, Christopher Habel, Bernhard Nebel (eds.)	KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings	KI	1997	DBLP DOI BibTeX RDF
1	Steffen Staab	Conceptualizing Adjectives.	KI	1997	DBLP DOI BibTeX RDF
1	Nenad Stojanovic, Ljiljana Stoiljkovic, Dejan Milenovic, V. Stoiljkovic	Expert System in Additional Finishing.	KI	1997	DBLP DOI BibTeX RDF
1	Stefan Edelkamp	Suffix Tree Automata in State Space Search.	KI	1997	DBLP DOI BibTeX RDF
1	Stefan Gerberding, Brigitte Pientka	Structured Incremental Proof Planning.	KI	1997	DBLP DOI BibTeX RDF
1	Stefan K. Bamberger	Cooperating Diagnostic Expert Systems to Solve Complex Diagnosis Tasks.	KI	1997	DBLP DOI BibTeX RDF
1	Ralf Röhrig	Representation and Processing of Qualitative Orientation Knowledge.	KI	1997	DBLP DOI BibTeX RDF
1	Martin Strecker, Maria Sorea	Integrating an Equality Prover into a Software Development System Based on Type Theory.	KI	1997	DBLP DOI BibTeX RDF

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