Publications in 2002

From International Center for Computational Logic
Toggle side column

Publications in 2002


Journal Articles

Franz Baader, Cesare Tinelli
Deciding the Word Problem in the Union of Equational Theories
Information and Computation, 178(2):346-390, 2002
Details
Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics for the Semantic Web
KI – Künstliche Intelligenz, 4, 2002
Details
Franz Baader, Carsten Lutz, Holger Sturm, Frank Wolter
Fusions of Description Logics and Abstract Description Systems
Journal of Artificial Intelligence Research (JAIR), 16:1-58, 2002
Details Download
S. Demri, Ulrike Sattler
Automata-Theoretic Decision Procedures for Information Logics
Fundamenta Informaticae, 53(1):1-22, 2002
Details Download
Pascal Hitzler, Anthony Karel Seda
The Fixed-Point Theorems of Priess-Crampe and Ribenboim in Logic Programming
Fields Institute Communications (32):219-235, 2002
Details
Carsten Lutz
PSpace Reasoning with the Description Logic ALCF(D)
Logic Journal of the IGPL, 10(5):535-568, 2002
Details Download
Carsten Lutz, Holger Sturm, Frank Wolter, M. Zakharyaschev
A Tableau Decision Algorithm for Modalized ALC with Constant Domains
Studia Logica, 72(2):199-232, 2002
Details Download
Manfred Schramm, Bertram Fronhöfer
Probabilistic Aspects of Score Systems
Linköping Electronic Articles in Computer and Information Science, ISSN 1401-9841, 7(007), 2002
Details
Matthias Wendt
Unfolding the Well-founded Semantics
Journal of Electrical Engineering, 53(12/s):56-59, 2002
Details

Proceedings Articles

C. Areces, Carsten Lutz
Concrete Domains and Nominals United.
In Carlos Areces and Patrick Blackburn and Maarten Marx and Ulrike Sattler, eds., Proceedings of the fourth Workshop on Hybrid Logics (HyLo'02), 2002
Details Download
Franz Baader, Cesare Tinelli
Combining Decision Procedures for Positive Theories Sharing Constructors
In S. Tison, eds., Proceedings of the 13th International Conference on Rewriting Techniques and Applications (RTA-02), volume 2378 of Lecture Notes in Computer Science, 338-352, 2002. Springer
Details Download
Franz Baader, R. Küsters
Unification in a Description Logic with Inconsistency and Transitive Closure of Roles
In I. Horrocks and S. Tessaris, eds., Proceedings of the 2002 International Workshop on Description Logics, 2002
Details Download
Franz Baader, Anni-Yasmin Turhan
On the problem of computing small representations of least common subsumers
Proceedings of the German Conference on Artificial Intelligence, 25th German Conference on Artificial Intelligence (KI 2002), Lecture Notes in Artificial Intelligence, 2002. Springer
Details Download
S. Brandt, Anni-Yasmin Turhan
An Approach for Optimized Approximation
Proceedings of the KI-2002 Workshop on Applications of Description Logics (KIDLWS'01), CEUR-WS, September 2002. RWTH Aachen
Details Download
S. Brandt, R. Küsters, Anni-Yasmin Turhan
Approximation and Difference in Description Logics
In D. Fensel and F. Giunchiglia and D. McGuiness and M.-A. Williams, eds., Proceedings of the Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), 203-214, 2002. Morgan Kaufman
Details Download
S. Brandt, R. Küsters, Anni-Yasmin Turhan
Approximating ALCN-Concept Descriptions
Proceedings of the 2002 International Workshop on Description Logics, 2002
Details Download
Paola Bruscoli
A Purely Logical Account of Sequentiality in Proof Search
In Peter J. Stuckey, eds., Logic Programming, 18th International Conference, volume 2401 of Lecture Notes in Artificial Intelligence, 302-316, 2002. Springer
Details Download
Bertram Fronhöfer, Akihiro Yamamoto
Minimised Residue Hypotheses in Relevant Logic
In Nicolò Cesa-Bianchi and Masayuki Numao and Rüdiger Reischuk, eds., Proceedings of the 13th International Conference on Algorithmic Learning Theory, volume 2533 of Lecture Notes in Artificial Intelligence, 278-292, 2002. Springer
Details
Axel Großmann, Steffen Hölldobler, Olga Skvortsova
Symbolic Dynamic Programming within the Fluent Calculus
In Naohiro Ishii, eds., Proceedings of the IASTED International Conference on Artificial and Computational Intelligence, 378-383,  2002. ACTA Press
Details
Marina Guetova, Steffen Hölldobler, Hans-Peter Störr
Incremental Fuzzy Decision Trees
In Matthias Jarke and Jana Koehler and Gerhard Lakemeyer, eds., Proceedings of the 25th German Conference on Artificial Intelligence (KI2002), volume 2479 of Lecture Notes in Artificial Intelligence, 67-81, 2002. Springer
Details Download
Alessio Guglielmi, Lutz Straßburger
A Non-commutative Extension of MELL
In Matthias Baaz and Andrei Voronkov, eds., Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, volume 2514 of Lecture Notes in Artificial Intelligence, 231-246, 2002. Springer
Details Download
Thomas Hinze, U. Hatnik, Monika Sturm
An Object Oriented Simulation of Real Occurring Molecular Biological Processes for DNA Computing and Its Experimental Verification
In N. Jonoska and N.C. Seeman, eds., DNA Computing. Proceedings Seventh International Workshop on DNA-Based Computers (DNA7) Tampa, FL, USA, 2001, volume 2340 of Series Lecture Notes in Computer Science, 2002. Springer
Details Download
Pascal Hitzler, Matthias Wendt
The Well-Founded Semantics is a Stratified Fitting Semantics
In Matthias Jarke and Jana Koehler and Gerhard Lakemeyer, eds., Proceedings of the 25th Annual German Conference on Artificial Intelligence, KI2002, Aachen, Germany, September 2002, volume 2479 of Lecture Notes in Artificial Intelligence, 205-221, 2002. Springer
Details
Pascal Hitzler, Anthony Karel Seda
On the Coincidence of Semantics for Uniquely Determined Programs
In Ted Hurley and Mícheál Mac an Airchinnigh and Michel Schellekens and Anthony Seda, eds., Electronic Notes in Theoretical Computer Science, volume 40, 2002. Elsevier Science Publishers
Details
J. Hladik
Implementation and evaluation of a tableau algorithm for the Guarded Fragment
In I. Horrocks and S. Tessaris, eds., Proceedings of the 2002 international workshop on description Logics (DL 2002), volume 53 of CEUR, 2002
Details Download
J. Hladik
Implementation and Optimisation of a Tableau Algorithm for the Guarded Fragment
In U. Egly and C. G. Fermüller, eds., Proceedings of the International Conference on Automated Reasoning with Tableaux and Related Methods (Tableaux 2002), volume 2381 of Lecture Notes in Artificial Intelligence, 2002. Springer
Details Download
Ian Horrocks, Ulrike Sattler
Optimised Reasoning for SHIQ
Proc. of the 15th European Conference on Artificial Intelligence, 2002
Details Download
Steffen Hölldobler, Tran Dinh Khang, Hans-Peter Störr
A Fuzzy Description Logic with Hedges as Concept Modifiers
In Nguyen Hoang Phuong and Hung T. Nguyen and Nguyen Cat Ho and Pratit Santiprabhob, eds., Proceedings InTech/VJFuzzy'2002, 25-34, 2002. Institute of Information Technology, Vietnam Center for Natural Science and Technology, Science and Technics Publishing House, Hanoi, Vietnam
Details Download
O. Kupferman, Ulrike Sattler, M. Y. Vardi
The Complexity of the Graded mu-Calculus
Proceedings of the Conference on Automated Deduction, volume 2392 of Lecture Notes in Artificial Intelligence, 2002. Springer
Details Download
Carsten Lutz
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
Proceedings of the 2002 International Workshop on Description Logics, to appear
Details Download
Carsten Lutz
Description Logics with Concrete Domains—A Survey
Advances in Modal Logic 2002 (AiML 2002), 2002
Details Download
Carsten Lutz, Ulrike Sattler
A Proposal for Describing Services with DLs
Proceedings of the 2002 International Workshop on Description Logics, to appear
Details Download
G. Pan, Ulrike Sattler, M. Y. Vardi
BDD-Based Decision Procedures for K
Proceedings of the Conference on Automated Deduction, volume 2392 of Lecture Notes in Artificial Intelligence, 2002. Springer
Details Download
Manfred Schramm, Bertram Fronhöfer
Completing Incomplete Bayesian Networks
In Gabriele Kern-Isberner and Wilhelm Roedder, eds., Conditionals, Information, and Inference, 231-243, May 2002. Fernuniversität, Gesamthochschule in Hagen
Details
Lutz Straßburger
A Local System for Linear Logic
In Matthias Baaz and Andrei Voronkov, eds., Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, volume 2514 of Lecture Notes in Artificial Intelligence, 388-402, 2002. Springer
Details Download
Hans-Peter Störr
A compact fuzzy extension of the Naive Bayesian classification algorithm
In Nguyen Hoang Phuong and Hung T. Nguyen and Nguyen Cat Ho and Pratit Santiprabhob, eds., Proceedings InTech/VJFuzzy'2002, 172-177, 2002. Institute of Information Technology, Vietnam Center for Natural Science and Technology, Science and Technics Publishing House, Hanoi, Vietnam
Details Download

Books

Christel Baier, Alexander Asteroth
Theoretische Informatik
Pearson Studium, 2002
Details
H. Beilner, H. Fiedler, O. Günther, S. Hölldobler, G. Hotz, P. Liggesmeyer, K.-P. Löhr, R. Reischuk, D. Wagner
Ausgezeichnete Informatikdisserationen 2001
Volume D-2 of Lecture Notes in Informatics. German Informatics Society, 2002
Details

Book Chapters

Akihiro Yamamoto, Bertram Fronhöfer
A Theory of Hypothesis Finding in Clausal Logic
In Setsuo Arikawa and Ayumi Shinohara, eds., Progress in Discovery Science, volume 2281 of Lecture Notes in Artificial Intelligence, 246-257. Springer, 2002
Details

Technical Reports

Franz Baader
Least Common Subsumers, Most Specific Concepts, and Role-Value-Maps in a Description Logic with Existential Restrictions and Terminological Cycles
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-07, 2002. LTCS-Report
Details Download
Franz Baader
Terminological Cycles in a Description Logic with Existential Restrictions
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-02, 2002. LTCS-Report
Details Download
S. Brandt, Anni-Yasmin Turhan
An Approach for Optimizing ALE-Approximation of ALC-Concepts
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 02-03, 2002. LTCS-Report
Details Download
Kai Brünnler, Alessio Guglielmi
Consistency Without Cut Elimination
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-16 (updated April 2003), 2002
Details Download
Kai Brünnler
Atomic Cut Elimination for Classical Logic
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-11, 2002
Details Download
Kai Brünnler
Two Restrictions on Contraction
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-04, 2002
Details Download
Alessio Guglielmi
A System of Interaction and Structure
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-10, 2002
Details Download
Roland Heinze, Pascal Hitzler, Anthony Karel Seda
Convergence Classes and Spaces of Partial Functions
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-02, 2002
Details
Pascal Hitzler
Circular Belief in Logic Programming Semantics
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-13, 2002
Details
Pascal Hitzler, Matthias Wendt
A uniform approach to logic programming semantics
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-14, 2002
Details
Pascal Hitzler
Towards Nonmonotonic Reasoning on Hierarchical Knowledge
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV--02--09, 2002
Details
Pascal Hitzler
Contexts, Concepts, and Logic of Domains
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-12, 2002
Details
Pascal Hitzler
Resolution and Logic Programming in Algebraic Domains: Negation and Defaults
Technical Report, Knowledge Representation and Reasoning Group, Department of Computer Science, Dresden University of Technology, volume WV-02-05, 2002
Details Download
Ian Horrocks, Ulrike Sattler
Decidability of SHIQ with Complex Role Inclusion Axioms
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-06, 2002. LTCS-Report
Details Download
Carsten Lutz, Ulrike Sattler, L. Tendera
The Complexity of Finite Model Reasoning in Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-05, 2002. LTCS-Report
Details Download
Carsten Lutz
Reasoning about Entity Relationship Diagrams with Complex Attribute Dependencies
Technical Report, LuFG Theoretical Computer Science, RWTH Aachen, volume LTCS-02-01, 2002. LTCS-Report
Details Download
Carsten Lutz, C. Areces, Ian Horrocks, Ulrike Sattler
Keys, Nominals, and Concrete Domains
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-02-04, 2002. LTCS-Report
Details Download