Veröffentlichungen in 1991
Aus International Center for Computational Logic
Veröffentlichungen in 1991
Artikel in Fachzeitschriften
Franz Baader, B. Hollunder
KRIS: Knowledge Representation and Inference System, System Description
ACM SIGART Bulletin, 2:8-14, 1991
Details
Artikel in Tagungsbänden
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
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
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
Technische Berichte
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