Veröffentlichungen in 1992

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Veröffentlichungen in 1992


Artikel in Fachzeitschriften

Franz Baader, H.-J. Bürckert, B. Hollunder, A. Laux, W. Nutt
Terminologische Logiken
KI, {3/92}:23-33, 1992
Details


Artikel in Tagungsbänden

Franz Baader, K.U. Schulz
General A- and AX-Unification via Optimized Combination Procedures
Proceedings of the Second International Workshop on Word Equations and Related Topics, IWWERT-91, volume 677 of Lecture Notes in Computer Science, 23-42, 1992. Springer
Details

Franz Baader, K. Schulz
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
Proceedings of the 11th International Conference on Automated Deduction, CADE-92, volume 607 of Lecture Notes in Computer Science, 50-65, 1992. Springer
Details

Franz Baader, B. Hollunder
Embedding Defaults into Terminological Representation Systems
Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR-92, 306-317, 1992
Details

Franz Baader, B. Hollunder, B. Nebel, H.J. Profitlich, E. Franconi
An Empirical Analysis of Optimization Techniques for Terminological Representation Systems, or: Making KRIS get a move on
Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, KR-92, 270-281, 1992
Details


Bücher

Franz Baader, J. Siekmann, W. Snyder
6th Workshop on Unification
Dagstuhl-Seminar-Report 42. , 1992
Details


Technische Berichte

Franz Baader, B. Hollunder
How to Prefer More Specific Defaults in Terminological Default Logic
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-92-58, 1992. {DFKI} Research Report
Details

Franz Baader, P. Hanschke
Extensions of Concept Languages for a Mechanical Engineering Application
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-92-36, 1992. {DFKI} Research Report
Details

Franz Baader
Unification Theory
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-92-33, 1992. {DFKI} Research Report
Details

Franz Baader, K. Schulz
General A- and AX-Unification via Optimized Combination Procedures
Technical Report, Universität München, volume 92-58, 1992. {CIS}-Report
Details

Jörn Richts
Allgemeine AC-Unifikation durch Variablenabstraktion mit Fremdtermbedingungen
Technical Report, Fachbereich Informatik, Universität Kaiserslautern, volume SWP--92--12, 1992. Seki Working Paper
Details Download