Publications in 1992

From International Center for Computational Logic
Toggle side column

Publications in 1992


Journal Articles

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

Proceedings Articles

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

Books

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

Technical Reports

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
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