Veröffentlichungen in 1993

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

Veröffentlichungen in 1993


Artikel in Fachzeitschriften

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


Artikel in Tagungsbänden

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


Bücher

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


Technische Berichte

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


Vorträge und Sonstiges

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

Das FABEL-Konsortium
Survey of FABEL
FABEL-Report Nr. 2, GMD, Sankt-Augustin, 1993
Details

Das FABEL-Konsortium
FABEL im Überblick
FABEL-Report Nr. 1, 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