Publications in 1990

Proceedings Articles

Franz Baader
Rewrite Systems for Varieties of Semigroups
Proceedings of the 10th International Conference on Automated Deduction, CADE-90, volume 488 of Lecture Notes in Computer Science, 396-410, 1990. Springer
Details

Franz Baader
Terminological Cycles in KL-ONE-based Knowledge Representation Languages
Proceedings of the Eighth National Conference on Artificial Intelligence, AAAI-90, 621-626, 1990
Details

Franz Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, J. Siekmann
Concept Logic
Proceedings of the Symposium on Computational Logic, 177-201, 1990
Details

Franz Baader
A Formal Definition for Expressive Power of Knowledge Representation Languages
Proceedings of the 9th European Conference on Artificial Intelligence, ECAI-90, 53-58, 1990
Details

Technical Reports

Franz Baader
A Formal Definition for Expressive Power of Knowledge Representation Languages
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-05, 1990. {DFKI} Research Report
Details

Franz Baader, H.-J. Bürckert, J. Heinsohn, J. Müller, B. Hollunder, B. Nebel, W. Nutt, H.-J. Profitlich
Terminological Knowledge Representation: A Proposal for a Terminological Logic
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {TM}-90-04, 1990. {DFKI} Technical Memo
Details Download

Franz Baader
Terminological Cycles in KL-ONE-based Knowledge Representation Languages
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-01, 1990. {DFKI} Research Report
Details

Franz Baader, B. Hollunder
KRIS: Knowledge Representation and Inference System, System Description
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {TM}-90-03, 1990. {DFKI} Technical Memo
Details

Franz Baader, W. Nutt
Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-16, 1990. {DFKI} Research Report
Details

Franz Baader
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-13, 1990. {DFKI} Research Report
Details Download

Franz Baader
Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems
Technical Report, Universität Kaiserslautern, volume {SR}-90-2, 1990. {SEKI} Report
Details

Franz Baader, H.-J. Bürckert, B. Hollunder, W. Nutt, J. Siekmann
Concept Logic
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-90-10, 1990. {DFKI} Research Report
Details Download

Franz Baader
Unification in Commutative Theories, Hilbert's Basis Theorem and Gröbner Bases
Technical Report, Universität Kaiserslautern, volume {SR}-90-1, 1990. {SEKI} Report
Details