Publications in 2000

Journal Articles

Ian Horrocks, Ulrike Sattler, Stephan Tobies
Practical Reasoning for Very Expressive Description Logics
Logic Journal of the IGPL, 8(3):239-264, May 2000
Details Download

Stephan Tobies
The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics
Journal of Artificial Intelligence Research, 12:199-217, May 2000
Details Download

Proceedings Articles

Franz Baader, R. Molitor
Building and Structuring Description Logic Knowledge Bases Using Least Common Subsumers and Concept Analysis
In B. Ganter and G. Mineau, eds., Conceptual Structures: Logical, Linguistic, and Computational Issues – Proceedings of the 8th International Conference on Conceptual Structures (ICCS2000), volume 1867 of Lecture Notes in Artificial Intelligence, 290-303, 2000. Springer
Details Download

Franz Baader, R. Küsters, R. Molitor
Rewriting Concepts Using Terminologies
In A.G. Cohn and F. Giunchiglia and B. Selman, eds., Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000), 297-308, 2000. Morgan Kaufmann Publishers
Details Download

Franz Baader, R. Küsters
Matching in Description Logics with Existential Restrictions
In A.G. Cohn and F. Giunchiglia and B. Selman, eds., Proceedings of the Seventh International Conference on Knowledge Representation and Reasoning (KR2000), 261-272, 2000. Morgan Kaufmann Publishers
Details Download

Franz Baader, Cesare Tinelli
Combining Equational Theories Sharing Non-Collapse-Free Constructors
In H. Kirchner and Ch. Ringeissen, eds., Proceedings of the 3rd International Workshop on Frontiers of Combining Systems (FroCoS 2000), volume 1794 of Lecture Notes in Computer Science, 257-271, 2000. Springer
Details Download

Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
Fusions of Description Logics
In F. Baader and U. Sattler, eds., Proceedings of the International Workshop in Description Logics 2000 (DL2000), CEUR-WS, 21-30, August 2000. RWTH Aachen
Details Download

Franz Baader, Ulrike Sattler
Tableau Algorithms for Description Logics
In R. Dyckhoff, eds., Proceedings of the International Conference on Automated Reasoning with Tableaux and Related Methods (Tableaux 2000), volume 1847 of Lecture Notes in Artificial Intelligence, 1-18, 2000. Springer
Details Download

Thomas Hinze, Monika Sturm
Towards an in-vitro Implementation of a Universal Distributed Splicing Model for DNA Computation
In R. Freund, eds., Proceedings Theorietag 2000 (TT2000) Wien, 2000
Details Download

C. Hirsch, Stephan Tobies
A Tableau Algorithm for the Clique Guarded Fragment
Proceedings of the Workshop Advances in Modal Logic AiML 2000, 2000
Details Download

Jan Hladik
Implementing the n-ary Description Logic GF1-
Proceedings of the International Workshop in Description Logics 2000 (DL2000), 2000
Details Download

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
How to decide Query Containment under Constraints using a Description Logic
In Andrei Voronkov, eds., Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning (LPAR'2000), Lecture Notes in Artificial Intelligence, 2000. Springer
Details Download

Ian Horrocks, Ulrike Sattler, Sergio Tessaris, Stephan Tobies
How to decide Query Containment under Constraints using a Description Logic
Proceedings of the 7th International Workshop on Knowledge Representation meets Databases (KRDB-2000), 2000
Details Download

Ian Horrocks, Stephan Tobies
Reasoning with Axioms: Theory and Practice
In A. G. Cohn and F. Giunchiglia and B. Selman, eds., Principles of Knowledge Representation and Reasoning: Proceedings of the Seventh International Conference (KR2000), 2000. Morgan Kaufmann Publishers
Details Download

Ian Horrocks, Stephan Tobies
Optimisation of Terminological Reasoning
Proceedings of the International Workshop in Description Logics 2000 (DL2000), 2000
Details Download

Ian Horrocks, Ulrike Sattler, Stephan Tobies
Reasoning with Individuals for the Description Logic SHIQ
In David MacAllester, eds., Proceedings of the 17th International Conference on Automated Deduction (CADE-17), Lecture Notes in Computer Science, 2000. Springer
Details Download

S. Hölldobler, H.-P. Störr
Solving the Entailment Problem in the Fluent Calculus with Binary Decision Diagrams
Proceedings of the First International Conference on Computational Logic, 747-761, 2000
Details

S. Hölldobler, D. Kuske
The Boundary between Decidable and Undecidable Fragments of the Fluent Calculus
Proceedings of the 7th International Conference on Logic for Programming and Automated Reasoning, volume 1955 of Lecture Notes in Artificial Intelligence, 436-450, 2000
Details

Steffen Hölldobler
Descriptions in the Fluent Calculus
Proceedings of the International Conference on Artificial Intelligence, volume III, 1311-1317, 2000
Details

S. Hölldobler
Challenge Problems for the Integration of Logic and Connectionist Systems
In F. Bry and U. Geske and D. Seipel, eds., Proceedings 14. Workshop Logische Programmierung, GMD Report, 161-170, 2000
Details

Carsten Lutz, Ulrike Sattler
The Complexity of Reasoning with Boolean Modal Logic
Advances in Modal Logic 2000 (AiML 2000), 2000
Details

Carsten Lutz
NExpTime-Complete Description Logics with Concrete Domains
In C. Pilière, eds., Proceedings of the ESSLLI-2000 Student Session, August 2000
Details Download

Carsten Lutz, Ulrike Sattler
Mary likes all Cats
In F. Baader and U. Sattler, eds., Proceedings of the 2000 International Workshop in Description Logics (DL2000), CEUR-WS, 213-226, August 2000. RWTH Aachen
Details Download

Sebastian Rudolph
Spatial concepts - a rule exploration
In Gerd Stumme, eds., Working with Conceptual Structures - Contributions to ICCS 2000, 284 -- 288, July 2000. Shaker, Aachen
Details Download

Ulrike Sattler
Description Logics for the Representation of Aggregated Objects
In W.Horn, eds., Proceedings of the 14th European Conference on Artificial Intelligence, 2000. IOS Press, Amsterdam
Details Download

Hans--Peter Störr, Michael Thielscher
A New Equational Foundation for the Fluent Calculus
In J. Lloyd and V. Dahl and U. Furbach and M. Kerber and K.-K. Lau and C. Palamidessi and L. M. Pereira and Y. Sagiv and P. J. Stuckey, eds., Proceedings of the First International Conference on Computational Logic (CL), LNCS, 733-745, 2000. Springer
Details

Books

H. Fiedler, O. Günther, W. Grass, S. Hölldobler, G. Hotz, R. Reischuk, B. Seeger, D. Wagner
Ausgezeichnete Informatikdissertationen 1999
Teubner, 2000
Details

S. Hölldobler
Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel
Volume 19 of Applied Logic Series. Kluwer Academic Publishers, 2000
Details

Book Chapters

E. Franconi, Franz Baader, Ulrike Sattler, P. Vassiliadis
Multidimensional Data Models and Aggregation
In M. Jarke and M. Lenzerini and Y. Vassilious and P. Vassiliadis, eds., Fundamentals of Data Warehousing, 87-106. Springer, 2000
Details

S. Hölldobler, Y. Kalinke, J. Wunderlich
A Recursive Neural Network for Reflexive Reasoning
In S. Wermter and R. Sun, eds., Hybrid Neural Symbolic Integration, LNAI, 46-62. Springer, 2000
Details

Steffen Hölldobler, Hans--Peter Störr
BDD-based Reasoning in the Fluent Calculus – First Results (Extended Abstract)
In 8th Intlernational Workshop on Non-Monotonic Reasoning (NMR'2000), April 2000
Details

S. Hölldobler, H.-P. Störr
Complex Plans in the Fluent Calculus
In S. Hölldobler, eds., Intellectics and Computational Logic: Papers in Honor of Wolfgang Bibel. Kluwer Academic Publishers, 2000
Details

R. Molitor, C.B. Tresp
Extending Description Logics to Vague Knowledge in Medicine
In P. Szczepaniak and P.J.G. Lisboa and S. Tsumoto, eds., Fuzzy Systems in Medicine, volume 41 of Studies in Fuzziness and Soft Computing, 617-635. Springer, 2000
Details

Doctoral Theses

Yvonne McIntyre
Modellgenerierung mit konnektionistischen Systemen
Phd thesis, Dresden University of Technology, 2000
Details

Technical Reports

Franz Baader, R. Küsters, R. Molitor
Rewriting Concepts Using Terminologies – Revisited
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 00-04, 2000. LTCS-Report
Details Download

Ashish Darbari
Rule Extraction from Trained ANN: A Survey
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-2000-03, 2000
Details

C. Hirsch, Stephan Tobies
A Tableaux Algorithm for the Clique Guarded Fragment, Preliminary Version
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-00-03, 2000. LTCS-Report
Details Download

R. Küsters, R. Molitor
Computing Least Common Subsumers in ALEN
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume 00-07, 2000. LTCS-Report
Details Download

R. Küsters, R. Molitor
Computing Most Specific Concepts in Description Logics with Existential Restrictions
Technical Report, LuFG Theoretical Computer Science, volume 00-05, 2000. LTCS-Report
Details Download

Carsten Lutz
NExpTime-complete Description Logics with Concrete Domains
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-00-01, 2000. LTCS-Report
Details Download

Carsten Lutz, Ulrike Sattler
The Complexity of Reasoning with Boolean Modal Logics (Extended Version)
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-00-02, 2000. LTCS-Report
Details Download

Carsten Lutz
Interval-based Temporal Reasoning with General TBoxes
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-00-06, 2000. LTCS-Report
Details Download

E.P. Stoschek, Monika Sturm, T. Hinze et.al.
Molekularbiologisches Verfahren zur Lösung von NP-Problemen
Technical Report, 2000
Details