Publications in 2004

From International Center for Computational Logic
Toggle side column

Publications in 2004


Journal Articles

A. Artale, Carsten Lutz
A Correspondence between Temporal Description Logics
Journal of Applied Non-Classical Logic, 14(1--2):209-233, 2004
Details Download
Sebastian Bader, Pascal Hitzler
Logic Programs, Iterated Function Systems, and Recurrent Radial Basis Function Networks
Journal of Applied Logic, Special Issue on Neural-Symbolic Systems, 2(3):273-300, 2004
Details
Mitchell A. Harris, Edward R. Reingold
Line Drawing, Leap Years, and Euclid
ACM Computing Surveys, 36:68-80, 2004
Details Download
Pascal Hitzler
A generalized resolution theorem
Journal of Electrical Engineering, Slovak Academy of Sciences, 55(1--2):25-30, 2004
Details Download
Pascal Hitzler, Steffen Hölldobler, Anthony K. Seda
Logic Programs and Connectionist Networks
Journal of Applied Logic, Special Issue on Neural-Symbolic Systems, 2(3):245-272, 2004
Details Download
R. Kontchakov, Carsten Lutz, Frank Wolter, M. Zakharyaschev
Temporal Tableaux
Studia Logica, 76(1):91-134, 2004
Details Download
O. Kutz, Carsten Lutz, Frank Wolter, M. Zakharyaschev
E-Connections of Abstract Description Systems
Artificial Intelligence, 156(1):1-73, 2004
Details Download
Carsten Lutz
Combining Interval-based Temporal Reasoning with General TBoxes
Artificial Intelligence, 152(2):235-274, 2004
Details Download
Carsten Lutz
NExpTime-complete Description Logics with Concrete Domains
ACM Transactions on Computational Logic, 5(4):669-705, 2004
Details

Proceedings Articles

Franz Baader, S. Ghilardi, Cesare Tinelli
A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics
In D. Basin and M. Rusinowitch, eds., Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04), volume 3097 of Lecture Notes in Artificial Intelligence, 183-197, 2004. Springer
Details Download
Franz Baader
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
In J. Hromkovic and M. Nagl, eds., Proceedings of the 30th International Workshop on Graph-Theoretic Concepts in Computer Science (WG 2004), volume 3353 of Lecture Notes in Computer Science, 177-188, 2004. Springer
Details Download
Franz Baader, Baris Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004
Details Download
Franz Baader, B. Sertkaya, Anni-Yasmin Turhan
Computing the Least Common Subsumer w.r.t. a Background Terminology
In José Júlio Alferes and João Alexandre Leite, eds., Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), volume 3229 of Lecture Notes in Computer Science, 400-412, 2004. Springer
Details Download
Franz Baader, B. Sertkaya
Applying Formal Concept Analysis to Description Logics
In P. Eklund, eds., Proceedings of the 2nd International Conference on Formal Concept Analysis (ICFCA 2004), volume 2961 of Lecture Notes in Artificial Intelligence, 261-286, 2004. Springer
Details Download
Sebastian Bader, Pascal Hitzler, Steffen Hölldobler
The Integration of Connectionism and First-Order Knowledge Representation and Reasoning as a Challenge for Artificial Intelligence
In L. Li and K. K. Yen, eds., Proceedings of the Third International Conference on Information, Tokyo, Japan, November/December 2004, 22-33, 2004. International Information Institute
Details Download
Sebastian Bader, Steffen Hölldobler, Alexandre Scalzitti
Semiring Artificial Neural Networks and Weighted Automata — And an Application to Digital Image Encoding —
In G. Palm S. Biundo, T. Frühwirth, eds., KI 2004: Advances in Artificial Intelligence. Proceedings of the 27th AnnualGerman Conference on Artificial Intelligence, Ulm, Germany, September 2004, volume 3238 of Lecture Notes in Artificial Intelligence, 281-294, 2004. Springer
Details Download
Sebastian Brandt
On Subsumption and Instance Problem in ELH w.r.t. General TBoxes
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004
Details Download
Sebastian Brandt, Hongkai Liu
Implementing Matching in ALN
Proceedings of the KI-2004 Workshop on Applications of Description Logics (KI-ADL'04), CEUR-WS, September 2004
Details Download
Sebastian Brandt
Polynomial Time Reasoning in a Description Logic with Existential Restrictions, GCI Axioms, and—What Else?
In R. López de Mantáras and L. Saitta, eds., Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), 298-302, 2004. IOS Press
Details Download
Matthias Fichtner, Axel Großmann
A probabilistic visual sensor model for mobile robot localisation in structured environments
Proceedings of the 2004 International Conference on Intelligent Robots and Systems (IROS-2004), Sendai, Japan, 2004
Details
Pascal Hitzler
Corollaries on the fixpoint completion: studying the stable semantics by means of the Clark completion
In Dietmar Seipel and Michael Hanus and Ulrich Geske and Oskar Bartenstein, eds., Proceedings of the 15th International Conference on Applications of Declarative Programming and Knowledge Management and 18th Workshop on (Constraint) Logic Programming, Potsdam, Germany, March 2004, volume 327 of Technical Report, Bayerische Julius-Maximilians-Universit{\"a}t W{\"u}rzburg, Institut f{\"u}r Informatik, 13-27, March 2004
Details
Pascal Hitzler
Default reasoning over domains and concept hierarchies
Proceedings of the 27th German Conference on Artificial Intelligence, KI'2004, Ulm, Germany, September 2004, volume 3238 of Lecture Notes in Artificial Intelligence, 351-365, 2004. Springer
Details
Pascal Hitzler, Guo-Qiang Zhang
A cartesian closed category of approximable concept structures
In Karl-Erich Wolff and Heather D. Pfeiffer and Harry S. Delugach, eds., Conceptual Structures at Work, Proceedings of the 12th International Conference on Conceptual Structures, ICCS 2004, Huntsville, Alabama, USA, July 2004, volume 3127 of Lecture Notes in Artificial Intelligence, 170-185, 2004. Springer
Details Download
J. Hladik, J. Model
Tableau Systems for SHIO and SHIQ
In V. Haarslev and R. Möller, eds., Proceedings of the 2004 International Workshop on Description Logics (DL 2004), 2004. CEUR
Details Download
J. Hladik
Spinoza's Ontology
In G. Büchel and B. Klein and T. Roth-Berghofer, eds., Proceedings of the 1st Workshop on Philosophy and Informatics (WSPI 2004), DFKI Research Reports, 2004. DFKI
Details Download
J. Hladik
A Tableau System for the Description Logic SHIO
In Ulrike Sattler, eds., Contributions to the Doctoral Programme of IJCAR 2004, 2004. CEUR
Details Download
Steffen Hölldobler, Olga Skvortsova
A Logic-Based Approach to Dynamic Programming
Learning and Planning in Markov Processes–Advances and Challenges, Papers from the AAAI Workshop, 31-36, July 2004. AAAI Press, Menlo Park, California
Details Download
S. Hölldobler, H.-P. Störr, T.D. Khang, Nguyen Hoang Nga
The Subsumption Problem in the Fuzzy Description Logic ALC_FH
Proceedings Tenth International Conference IPMU 2004:Information Processing and Managment of Uncertainty in Knowledge-Based Systems, volume 1, 243-250, 2004
Details
Ozan Kahramanoğulları
System BV without the Equalities for Unit
In C. Aykanat and T. Dayar and I. Korpeoglu, eds., Proceedings of the 19th International Symposium on Computer and Information Sciences, ISCIS'04, Lecture Notes in Computer Science, 2004. Springer
Details Download
Ozan Kahramanoğulları
Implementing System BV of the Calculus of Structures in Maude
Proceedings of the ESSLLI-2004 Student Session, Universit Henri Poincare, Nancy, France, 2004
Details Download
E. Karabaev, Carsten Lutz
Mona as a DL Reasoner
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004
Details Download
Carsten Lutz, Frank Wolter
Modal Logics of Topological Relations
Proceedings of Advances in Modal Logics 2004, 2004
Details Download
Carsten Lutz, Dirk Walther
PDL with Negation of Atomic Programs
Proceedings of the 2nd International Joint Conference on Automated Reasoning IJCAR'04, Lecture Notes in Artificial Intelligence, to appear. Springer
Details Download
Carsten Lutz, M. Milicic
Description Logics with Concrete Domains and Functional Dependencies
Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-2004), to appear
Details Download
Sebastian Rudolph
Exploring Relational Structures via FLE
In Karl Erich Wolff, Heather D. Pfeiffer, Harry S. Delugach, eds., Conceptual Structures at Work: 12th International Conference on Conceptual Structures, volume 3127 of LNCS, 196 -- 212, July 2004. Springer
Details Download
Baris Sertkaya, Halit Oguztuzun
Proof of the Basic Theorem on Concept Lattices in Isabelle/HOL
In C. Aykanat and T. Dayar and I. Korpeoglu, eds., Proceedings of the 19th International Symposium on Computer and Information Sciences (ISCIS2004), volume 3280 of Lecture Notes in Computer Science, 976-985, 2004. Springer
Details Download
Charles Stewart, Phiniki Stouppa
A systematic proof theory for several modal logics
In R. Schmidt and I. Pratt-Hartmann and M. Reynolds and H. Wansing, eds., Proceedings of the 5th International Conference on Advances in Modal Logic, AiML-2004, to appear
Details Download
Anni-Yasmin Turhan, Christian Kissig
Sonic—System Description
Proceedings of the 2004 International Workshop on Description Logics (DL2004), CEUR-WS, 2004
Details Download
Anni-Yasmin Turhan, Christian Kissig
Sonic—Non-standard Inferences go OilEd
In D. Basin and M. Rusinowitch, eds., Proceedings of the 2nd International Joint Conference on Automated Reasoning (IJCAR'04), volume 3097 of Lecture Notes in Artificial Intelligence, 2004. Springer
Details Download

Books

Thomas Hinze, Monika Sturm
Rechnen mit DNA - Eine Einführung in Theorie und Praxis
R. Oldenbourg Wissenschaftsverlag München, 2004
Details Download
Pascal Hitzler, G. Kalmbach, Z. Riečanová
Begabtenförderung im MINT-Bereich
Volume 9. Aegis-Verlag, Ulm, 2004
Details

Book Chapters

Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics
In S. Staab and R. Studer, eds., Handbook on Ontologies, International Handbooks in Information Systems, 3-28. Springer, 2004
Details
Kai Brünnler, Alessio Guglielmi
A First Order System with Finite Choice of Premises
In Hendricks et al., eds., First-Order Logic Revisited. Logos Verlag, to appear
Details
S. Bader F. Maire, F. Wathne
Fast Indexing of Codebook Vectors Using Dynamic Binary Search Trees With Fat Decision Hyperplanes
In Lipo Rajapakse, Jagath C.; Wang, eds., , volume 152 of Studies in Fuzziness and Soft Computing, chapter 1. Springer, 2004
Details

Technical Reports

Franz Baader
A Graph-Theoretic Generalization of the Least Common Subsumer and the Most Specific Concept in the Description Logic EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-04-02, 2004. LTCS-Report
Details Download
S. Brandt
Subsumption and Instance Problem in ELH w.r.t. General TBoxes
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-04-04, 2004. LTCS-Report
Details Download
S. Brandt
Reasoning in ELH w.r.t. General Concept Inclusion Axioms
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-04-03, 2004. LTCS-Report
Details Download
Steffen Hölldobler, Ozan Kahramanogullari
From the Calculus of Structures to Term Rewriting Systems
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--04--03, 2004
Details Download
Ozan Kahramanoğulları
Plans as Formulae with a Non-commutative Logical Operator - Planning as Concurrency
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--04--06, 2004
Details Download
E. Karabaev, O. Skvortsova
FCPlanner: A Planning Strategy for First-Order MDPs
Technical Report, June 2004
Details
Markus Krötzsch
Generalized Ultrametric Spaces in Quantitative Domain Theory
Technical Report, Knowledge Representation and Reasoning Group, Institute for Artificial Intelligence, Department of Computer Science, Dresden University of Technology, Dresden, Germany, volume WV--04--02, 2004
Details
Carsten Lutz, M. Milicic
Description Logics with Concrete Domains and Functional Dependencies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-04-06, 2004. LTCS-Report
Details Download
Carsten Lutz, Frank Wolter
Modal Logics of Topological Relations
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-04-05, 2004. LTCS-Report
Details Download
B. Morawska
A nice Cycle Rule for Goal-Directed E-Unification
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-04-01, 2004. LTCS-Report
Details Download

Project Deliverables

Paolo Bouquet, Marc Ehrig, Jerome Euzenat, Enrico Franconi, Pascal Hitzler, Markus Krötzsch, Luciano Serafini, Giorgos Stamou, York Sure, Sergio Tessaris
Specification of a common framework for characterizing alignment
University of Karlsruhe, (2.2.1v2), Knowledge Web Deliverable, December 2004
Details