Publications in 2005
From International Center for Computational Logic
Publications in 2005
Journal Articles
M. Lange, Carsten Lutz
2-ExpTime lower bounds for Propositional Dynamic Logics with intersection
Journal of Symbolic Logic, 70(5):1072-1086, 2005
Details Download
Carsten Lutz, Dirk Walther
PDL with Negation of Atomic Programs
Journal of Applied Non-Classical Logic, 15(2):189-214, 2005
Details Download
Carsten Lutz, Ulrike Sattler, L. Tendera
The Complexity of Finite Model Reasoning in Description Logics
Information and Computation, 199:132-171, 2005
Details Download
Carsten Lutz, C. Areces, Ian Horrocks, Ulrike Sattler
Keys, Nominals, and Concrete Domains
Journal of Artificial Intelligence Research, 23:667-726, 2005
Details Download
Proceedings Articles
Franz Baader, S. Brandt, Carsten Lutz
Pushing the EL Envelope
Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence IJCAI-05, 2005. Morgan-Kaufmann Publishers
Details Download
Franz Baader, S. Ghilardi
Connecting Many-Sorted Structures and Theories through Adjoint Functions
Proceedings of the 5th International Workshop on Frontiers of Combining Systems (FroCoS'05), volume 3717 of Lecture Notes in Artificial Intelligence, 2005. Springer
Details Download
Franz Baader, Carsten Lutz, B. Suntisrivaraporn
Is Tractable Reasoning in Extensions of the Description Logic EL Useful in Practice?
Proceedings of the Methods for Modalities Workshop (M4M-05), 2005
Details Download
Franz Baader, S. Ghilardi
Connecting Many-Sorted Theories
Proceedings of the 20th International Conference on Automated Deduction (CADE-05), volume 3632 of Lecture Notes in Artificial Intelligence, 278-294, 2005. Springer
Details Download
Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
A Description Logic Based Approach to Reasoning about Web Services
Proceedings of the WWW 2005 Workshop on Web Service Semantics (WSS2005), 2005
Details Download
Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
A New n-ary Existential Quantifier in Description Logics
Proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, volume 3698 of Lecture Notes in Artificial Intelligence, 18-33, 2005. Springer
Details Download
Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms: First Results
Proceedings of the Twentieth National Conference on Artificial Intelligence (AAAI-05), 2005
Details Download
Franz Baader, Carsten Lutz, M. Milicic, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms: First Results
Proceedings of the 2005 International Workshop on Description Logics (DL2005), CEUR-WS, 2005
Details Download
Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
A New n-ary Existential Quantifier in Description Logics
Proceedings of the 2005 International Workshop on Description Logics (DL2005), CEUR-WS, 2005
Details Download
Sebastian Bader, Artur S. d'Avila Garcez, Pascal Hitzler
Computing First-Order Logic Programs by Fibring Artificial Neural Networks
In I. Russell and Z. Markov, eds., Proceedings of the 18th International Florida Artificial Intelligence Research Symposium Conference, FLAIRS05, Clearwater Beach, Florida, May 2005, 314-319, 2005. AAAI Press
Details Download
Sebastian Bader, Pascal Hitzler, Andreas Witzel
Integrating First-Order Logic Programs and Connectionist Systems — A Constructive Approach
In Artur S. d'Avila Garcez and Jeff Elman and Pascal Hitzler, eds., Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, 2005
Details Download
J. Bohg, R. Kahle, A. M. Pinto
International Tele-Teaching – A Progress Report
Workshop on e-Learning, 2005
Details Download
Sebastian Brandt, Jörg Model
Subsumption in EL w.r.t. hybrid TBoxes
Proceedings of the 28th Annual German Conference on Artificial Intelligence, KI 2005, Lecture Notes in Artificial Intelligence, 2005. Springer
Details Download
Alessio Guglielmi
The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference
In P. Bruscoli and F. Lamarche and C. Stewart, eds., Structures and Deduction, 53-68, 2005. Technische Universität Dresden
Details Download
Pascal Hitzler, Sebastian Bader, Artur S. d'Avila Garcez
Ontology Learning as a Use-Case for Neural-Symbolic Integration —position paper
Proceedings of the IJCAI-05 workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, August 2005, 2005
Details Download
Pascal Hitzler, Sibylle Schwarz
Level mapping characterizations of selector generated models for logic programs
Proceedings of the 19th Workshop on (Constraint) Logic Programming, W(C)LP 2005, Ulm, Germany, February 2005, 2005
Details
Pascal Hitzler, Markus Krötzsch, Marc Ehrig, York Sure
What Is Ontology Merging? – A Category-Theoretical Perspective Using Pushouts
In Pavel Shvaiko, Jerome Euzenat, Alain Leger, Deborah L. McGuinness, Holger Wache, eds., Proceedings of the First International Workshop on Contexts and Ontologies: Theory, Practice and Applications (C&0). Workshop at the 20th National Conference on Artificial Intelligence, AAAI-05, Pittsburgh, Pennsylvania, July 2005, Technical Report WS-05-01, 104-107, July 2005. AAAI Press, Menlo Park, California
Details
Pascal Hitzler, Peter Haase, Markus Krötzsch, York Sure, Rudi Studer
DLP isn't so bad after all
In Bernardo Cuenca Grau, Ian Horrocks, Bijan Parsia, Peter Patel-Schneider, eds., Proceedings of the Workshop OWL - Experiences and Directions, Galway, Ireland, volume 188 of CEUR Workshop Proceedings, November 2005
Details
J. Hladik
A Generator for Description Logic Formulas
In I. Horrocks and U. Sattler and F. Wolter, eds., Proceedings of DL 2005, 2005. CEUR-WS
Details Download
S. Hölldobler, N. H. Nga, T. D. Khang
The Fuzzy Description Logic ALC_FLH
In A.P. del Pobil, eds., Proceedings of the Ninth IASTED International Conference on Artificial Intelligence and Soft Computing, 99-104, 2005. ACTA Press
Details
S. Hölldobler, N. H. Nga, T. D. Khang
The Fuzzy Description Logic ALC_FLH
Proceedings of the Description Logic Workshop, 2005
Details
Ozan Kahramanoğulları, Pierre-Etienne Moreau, Antoine Reilles
Implementing Deep Inference in TOM
In P. Bruscoli and F. Lamarche and C. Stewart, eds., Structures and Deduction, 158-172, 2005. Technische Universität Dresden
Details Download
Ozan Kahramanoğulları
Towards Planning as Concurrency
In M.H.Hamza, eds., Proceedings of the IASTED International Conference on Artificial Intellgence and Applications, AIA 2005, February 14-16, 387-394, 2005. Acta Press
Details
E. Karabaev, O. Skvortsova
A Heuristic Search Algorithm for Solving First-Order MDPs
In F. Bacchus and T. Jaakkola, eds., Proceedings of the Conference on Uncertainty in Artificial Intelligence (UAI'2005), 292-299, July 2005. AUAI Press
Details Download
Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zhang
Morphisms in Context
In Frithjof Dau, Marie-Laure Mugnier and Gerd Stumme, eds., Conceptual Structures: Common Semantics for Sharing Knowledge. Proceedings of the 13th International Conference on Conceptual Structures, ICCS '05, Kassel, Germany, July 2005, volume 3596 of Lecture Notes in Computer Science, 223-237, July 2005. Springer, Berlin
Details Download
Markus Krötzsch, Denny Vrandečić, Max Völkel
Wikipedia and the Semantic Web - The Missing Links
Proceedings of Wikimania 2005 - The First International Wikimedia Conference, July 2005. Wikimedia Foundation
Details Download
Jens Lehmann, Sebastian Bader, Pascal Hitzler
Extracting Reduced Logic Programs from Artificial Neural Networks
In Artur S. d'Avila Garcez and Jeff Elman and Pascal Hitzler, eds., Proceedings of the IJCAI-05 Workshop on Neural-Symbolic Learning and Reasoning, NeSy'05, Edinburgh, UK, 2005
Details Download
Carsten Lutz, Dirk Walther, Frank Wolter
Quantitative Temporal Logics: PSpace and below
Proceedings of the Twelfth International Symposium on Temporal Representation and Reasoning, 2005. IEEE Computer Society Press
Details Download
Carsten Lutz, M. Milicic
A Tableau Algorithm for Description Logics with Concrete Domains and GCIs
Proceedings of the 14th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2005, LNAI, 2005. Springer
Details Download
Carsten Lutz, M. Milicic
A Tableau Algorithm for DLs with Concrete Domains and GCIs
Proceedings of the 2005 International Workshop on Description Logics (DL2005), CEUR-WS, 2005
Details Download
Carsten Lutz
PDL with Intersection and Converse is Decidable
Annual Conference of the European Association for Computer Science Logic CSL'05, LNCS, 2005. Springer
Details Download
T. Pietzsch, A. Großmann
A Method of Estimating Oriented Surface Elements from Stereo Images
Proceedings of the British Machine Vision Conference (BMVC), volume 1, 320-329, 2005
Details Download
Manfred Schramm, Bertram Fronhöfer
Completing Incomplete Bayesian Networks
In Gabriele Kern-Isberner and Wilhelm Rödder and Friedhelm Kulmann, eds., Conditionals, Information, and Inference: International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers, LNAI, 200-218, 2005. Springer
Details
Books
Franz Baader, A. Voronkonv
11th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2004
Volume 3452 of Lecture Notes in Artificial Intelligence. Springer, 2005
Details
T. Dreier, O. Günther, S. Hölldobler, K.-P. Löhr, P. Molitor, R. Reischuk, D. Saupe, D. Wagner
Ausgezeichnete Informatikdissertationen 2004
Volume D-5 of Lecture Notes in Informatics. German Informatics Society, 2005
Details
Michael Thielscher
Reasoning Robots. The Art and Science of Programming Robotic Agents
Springer Netherlands, 2005
Details
Book Chapters
Franz Baader, Ian Horrocks, Ulrike Sattler
Description Logics as Ontology Languages for the Semantic Web
In D. Hutter and W. Stephan, eds., Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, volume 2605 of Lecture Notes in Artificial Intelligence, 228-248. Springer, 2005
Details Download
Sebastian Bader, Pascal Hitzler
Dimensions of neural-symbolic integration — a structured survey
In S. Artemov and H. Barringer and A. S. d'Avila Garcez and L. C. Lamb and J. Woods, eds., We Will Show Them: Essays in Honour of Dov Gabbay, volume 1, 167-194. King's College Publications, 2005
Details Download
Anni-Yasmin Turhan
Pushing the SONIC border — SONIC 1.0
In Reinhold Letz, eds., FTP 2005 — Fifth International Workshop on First-Order Theorem Proving. Technical Report University of Koblenz, 2005
Details Download
Edited Proceedings
P. Bruscoli, F. Lamarche, C. Stewart
Structures and Deduction - the Quest for the Essence of Proofs (satellite workshop of ICALP 2005)
, 2005. Technische Universität Dresden
Details Download
Doctoral Theses
Hans-Peter Störr
Planen im Fluentkalkül mit binären Entscheidungsdiagrammen
Phd thesis, Dresden University of Technology, 2005
Details
Technical Reports
Franz Baader, Sebastian Brandt, Carsten Lutz
Pushing the EL Envelope
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-01, 2005. LTCS-Report
Details Download
Franz Baader, M. Milicic, Carsten Lutz, Ulrike Sattler, Frank Wolter
Integrating Description Logics and Action Formalisms for Reasoning about Web Services
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-02, 2005. LTCS-Report
Details Download
Franz Baader, Silvio Ghilardi
Connecting Many-Sorted Theories
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-04, 2005. LTCS-Report
Details Download
Franz Baader, Carsten Lutz, Eldar Karabaev, Manfred Theißen
A New n-ary Existential Quantifier in Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-08, 2005. LTCS-Report
Details Download
P. Bonatti, Carsten Lutz, Frank Wolter
Expressive Non-Monotonic Description Logics Based on Circumscription
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-06, 2005. LTCS-Report
Details Download
Markus Krötzsch, Pascal Hitzler, Marc Ehrig, York Sure
Category Theory in Ontology Research: Concrete Gain from an Abstract Approach
Technical Report, AIFB, Universität Karlsruhe, volume 893, March 2005
Details
H. Liu, Carsten Lutz, M. Milicic, Frank Wolter
Updating Description Logic ABoxes
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-10, 2005. LTCS-Report
Details Download
Carsten Lutz
PDL with Intersection and Converse is Decidable
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-05, 2005. LTCS-Report
Details Download
Carsten Lutz, Dirk Walther, Frank Wolter
Quantitative Temporal Logics: PSpace and below
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-03, 2005. LTCS-Report
Details Download
Carsten Lutz, M. Milicic
A Tableau Algorithm for DLs with Concrete Domains and GCIs
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-07, 2005. LTCS-Report
Details Download
Carsten Lutz
Complexity and Succinctness of Public Announcement Logic
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume LTCS-05-09, 2005. LTCS-Report
Details Download
Talks and Miscellaneous
Markus Krötzsch
Morphisms in Logic, Topology, and Formal Concept Analysis
Master's thesis, Technische Universität Dresden, February 2005
Details Download
