Publications in 1993
From International Center for Computational Logic
Publications in 1993
Journal Articles
Franz Baader, H.-J. Bürckert, B. Nebel, W. Nutt, G. Smolka
On the Expressivity of Feature Logics with Negation, Functional Uncertainty, and Sort Equations
Journal of Logic, Language and Information, 2:1-18, 1993
Details Download
Franz Baader
Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases
J. ACM, 40(3):477-503, 1993
Details
Proceedings Articles
Franz Baader, P. Hanschke
Extensions of Concept Languages for a Mechanical Engineering Application
Proceedings of the 16th German AI-Conference, GWAI-92, volume 671 of Lecture Notes in Computer Science, 132-143, 1993. Springer
Details
Franz Baader, K. Schulz
Combination Techniques and Decision Problems for Disunification
Proceedings of the International Conference on Rewriting Techniques and Applications, RTA 93, volume 690 of Lecture Notes in Computer Science, 301-315, 1993. Springer
Details
Franz Baader, K. Schlechta
A Semantics for Open Normal Defaults via a Modified Preferential Approach
Proceedings of the European Conference on Symbolic and Quantitative Approaches to Reasoning under Uncertainty, ECSQARU 93, volume 747 of Lecture Notes in Computer Science, 9-16, 1993. Springer
Details
Franz Baader, B. Hollunder
How to Prefer More Specific Defaults in Terminological Default Logic
Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI-93, 669-674, 1993
Details
Stefan Brüning, Steffen Hölldobler, Josef Schneeberger, Ute Sigmund, Michael Thielscher
Disjunction in Resource-Oriented Deductive Planning
In D. Miller, eds., Proceedings of the International Logic Programming Symposium, 670, 1993
Details
Helge Dürschke, Wolfgang Oertel
Fallverwaltung in heterogenen Fallwissensbasen
In D. Janetzko and T. Schult, eds., Fälle in hybriden Systemen. Beiträge zum 2. Workshop des Arbeitskreises fallbasiertes Schließen, 95-107, 1993
Details
Steffen Hölldobler, Michael Thielscher
Actions and Specificity
In D. Miller, eds., Proceedings of the International Logic Programming Symposium, 164-180, 1993
Details
H.-J. Ohlbach, Franz Baader
A Multi-Dimensional Terminological Knowledge Representation Language
Proceedings of the 13th International Joint Conference on Artificial Intelligence, IJCAI-93, 690-695, 1993
Details
Books
Franz Baader, J. Siekmann, W. Snyder
Proceedings of the Sixth International Workshop on Unification, Schloß Dagstuhl, July 29–31, 1992
{BU} Technical Report 93-004. , 1993
Details
Technical Reports
Franz Baader, H.-J. Ohlbach
A Multi-Dimensional Terminological Knowledge Representation Language
Technical Report, Max-Planck-Institut für Informatik, Saarbrücken, volume MPI-I-93-212, 1993. {MPII} Report
Details
Franz Baader, M. Buchheit, B. Hollunder
Cardinality Restrictions on Concepts
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-48, 1993. {DFKI} Research Report
Details
Franz Baader, B. Hollunder
Embedding Defaults into Terminological Representation Systems
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-20, 1993. {DFKI} Research Report
Details Download
Franz Baader, K. Schlechta
A Semantics for Open Normal Defaults via a Modified Preferential Approach
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-13, 1993. {DFKI} Research Report
Details
Franz Baader, K. Schulz
Combination Techniques and Decision Problems for Disunification
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-05, 1993. {DFKI} Research Report
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
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-93-03, 1993. {DFKI} Research Report
Details
Th. Petzoldt, Uwe Petersohn, Pjotr Kielb, Niels Schütze
Prognose der Phytoplankton-Dynamik: Anwendungen fallbasierter Methoden auf einen dynamischen ökologischen Prozeß
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, 1993
Details
Talks and Miscellaneous
C.-H. Coulon, Helge Dürschke, W. Gräther, B. Linowski, Wolfgang Oertel
Fallverwaltung und Fallretrieval: Implementierungen und Tests
FABEL Report Nr. 7, GMD, Sankt Augustin, 1993
Details
Helge Dürschke, Wolfgang Oertel, C. Coulon, W. Gräther, B. Linowskk, B. Schmidt-Belz, L. Hovestadt
Der Designkatalog: Ein erster Schritt in Richtung eines FABEL-Anwendungssystems
FABEL Report Nr. 10, GMD, Sankt Augustin, 1993
Details
F. Gebhardt, Brigitte Bartsch-Spörl, Wolfgang Oertel, J. Walther
Anforderungen an die FABEL-Sprache
FABEL Report Nr. 11, GMD, Sankt Augustin, 1993
Details
Wolfgang Oertel, Helge Dürschke
Architekturkonzept für FABEL
FABEL Report Nr. 5, GMD, Sankt Augustin, 1993
Details