Publications in 2003

Journal Articles

Franz Baader, Ulrike Sattler
Description Logics with Aggregates and Concrete Domains
Information Systems, 28(8):979-1004, 2003
Details Download

Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter
From Tableaux to Automata for Description Logics
Fundamenta Informaticae, 57:1-33, 2003
Details Download

Kai Brünnler
Two Restrictions on Contraction
Logic Journal of the IGPL, 11(5):525-529, 2003
Details Download

Pascal Hitzler, Anthony K. Seda
Generalized Metrics and Uniquely Determined Logic Programs
Theoretical Computer Science, 305(1--3):187-219, 2003
Details

Steffen Hölldobler, Hans-Peter Störr, Tran Dinh Khang
The Fuzzy Description Logic ALC_FH with Hedge Algebras as Concept Modifiers
International Journal of Advanced Computational Intelligence and Intelligent Informatics, 7(3):294-305, 2003
Details

Manfred Schramm, Bertram Fronhöfer
Probabilistic Aspects of Score Systems
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems (IJUFKS), 11(Suppl.):51-74, November 2003
Details

Lutz Straßburger
MELL in the Calculus of Structures
Theoretical Computer Science, 309(1--3):213-285, 2003
Details Download

Proceedings Articles

Franz Baader
The instance problem and the most specific concept in the description logic EL w.r.t. terminological cycles with descriptive semantics
Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI 2003, volume 2821 of Lecture Notes in Artificial Intelligence, 64-78, 2003. Springer
Details Download

Franz Baader
Least Common Subsumers and Most Specific Concepts in a Description Logic with Existential Restrictions and Terminological Cycles
In Georg Gottlob and Toby Walsh, eds., Proceedings of the 18th International Joint Conference on Artificial Intelligence, 319-324, 2003. Morgan Kaufman
Details Download

Franz Baader
Terminological Cycles in a Description Logic with Existential Restrictions
In Georg Gottlob and Toby Walsh, eds., Proceedings of the 18th International Joint Conference on Artificial Intelligence, 325-330, 2003. Morgan Kaufmann
Details

Franz Baader
Computing the least common subsumer in the description logic EL w.r.t. terminological cycles with descriptive semantics
Proceedings of the 11th International Conference on Conceptual Structures, ICCS 2003, volume 2746 of Lecture Notes in Artificial Intelligence, 117-130, 2003. Springer
Details Download

Franz Baader
Restricted Role-value-maps in a Description Logic with Existential Restrictions and Terminological Cycles
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download

Franz Baader, J. Hladik, Carsten Lutz, Frank Wolter
From Tableaux to Automata for Description Logics
In Moshe Vardi and Andrei Voronkov, eds., Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), volume 2850 of Lecture Notes in Computer Science, 1-32, 2003. Springer
Details Download

Sebastian Brandt, Anni-Yasmin Turhan
Computing least common subsumers for FLE^+
Proceedings of the 2003 International Workshop on Description Logics, CEUR-WS, 2003
Details Download

Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters
Extensions of Non-standard Inferences to Description Logics with transitive Roles
In Moshe Vardi and Andrei Voronkov, eds., Proceedings of the 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2003), Lecture Notes in Computer Science, 2003. Springer
Details Download

Sebastian Brandt
Implementing Matching in ALE—First Results
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download

Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic
In Moshe Y. Vardi and Andrei Voronkov, eds., LPAR 2003, volume 2850 of Lecture Notes in Artificial Intelligence, 389-406, 2003. Springer
Details

Paola Bruscoli
A purely logical account of sequentiality in proof search – extended abstract
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, April 2003. TU Dresden, 01062 Dresden
Details

Paola Bruscoli, Alessio Guglielmi
A Tutorial on Proof Theoretic Foundations of Logic Programming
In Catuscia Palamidessi, eds., Logic Programming, 19th International Conference, volume 2916 of Lecture Notes in Computer Science, 109-127, 2003. Springer
Details

Kai Brünnler
Atomic Cut Elimination for Classical Logic
In M. Baaz and J.A. Makowsky, eds., CSL 2003, volume 2803 of Lecture Notes in Computer Science, 86-97, 2003. Springer
Details

Nachum Dershowitz, Mitchell A. Harris
Enumerating Satisfiable Propositional Formulae
Eurocomb, 2003
Details Download

Miguel A. Gutiérrez-Naranjo, Pascal Hitzler
ILP Operators for Propositional Connectionist Networks
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, 103-108, April 2003. TU Dresden, 01062 Dresden
Details

Pascal Hitzler, Matthias Wendt
Formal Concept Analysis and Resolution in Algebraic Domains
In Aldo de Moor and Bernhard Ganter, eds., Using Conceptual Structures — Contributions to ICCS 2003, 157-170, 2003. Shaker Verlag, Aachen
Details

Pascal Hitzler
Towards a Systematic Account of Different Logic Programming Semantics
In Rudolf Kruse Andreas Günter and Bernd Neumann, eds., KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003, volume 2821 of Lecture Notes in Artificial Intelligence, 355-369, 2003. Springer
Details

Pascal Hitzler
Towards Nonmonotonic Reasoning on Hierarchical Knowledge
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, 68-80, April 2003. TU Dresden, 01062 Dresden
Details

Pascal Hitzler
A Resolution Theorem for Algebraic Domains
In Georg Gottlob and Toby Walsh, eds., Proceedings of the 18th International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 2003, 1339-1340, 2003. Morgan Kaufmann Publishers
Details

Pascal Hitzler, Anthony K. Seda
Continuity of Semantic Operators in Logic Programming and their Approximation by Artificial Neural Networks
In Rudolf Kruse Andreas Günter and Bernd Neumann, eds., KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003, volume 2821 of Lecture Notes in Artificial Intelligence, 105-119, 2003. Springer
Details

Pascal Hitzler, Matthias Wendt
Characterizing logic programming semantics with level mappings
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, 60-67, April 2003. TU Dresden, 01062 Dresden
Details

J. Hladik, Ulrike Sattler
A Translation of Looping Alternating Automata to Description Logics
Proc. of the 19th Conference on Automated Deduction (CADE-19), volume 2741 of Lecture Notes in Artificial Intelligence, 2003. Springer
Details Download

Jan Hladik
Reasoning about Nominals with FaCT and RACER
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download

Ian Horrocks, Ulrike Sattler
Decidability of SHIQ with Complex Role Inclusion Axioms
Proc. of the International Joint Conference on Artificial Intelligence (IJCAI-2003), 2003. Morgan-Kaufmann Publishers
Details Download

Ozan Kahramanogullari, Michael Thielscher
A formal assessment result for fluent calculus using the action description language A_k
In Rudolf Kruse Andreas Günter and Bernd Neumann, eds., KI2003: Advances in Artificial Intelligence. Proceedings of the 26th Annual German Conference on Artificial Intelligence, KI2003, Hamburg, Germany, September 2003, volume 2821 of Lecture Notes in Artificial Intelligence, 209-223, 2003. Springer
Details Download

O. Kutz, Carsten Lutz, Frank Wolter, M. Zakharyaschev
E-connections of Description Logics
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download

Carsten Lutz, Ulrike Sattler, L. Tendera
The Complexity of Finite Model Reasoning in Description Logics
Proc. of the 19th Conference on Automated Deduction (CADE-19), volume 2741 of Lecture Notes in Artificial Intelligence, 2003. Springer
Details Download

Carsten Lutz, C. Areces, Ian Horrocks, Ulrike Sattler
Keys, Nominals, and Concrete Domains
Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence IJCAI-03, 2003. Morgan-Kaufmann Publishers
Details Download

Carsten Lutz
Description Logics with Concrete Domains—A Survey
Advances in Modal Logics Volume 4, 2003. World Scientific Publishing Co. Pte. Ltd.
Details Download

Carsten Lutz, U.Sattler, L. Tendera
Finite Model reasoning in ALCQI is ExpTime-complete
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download

Carsten Lutz, Frank Wolter, M. Zakharyaschev
A tableau algorithm for reasoning about concepts and similarity
Proceedings of the Twelfth International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2003, LNAI, 2003. Springer
Details Download

Carsten Lutz, Frank Wolter, M. Zakharyaschev
Reasoning about concepts and similarity
Proceedings of the 2003 International Workshop on Description Logics (DL2003), CEUR-WS, 2003
Details Download

Sebastian Rudolph
An FCA Method for the Extensional Exploration of Relational Data
In Bernhard Ganter, Aldo de Moor, eds., Using Conceptual Structures, Contributions to ICCS 2003, 197 -- 210, July 2003. Shaker, Aachen
Details Download

Ulrike Sattler
Description Logics for Ontologies
Proc. of the International Conference on Conceptual Structures (ICCS 2003), volume 2746 of LNAI, 2003. Springer
Details Download

A.K. Seda, R. Heinze, P. Hitzler
Convergence Classes and Spaces of Partial Functions
In G.-Q. Zhang and J. Lawson and Y.M. Liu and M.K. Luo, eds., Domain Theory, Logic and Computation, volume 4 of Semantic Structures in Computation, 75-115, 2003. Kluwer Academic Publishers
Details Download

Lutz Straßburger
System NEL is Undecidable
In Ruy De Queiroz and Elaine Pimentel and Lucı́lia Figueiredo, eds., 10th Workshop on Logic, Language, Information and Computation (WoLLIC), volume 84 of Electronic Notes in Theoretical Computer Science, 2003
Details Download

Lutz Straßburger
Linear Logic and Noncommutativity in the Calculus of Structures
In Bertram Fronhöfer and Steffen Hölldobler, eds., 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, Technische Berichte der Fakult\"at Informatik, 96, April 2003. TU Dresden, 01062 Dresden
Details

Books

Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, Peter F. Patel-Schneider
The Description Logic Handbook: Theory, Implementation, and Applications
Cambridge University Press, 2003
Details

Franz Baader
Proceedings of the 19th International Conference on Automated Deduction CADE-19
Volume 2741 of Lecture Notes in Artificial Intelligence. Springer, 2003
Details

H. Beilner, H. Fiedler, M. Gross, O. Günther, S. Hölldobler, G. Hotz, K.-P. Löhr, R. Reischuk, D. Wagner
Ausgezeichnete Informatikdissertationen 2002
Volume D-3 of Lecture Notes in Informatics. German Informatics Society, 2003
Details

Steffen Hölldobler
Logik und Logikprogrammierung. Third edition.
Synchron Verlag, Heidelberg, 2003
Details

Book Chapters

Franz Baader, R Küsters, Frank Wolter
Extensions to Description Logics
In Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider, eds., The Description Logic Handbook: Theory, Implementation, and Applications, 219-261. Cambridge University Press, 2003
Details

Franz Baader, W. Nutt
Basic Description Logics
In Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider, eds., The Description Logic Handbook: Theory, Implementation, and Applications, 43-95. Cambridge University Press, 2003
Details

Franz Baader
Description Logic Terminology
In Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider, eds., The Description Logic Handbook: Theory, Implementation, and Applications, 485-495. Cambridge University Press, 2003
Details

Ulrike Sattler, D. Calvanese, R. Molitor
Relationship with other Formalisms
In Franz Baader and Diego Calvanese and Deborah McGuinness and Daniele Nardi and Peter F. Patel-Schneider, eds., The Description Logic Handbook: Theory, Implementation, and Applications, 137-177. Cambridge University Press, 2003
Details

Doctoral Theses

Kai Brünnler
Deep Inference and Symmetry in Classical Proofs
Phd thesis, Dresden University of Technology, 2003
Details

Lutz Straßburger
Linear Logic and Noncommutativity in the Calculus of Structures
Phd thesis, Dresden University of Technology, 2003
Details

Technical Reports

Franz Baader
The Instance Problem and the Most Specific Concept in the Description Logic EL w.r.t. Terminological Cycles with Descriptive Semantics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-03-01, 2003. LTCS-Report
Details Download

Franz Baader, Silvio Ghilardi, Cesare Tinelli
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-03-05, 2003. LTCS-Report
Details Download

S. Brandt, Anni-Yasmin Turhan, R. Küsters
Foundations of non-standard Inferences for Description Logics with transitive Roles and Role Hierarchies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 03-02, 2003. LTCS-Report
Details Download

Paola Bruscoli, Alessio Guglielmi
On Structuring Proof Search for First Order Linear Logic
Technical Report, Technische Universität Dresden, volume WV-03-10, 2003
Details Download

Kai Brünnler
Locality for Classical Logic
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-04, 2003
Details Download

Kai Brünnler, Alessio Guglielmi
A Finitary System for First Order Logic
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-09, 2003
Details Download

Matthias Fichtner, Axel Großmann
A Visual-Sensor Model for Mobile Robot Localisation
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-03, 2003
Details Download

Matthias Fichtner, Axel Großmann, Michael Thielscher
Intelligent execution monitoring in dynamic environments
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-06, 2003
Details

Bertram Fronhöfer, Steffen Hölldobler
17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002
Technical Report, TU Dresden, 01062 Dresden, volume TUD--FI03--03, April 2003
Details

Axel Großmann, Matthias Wendt, Jeremy Wyatt
A semi-supervised method for learning the structure of robot-environment interaction
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-07, 2003
Details

Axel Großmann, Andreas Henschel, Michael Thielscher
A robot control system integrating reactive control, reasoning, and execution monitoring
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Technische Universität Dresden, volume WV-03-02, 2003
Details Download

Pascal Hitzler
Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--03--15, 2003
Details

Pascal Hitzler
A generalized resolution theorem
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--03--13, 2003
Details

Pascal Hitzler
Default reasoning over domains and concept hierarchies
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--03--14, 2003
Details

Steffen Hölldobler, Olga Skvortsova
A Normalization Algorithm for Automated First-Order Value Iteration
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--03--16, 2003
Details

Carsten Lutz, Dirk Walther
PDL with Negation of Atomic Programs
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-03-04, 2003. LTCS-Report
Details Download

B. Morawska
Completness of E-unification with eager Variable Elimination
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-03-03, 2003. LTCS-Report
Details Download

Charles Stewart, Phiniki Stouppa
A Systematic Proof Theory for Several Modal Logics
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-08, 2003
Details Download

Lutz Straßburger
The Undecidability of System NEL
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-03-05, 2003
Details Download