Publications in 1991

Journal Articles

Franz Baader, B. Hollunder
KRIS: Knowledge Representation and Inference System, System Description
ACM SIGART Bulletin, 2:8-14, 1991
Details

Proceedings Articles

Franz Baader
Unification in Varieties of Completely Regular Semigroups
Proceedings of the First International Workshop on Word Equations and Related Topics, IWWERT-90, volume 572 of Lecture Notes in Computer Science, 210-230, 1991. Springer
Details

Franz Baader
Unification Theory
Proceedings of the First International Workshop on Word Equations and Related Topics, IWWERT-90, volume 572 of Lecture Notes in Computer Science, 151-170, 1991. Springer
Details

Franz Baader
Unification, Weak Unification, Upper Bound, Lower Bound and Generalization Problems
Proceedings of the 4th International Conference on Rewriting Techniques and Applications, RTA 91, volume 488 of Lecture Notes in Computer Science, 86-97, 1991. Springer
Details

Franz Baader, W. Nutt
Adding Homomorphisms to Commutative/Monoidal Theories, or: How Algebra Can Help in Equational Unification
Proceedings of the 4th International Conference on Rewriting Techniques and Applications, RTA 91, volume 488 of Lecture Notes in Computer Science, 124-135, 1991. Springer
Details

Franz Baader
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91, 446-451, 1991
Details

Franz Baader, B. Hollunder
A Terminological Knowledge Representation System with Complete Inference Algorithms
Proceedings of the First International Workshop on Processing Declarative Knowledge, volume 572 of Lecture Notes in Computer Science, 67-85, 1991. Springer
Details Download

Franz Baader, P. Hanschke
A Scheme for Integrating Concrete Domains into Concept Languages
Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI-91, 452-457, 1991
Details

B. Hollunder, Franz Baader
Qualifying Number Restrictions in Concept Languages
Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, KR-91, 335-346, 1991
Details

Technical Reports

Franz Baader, K. Schulz
Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-91-33, 1991. {DFKI} Research Report
Details Download

Franz Baader, P. Hanschke
A Scheme for Integrating Concrete Domains into Concept Languages
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-91-10, 1991. {DFKI} Research Report
Details Download

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
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-91-01, 1991. {DFKI} Research Report
Details

B. Hollunder, Franz Baader
Qualifying Number Restrictions in Concept Languages
Technical Report, Deutsches Forschungszentrum für Künstliche Intelligenz, Kaiserslautern, volume {RR}-91-03, 1991. {DFKI} Research Report
Details