default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID21. KI 1997: Freiburg
- Gerhard Brewka, Christopher Habel, Bernhard Nebel:
KI-97: Advances in Artificial Intelligence, 21st Annual German Conference on Artificial Intelligence, Freiburg, Germany, September 9-12, 1997, Proceedings. Lecture Notes in Computer Science 1303, Springer 1997, ISBN 3-540-63493-2
Invited Talks
- Anthony G. Cohn:
Qualitative Spatial Representation and Reasoning Techniques. 1-30 - Kurt Konolige:
COLBERT: A Language for Reactive Control in Sapphira. 31-52 - Pat Langley:
Machine Learning for Adaptive User Interfaces. 53-62
Theorem Proving
- Stefan Gerberding, Brigitte Pientka:
Structured Incremental Proof Planning. 63-74 - Thomas Kolbe, Sabine Glesner:
Many-Sorted Logic in a Learning Theorem Prover. 75-86 - Michael Kühn:
Rigid Hypertableaux. 87-98 - Wenjin Lu:
Minimal Model Generation Based on E-hyper Tableaux. 99-110 - Erica Melis, Jon Whittle:
External Analogy in Inductive Theorem Proving. 111-122
Nonclassical Logics
- Manfred Kerber, Michael Kohlhase:
Mechanising Partiality With Re-implementation. 123-134 - Enno Sandner:
From Linear Proofs to Direct Logic with Exponentials. 135-146 - Martin Strecker, Maria Sorea:
Integrating an Equality Prover into a Software Development System Based on Type Theory. 147-158
Knowledge Representation
- Peter Grünwald:
Causation and Nonmonotonic Temporal Reasoning. 159-170 - David A. Basin, Seán Matthews, Luca Viganò:
Labelled Quantified Modal Logics. 171-182 - Barbara Messing:
Defining Decision Rules in Signed Horn Clauses. 183-194
Spatial Reasoning
- Bettina Berendt:
Modelling Subjective Distances. 195-206 - Carola Eschenbach, Lars Kulik:
An Axiomatic Approach to the Spatial Relations Underlying Left-Right and in Front of-Behind. 207-218 - Ralf Röhrig:
Representation and Processing of Qualitative Orientation Knowledge. 219-230
Computational Linguistics
- Bernd Ludwig:
A Contribution to the Question of Authenticity of Resus Using Part-of-Speech Tagging. 231-242 - Susanne Schacht, Udo Hahn:
Making Objects More Knowledgeable. 243-254 - Klemens Schnattinger, Udo Hahn:
Constraining the Acquisition of Concepts by the Quality of Heterogeneous Evidence. 255-266 - Steffen Staab:
Conceptualizing Adjectives. 267-278 - Hans Weber, Jörg Spilker, Günther Görz:
Parsing N Best Trees from a Word Lattice. 279-288
Computer Perception / Neural Nets
- Wolfram Burgard, Dieter Fox, Daniel Hennig:
Fast Grid-Based Position TRacking for Mobile Robots. 289-300 - Michael Haag, Wolfgang Theilmann, Kart Schäfer, Hans-Hellmut Nagel:
Integration of Image Sequence Evaluation and Fuzzy Metric Temporal Logic Programming. 301-312 - Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann:
Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. 313-324
Planning, Diagnosis, and Search
- Stefan K. Bamberger:
Cooperating Diagnostic Expert Systems to Solve Complex Diagnosis Tasks. 325-336 - Olaf Steinmann, Antje Strohmaier, Thomas Stützle:
Tabu Search vs. Random Walk. 337-348 - Antje Strohmaier:
Multi-flip Networks: Parallelizing GenSAT. 349-360 - Thomas Weis:
Resource-Adaptive Action Planning in a Dialogue System for Repair Support. 361-372
Posters
- Alberto Artosi, Paola Cattabriga, Guido Governatori
:
A Modal Computational Framework for Default Reasoning. 373-376 - Lassaad Cheikhrouhou:
Planning Diagonalization Proofs. 377-380 - Stefan Edelkamp:
Suffix Tree Automata in State Space Search. 381-384 - Bertram Fronhöfer:
Connection Cutting for Contraction Free Logic. 385-388 - Dov M. Gabbay, Rolf Nossum, Michael Thielscher:
Agents in Proactive Environments. 389-392 - Sven Hartrumpf, Marion Schulz:
Reducing Lexical Redundancy by Augmenting Conceptual Knowledge. 393-396 - Jörg Nilson, Gabriella Kókai:
A Graphical User Interface for an ECG Classifier System. 397-400 - Nenad Stojanovic, Ljiljana Stoiljkovic, Dejan Milenovic, V. Stoiljkovic:
Expert System in Additional Finishing. 401-404 - Leendert W. N. van der Torre, Yao-Hua Tan:
Reasoning About Exceptions (Extended Abstract). 405-408 - Hanno Walischewski:
Learning and Interpretation of the Layout of Structured Documents. 409-412
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 2024-12-03 20:31 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:
