2002-08-06 Transfer in Machine Translation by Non-Confluent Term-Rewrite Systems. 264-269 1989 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai89.html#Weisweber89 2002-02-06 A Modification of the Earley-Shieber Algorithm for Direct Parsing of ID/LP Grammars. 39-48 1984 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai1984.html#Kilbury84 2002-01-03 Inferring Implicit State Knowledge and Plans with Sensing Actions. 366-380 2001 KI/ÖGAI http://link.springer.de/link/service/series/0558/bibs/2174/21740366.htm http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2001.html#Thielscher01 2002-02-08 What Is a Skeptical Proof? 161-172 1995 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki95.html#Thielscher95 2003-06-05 A Theory of First-Order Counterfactual Reasoning. 137-148 http://link.springer.de/link/service/series/0558/bibs/1701/17010137.htm 1999 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki99.html#Thielscher99 2002-02-08 When Nonmonotonicity Comes from Distances. 308-318 1994 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki94.html#AsherL94 2002-01-03 A Defense Model for Games with Incomplete Information. 260-274 2001 KI/ÖGAI http://link.springer.de/link/service/series/0558/bibs/2174/21740260.htm http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2001.html#Jamroga01 2003-01-22 Tutorial: Konnektionismus. 306-307 1988 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai88.html#Kemke88a 2002-02-08 Reasoning About Exceptions (Extended Abstract). 405-408 1997 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki97.html#TorreT97 2002-09-03 Approximate Information Filtering on the Semantic Web. 114-128 2002 KI http://link.springer.de/link/service/series/0558/bibs/2479/24790114.htm http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2002.html#Stuckenschmidt02 2003-02-07 Assumptionbased Truth Maintenance (Abstract). 258 1985 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai85.html#Kleer85 2002-09-16 Integrating Model Theoretic and Proof Theoretic Interpretation of Logic Programs. 42-64 1987 KIFS http://www.informatik.uni-trier.de/~ley/db/conf/ki/kifs1987-1.html#Pletat87 2003-01-29 Künstliche Intelligenz, 5. Frühjahrsschule, KIFS-87, Günne, 28. März - 5. April 1987, Proceedings KIFS 202 1989 3-540-50884-8 http://www.informatik.uni-trier.de/~ley/db/conf/ki/kifs1987-1.html 2002-01-03 Propositional Satisfiability in Answer-Set Programming. 138-153 2001 KI/ÖGAI http://link.springer.de/link/service/series/0558/bibs/2174/21740138.htm http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2001.html#EastT01 2003-02-07 KI-Methoden in der maschinellen Übersetzung. 41-53 1987 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai87.html#Hauenschild87 2003-02-07 Kann die Künstliche Intelligenz-Forschung Fragen der Philosophie beantworten? 2-25 1985 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai85.html#Beckermann85 2002-02-08 Data Mining with Graphical Models. 3-16 1998 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki98.html#KruseB98 2002-02-08 Prioritized Transitions for Updates. 393 1994 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki94.html#CordierS94 2002-08-06 OSKAR - Ein PROLOG-Programm zur Modellierung der Stuktur und der Verarbeitung räumlichen Wissens. 234-243 1989 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai89.html#LangC89 2003-01-29 Kognitive Modellierung: Menschliche Wissensrepräsentation und Verarbeitungsstrategien. 245-291 1986 KIFS http://www.informatik.uni-trier.de/~ley/db/conf/ki/kifs1986.html#SchmalhoferW86 2003-01-22 Utterance Generation Without Choice. 140-151 1988 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai88.html#Klock88 2003-02-07 Decision Making in Unclear Situations. 17-27 1986 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai86.html#HoracekKW86 2002-08-06 OFFICE-PLAN: Tackling the Synthesis-Frontier. 379-387 1989 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai89.html#KarbachLV89 2002-08-22 Utilizing Spatial Relations for Natural Language Access to an Autonomous Mobile Agent. 39-50 1994 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki94.html#StoppGHLL94 2006-06-13 What is Common Sense and How to Formalize it? (Condensed Slides). 213-217 1985 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai85.html#McCarthy85 2003-01-22 Raum-zeitliche Filter für eine top-down Steuerung der Bewegungsanalyse. 296-305 1988 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai88.html#MohnhauptF88 2002-02-08 Agents in Proactive Environments. 389-392 1997 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki97.html#GabbayNT97 2002-08-06 A Completeness Proof Technique for Resolution with Equality. 12-22 1991 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai91.html#Baumgartner91 2002-02-08 A Model Elimination Calculus with Built-in Theories. 30-42 1992 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai92.html#Baumgartner92 2002-09-03 Semantic Web Enabled Web Services. 319-322 2002 KI http://link.springer.de/link/service/series/0558/bibs/2479/24790319.htm http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2002.html#Fensel02 2002-02-06 VIE-DPM: A User Model in a Natural-Language Dialog System. 145-153 1984 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai1984.html#Kobsa84 2002-02-13 Adaptivität und Benutzermodellierung in interaktiven Softwaresystemen. 152-166 1993 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki1993.html#Kobsa93 2003-02-07 An Efficient Parser for Lexical Functional grammar. 143-148 1986 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai86.html#KindermannM86 2003-01-22 Wissenspräsentation und -repräsentation. 206-210 1988 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai88.html#KindermannQ88 2002-02-08 Qualitative Reasoning under Uncertainty with Symbolic Probabilities. 321-325 1996 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki96.html#PacholczykH96 2002-02-08 The Role of User Models for Conflicts in a Constraint-based Model of Generation. 334-346 1992 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai92.html#Kolln92 2002-02-08 Combining Terminological and Rule-based Reasoning for Abstraction Processes. 144-155 1992 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai92.html#HanschkeH92 2002-02-21 On the Completeness of Connection Graph Resolution. 246-247 1981 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai1981.html#Bibel81a 2002-02-08 An Efficient Decision Algorithm for Feature Logic. 255-266 1992 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai92.html#Konig92 2003-01-22 Remarks to Shoham's Temporal Logic. 88-95 1988 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai88.html#Schlechta88 2003-02-07 Oberflächentransformationen bei der Generierung geschriebener Deutscher Sprache. 90-99 1983 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai1983.html#Busemann83 2003-02-07 Generierung mit GPSG. 355-364 1987 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai87.html#Busemann87 2002-02-13 Diagnose und Simulation einer Hochtemperatur-Düsenfärbemaschine für Textilstränge mit Hilfe des modellbasierten Diagnose- und Simulationssystems ROSE. 305-316 1993 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki1993.html#ThamburajS93 2003-02-07 Unifikationsgraphen für intelligentes Backtracking in Deduktionssystemen. 189-196 1983 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai1983.html#DilgerJ83 2002-02-15 Completeness of the Connection Graph Proof Procedure for Unit-Refutable Clause Sets. 191-204 1982 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai1982.html#Smolka82 2002-08-06 Feature-Logik. 477-478 1989 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai89.html#Smolka89 2002-02-08 Case Retrieval Nets: Basic Ideas and Extensions. 227-239 1996 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki96.html#LenzB96 2002-02-15 Knowledge Sources for Understanding and Describing Image Sequences. 1-21 1982 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai1982.html#Neumann82a 2004-02-06 The Process Semantics Based Reasoning about Continuous Change. 505-519 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2821&spage=505 2003 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2003.html#Li03 2002-02-08 Inductive Learning in Symbolic Domains Using Structure-Driven Recurrent Neural Networks. 183-197 1996 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki96.html#KuchlerG96 2002-08-06 Fokusmodellierung durch Sichtabhängigkeitsgraphen bei der Interpretation natürlichsprachlicher Datenbank-Updates. 106-115 1991 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai91.html#NoackW91 2002-02-08 <i>Modeling to Make Sense</i><i>Modeling to Implement Systems</i>. 87-99 1992 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai92.html#Linster92 2002-09-03 Phrase-Based Statistical Machine Translation. 18-32 2002 KI http://link.springer.de/link/service/series/0558/bibs/2479/24790018.htm http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2002.html#ZensON02 2002-02-08 Unification in a Sorted Lambda-Calculus with Term Declarations and Function Sorts. 331-342 1994 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki94.html#Kohlhase94 2002-02-08 Reducing Lexical Redundancy by Augmenting Conceptual Knowledge. 393-396 1997 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki97.html#HartrumpfS97 2002-01-03 Towards First-Order Temporal Resolution. 18-32 2001 KI/ÖGAI http://link.springer.de/link/service/series/0558/bibs/2174/21740018.htm http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2001.html#DegtyarevF01 2002-01-03 Experiments with an Agent-Oriented Reasoning System. 409-424 2001 KI/ÖGAI http://link.springer.de/link/service/series/0558/bibs/2174/21740409.htm http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2001.html#BenzmullerJKS01 2002-02-08 Temporal Logic Based on Characteristic Functions. 221-232 1995 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki95.html#BouzidL95 2002-02-08 Abstraction as a Heuristic to Guide Planning. 25-28 1996 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki96.html#ContzenM96 2003-06-05 Cooperative Distributed Vision: Dynamic Integration of Visual Perception, Action, and Communication. 75-88 http://link.springer.de/link/service/series/0558/bibs/1701/17010075.htm 1999 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki99.html#Matsuyama99 2002-02-08 Integrating Vision and Language: Towards Automatic Description of Human Movements. 257-268 1995 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki95.html#HerzogR95 2002-02-08 Interval Situation Calculus. 400 1994 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki94.html#Ternovskaia94 2003-01-22 From Meaning to Meaning: A Walk Through WISBER's Semantic-Pragmatic Processing. 118-129 1988 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai88.html#HoracekBBFGPS88 2003-02-07 Wissensaqisition für das Natürlichsprachliche Zugangssystem HAM-ANS. 295-299 1985 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai85.html#BergmannP85 2002-02-08 Parallelizing Description Logics. 137-148 1995 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki95.html#BergmannQ95 2003-06-05 Generalized Cases: Representation and Steps Towards Efficient Similarity Assessment. 195-206 http://link.springer.de/link/service/series/0558/bibs/1701/17010195.htm 1999 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki99.html#BergmannV99 2002-02-15 Proofs by Induction in "Fairly" Specified Equational Theories. 154-166 1982 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai1982.html#Bidoit82 2002-02-08 Strategies for Semantical Contractions. 396 1994 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki94.html#GieslN94 2002-08-06 Komplexe Individuen in Referentiellen Netzen. 244-253 1989 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai89.html#Eschenbach89 2002-09-03 LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars. 3-17 2002 KI http://link.springer.de/link/service/series/0558/bibs/2479/24790003.htm http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2002.html#Ciortuz02 2003-01-29 Techniken der Wissensdarstellung. 48-93 1984 KIFS http://www.informatik.uni-trier.de/~ley/db/conf/ki/kifs1984.html#Laubsch84 2003-01-30 Prolog. 100-121 1989 KIFS http://www.informatik.uni-trier.de/~ley/db/conf/ki/kifs1989.html#Eikmeyer89 2003-02-07 Hybrid Knowledge Acquisition. 343-348 1986 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai86.html#DiederichMR86 2002-02-08 Parsing N Best Trees from a Word Lattice. 279-288 1997 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki97.html#WeberSG97 2003-01-29 Programmverifikation. 134-182 1986 KIFS http://www.informatik.uni-trier.de/~ley/db/conf/ki/kifs1986.html#Penner86 2003-01-22 Model-Based Learning of Rules for Error Diagnosis. 196-205 1988 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai88.html#Zercher88 2002-08-06 Constructing Decision Trees from Examples and Their Explanation-based Generalizations. 267-276 1990 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai90.html#Zercher90 2002-02-13 Darstellung des Workshops "Alles für die Katz', KADS?". 237-241 1993 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki1993.html#LockenhoffMS93 2003-01-22 Unambiguous Determination of Velocity and Structure of an Accelerating Surface. A Theoretic Framework. 286-295 1988 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai88.html#Arnspang88 2002-02-06 Programming Styles in Artificial Intelligence. 154-180 1984 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai1984.html#Stoyan84 2003-01-22 Grenzen der KI. 317-319 1988 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai88.html#Stoyan88 2003-01-30 KI-Programmierung. 78-99 1989 KIFS http://www.informatik.uni-trier.de/~ley/db/conf/ki/kifs1989.html#Stoyan89 2002-02-08 Massively Parallel Reasoning about Actions. 5-17 1996 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki96.html#BornscheuerS96 2002-02-08 Representing Concurrent Actions and Solving Conflicts. 16-27 1994 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki94.html#BornscheuerT94 2002-09-03 Compiling Dynamic Agent Conversations. 33-50 2002 KI http://link.springer.de/link/service/series/0558/bibs/2479/24790033.htm http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2002.html#Bonzon02 2005-06-08 TabVer: A Case Study in Table Verbalization. 94-105 1994 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki94.html#GlochnerGMR94 2003-02-07 Two Parallel Versions of the Connection Method for Propositional Logic on the L-Machine. 46-55 1985 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai85.html#AspetsbergerB85 2002-02-08 Rational Models of Normal Logic Programs. 1-4 1996 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki96.html#Bornscheuer96 2002-08-06 Zur Implementierbarkeit Analogischer Repräsentationen. 479-481 1989 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai89.html#Hernandez89 2002-02-13 Hybride und integrierte Ansätze zur Raumrepräsentation und ihre Anwendung. 210-216 1993 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki1993.html#Hernandez93 2002-02-08 Avoiding Combinatorial Explosion in Automatic Test Generation: Reasoning about Measurements is the Key. 213-226 1996 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki96.html#LangeMN96 2002-08-06 Using Integrated Knowledge Acquisition to Prepare Sophisticated Expert Plans for Their Re-Use in Novel Situations. 62-71 1991 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai91.html#SchmalhoferBKS91 2002-08-06 Diskursrepräsentation im Datenbank-Abfrage Dialog SPICOS II. 179-189 1989 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai89.html#Streit89 2002-09-03 Time, Knowledge, and Cooperation: Alternating-Time Temporal Epistemic Logic and Its Applications. 318 2002 KI http://link.springer.de/link/service/series/0558/bibs/2479/24790318.htm http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2002.html#Wooldridge02 2003-02-07 Wissenspsychologie: Forschungsfragen, Anwendungsperspektiven, Bezüge zur Künstlichen Intelligenz. 149-151 1986 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai86.html#OpwisS86 2002-08-06 An Integrative Model of Learning by Being Told, from Examples and by Exploration. 433-437 1989 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai89.html#KuhnS89 2002-02-08 Machine Learning for Adaptive User Interfaces. 53-62 1997 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki97.html#Langley97 2002-02-08 Efficient Computation of Solutions for Contradictory Time Interval Networks. 122-131 1992 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai92.html#WeigelB92 2002-02-13 Prozeßsicherheit durch wissensbasierte Systeme. 292-304 1993 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki1993.html#Kunde93 2003-02-07 Generierung mit Lexical - Functional Grammar (LFG). 113-118 1986 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai86.html#MeierK86 2003-02-07 Repräsentationsformen beim menschlichen Problemlösen. 287-295 1987 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai87.html#Strube87 2002-08-06 Conditioned Circumscription: Translating Defaults to Circumscription. 150-159 1990 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai90.html#MerzigerB90 2003-02-07 A Framework for the Multiple Representation of Structure and Function in Expert Systems. 318-331 1986 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai86.html#Struss86 2004-07-29 Qualitative Reasoning. 224-259 1989 KIFS http://www.informatik.uni-trier.de/~ley/db/conf/ki/kifs1989.html#Struss89 2002-02-08 Artifical Intelligence for Nature - Why Knowledge Representation and Problem Solving Should Play a Key Role in Environmental Decision Support. 17-30 1998 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki98.html#Struss98 2002-02-06 STRUPPI: Ein graphischer Pretty-Printer für LISP-Strukturen. 191-198 1984 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai1984.html#BauerS84 2003-02-07 Unification in a Many-sorted Calculus with Declarations. 118-132 1985 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai85.html#Schmidt-Schauss85 2003-02-07 FREGE: Ein objektorientierter FRont-End-GEnerator. 64-73 1987 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai87.html#Emele87 2002-02-08 Robust Constructive Induction. 118-129 1994 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki94.html#Pfahringer94 2003-01-22 "3D" in NLP: Determiners, Descriptions, and the Dialog Memory in the XTRA Project. 159-168 1988 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai88.html#Reddig88 2003-02-07 Lazy Theory Unification inProlog: An Extension of the warren Abstract machine. 277-288 1986 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai86.html#Burckert86 2003-02-07 Processing Description containing Words and Gestures -A System Architecture-. 119-130 1986 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai86.html#AllgayerR86 2002-02-08 COLBERT: A Language for Reactive Control in Sapphira. 31-52 1997 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki97.html#Konolige97 2003-01-22 KI in der Praxis - Stand der Kunst und Perspektiven. 1-16 1988 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai88.html#Bartsch-Sporl88 2002-02-08 Concept Support as a Method for Programming Neural Networks with Symbolic Knowledge. 166-175 1992 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai92.html#PremMDPS92 2002-10-10 A Noetherian Rewrite System for Idempotent Semigroups. 235-245 1981 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai1981.html#SiekmannS81a 2003-02-07 Sektion ``Küstliche Intelligenz und Datenbanksysteme - Konzeptuelle Modellierung und Systemarchitektur''. 365 1987 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai87.html#Studer87 2002-08-06 Reflection and competent problem solving. 206-215 1991 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai91.html#VossKDBB91 2003-01-16 On the Frame-to-Frame Correspondence between Grey Value Characteristics in the Images of Moving Objects. 18-29 1981 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai1981.html#DreschlerN81 2002-02-13 Effizientes Informations- und Dokumentations-Management - Ein objektorientierter Ansatz. 317-325 1993 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki1993.html#HoflingK93 2003-02-07 FORK: Ein System zur objeckt- und regelorientierten Programmierung. 312-317 1986 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai86.html#BecksteinGT86 2002-02-08 From Linear Proofs to Direct Logic with Exponentials. 135-146 1997 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki97.html#Sandner97 2003-06-05 Revising Nonmonotonic Theories: The Case of Defeasible Logic. 101-112 http://link.springer.de/link/service/series/0558/bibs/1701/17010101.htm 1999 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki99.html#BillingtonAGM99 2002-02-08 Distributive Concept Exploration - A Knowledge Acquisition Tool in Formal Concept Analysis. 117-128 1998 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki98.html#Stumme98 2003-02-07 Higher-order Concepts in a Tractable Knowledge Representation. 129-138 1987 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai87.html#Wrobel87 2002-02-08 External Analogy in Inductive Theorem Proving. 111-122 1997 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki97.html#MelisW97 2004-02-25 Using Structural Matching for Generalizing Examples. 199-208 1984 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai1984.html#KodratoffGB84 2002-02-08 On Discontinuous Q-Functions in Reinforcment Learning. 199-209 1992 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai92.html#Linden92 2002-02-08 Cyclic Rules in Linear Connection Proofs. 67-70 1996 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki96.html#Fronhofer96 2002-02-08 Connection Cutting for Contraction Free Logic. 385-388 1997 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki97.html#Fronhofer97 2002-01-03 Optimal Agent Selection. 2-17 2001 KI/ÖGAI http://link.springer.de/link/service/series/0558/bibs/2174/21740002.htm http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2001.html#OzcanSG01 2002-08-06 Towards the Integration of Functions, Relations and Types in an AI Programming Language. 297-306 1990 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai90.html#BackofenEG90 2002-02-08 A Heuristic Inductive Generalization Method and its Application to VLSI-Design. 176-186 1992 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai92.html#HerrmannB92 2003-01-29 Künstliche Intelligenz, Frühjahrsschule, Teisendorf, 15.-24. März 1982 KIFS 59 1982 3-540-11974-4 http://www.informatik.uni-trier.de/~ley/db/conf/ki/kifs1982.html 2002-02-08 Putting Default Logics in Perspective. 241-252 1996 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki96.html#LinkeS96 2003-02-07 Proof Search for Unprovable Formulas. 207-215 1983 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai1983.html#Schonfeld83 2003-02-07 Architectural Concepts for Large Knowledge Bases. 366-385 1987 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai87.html#WiederholdCHWW87 2003-01-29 Küstliche Intelligenz, Repräsentation von Wissen und natürlichsprachliche Systeme, Frühjahrsschule, Dassel (Solling), 5.-16. März 1984 KIFS 93 1985 3-540-15190-7 http://www.informatik.uni-trier.de/~ley/db/conf/ki/kifs1984.html 2003-01-29 Künstliche Intelligenz, Theoretische Grundlagen und Anwendungsfelder, Frühjahrsschulen, Dassel, 8.-16. März 1985 und 8.-16. März 1986 KIFS 159 1988 3-540-18903-3 http://www.informatik.uni-trier.de/~ley/db/conf/ki/kifs1986.html 2002-02-08 Towards a Specification Language for Cooperation Methods. 313-319 1992 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai92.html#GreefCM92 2003-02-07 Extended Unification and its Implementation. 176-185 1985 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai85.html#HolldoblerFL85 2003-01-30 Künstliche Intelligenz, 7. Frühjahrsschule, KIFS-89, Günne, 11.-19. März 1989, Proceedings KIFS 203 1989 3-540-50878-3 http://www.informatik.uni-trier.de/~ley/db/conf/ki/kifs1989.html 2002-02-08 Designing a Counter: Another Case Study of Dynamics and Activation Landscapes in Recurrent Networks. 313-324 1997 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki97.html#HolldoblerKL97 2002-08-06 Towards a Lexicon for German Organized by Communicative Function: an Application of `Lexical Functions'. 196-205 1990 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai90.html#BatemanW90 2003-06-05 Dynamics, Morpholgy, and Materials in the Emergence of Cognition. 27-44 http://link.springer.de/link/service/series/0558/bibs/1701/17010027.htm 1999 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki99.html#Pfeifer99 2002-08-06 The Morphological Principle. A Proposal for Treating Russian Morphology Within an HPSG Framework. 116-125 1991 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai91.html#Henschel91 2002-02-08 A Semantic View of Explanation. 272-282 1992 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai92.html#Meier92 2003-06-05 Knowledge Based Automatic Composition and Variation of Melodies for Minuets in Early Classical Style. 159-170 http://link.springer.de/link/service/series/0558/bibs/1701/17010159.htm 1999 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki99.html#Lothe99 2002-02-08 Labelled Quantified Modal Logics. 171-182 1997 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki97.html#BasinMV97 2002-02-08 When to Prove Theorems by Analogy? 259-271 1996 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki96.html#Melis96 2002-02-08 Optimized Nearest-Neighbor Classifiers Using Generated Instances. 71-83 1996 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki96.html#FuchsA96 2003-02-07 Ein Beweisverfahren für Datenbankprädikate. 164-175 1985 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai85.html#Bottcher85 2003-02-07 AI - Nie! Versuch über eine wahrscheinliche zukünftige Reaktion der Öffentlichkeit. 1-16 1986 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai86.html#Trappl86 2002-01-03 Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots. 305-319 2001 KI/ÖGAI http://link.springer.de/link/service/series/0558/bibs/2174/21740305.htm http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2001.html#SchonherrCHC01 2002-02-08 Learning and Interpretation of the Layout of Structured Documents. 409-412 1997 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki97.html#Walischewski97 2002-02-08 Equational Theorem Proving Using Taxonomic Constraints. 29-42 1996 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki96.html#Denzinger96 2002-02-13 Object-Oriented Concurrent Constraint Programming in Oz. 44-59 1993 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki1993.html#SmolkaHW93 2002-02-08 Robust Processing of Natural Language. 19-34 1995 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki95.html#Menzel95 2002-01-03 Possible Worlds Semantics for Credulous and Contraction Inference. 94-105 2001 KI/ÖGAI http://link.springer.de/link/service/series/0558/bibs/2174/21740094.htm http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2001.html#Bochman01 2002-02-08 Cooperating Diagnostic Expert Systems to Solve Complex Diagnosis Tasks. 325-336 1997 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki97.html#Bamberger97 2002-08-06 Inferenzen bei Ungewißheit in Expertensystemen. 428-432 1989 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai89.html#Spies89 2002-02-08 Causation and Nonmonotonic Temporal Reasoning. 159-170 1997 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki97.html#Grunwald97 2002-09-03 Spatial Inference - Learning vs. Constraint Solving. 299-316 2002 KI http://link.springer.de/link/service/series/0558/bibs/2479/24790299.htm http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki2002.html#GipsHW02 2002-02-08 A Modal Computational Framework for Default Reasoning. 373-376 1997 KI http://www.informatik.uni-trier.de/~ley/db/conf/ki/ki97.html#ArtosiCG97 2003-01-22 Using Theory Resolution to Simplify Interpreted Formulae. 179-185 1988 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai88.html#Socher-Ambrosius88 2002-08-06 Detecting Redundancy Caused by Congruent Links in Clause Graphs. 74-82 1989 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai89.html#Socher-Ambrosius89 2003-02-07 Program Verification by Symbolic Execution and Induction. 201-210 1987 GWAI http://www.informatik.uni-trier.de/~ley/db/conf/ki/gwai87.html#HeiselRS87 2002-08-06