Publications in 2011
From International Center for Computational Logic
Publications in 2011
Journal Articles
Franz Baader, S. Ghilardi
Unification in Modal and Description Logics
Logic Journal of the IGPL, 19(6):705-730, 2011
Details Download
Olivier Boutin, Jan Komenda, Tomáš Masopust, Nicola Pambakian, Jan H. van Schuppen, Pia L. Kempker, André C. M. Ran
Control of Distributed Systems: Tutorial and Overview
European Journal of Control, 17(5-6):579-602, 2011
Details Download
Erzsébet Csuhaj-Varjú, Tomáš Masopust, György Vaszil
Blackhole Pushdown Automata
Fundamenta Informaticae, 112(2-3):137-156, 2011
Details Download
Felix Distel, Barış Sertkaya
On the complexity of enumerating pseudo-intents
Discrete Applied Mathematics, 159(6):450-466, 2011
Details
Galina Jirásková, Tomáš Masopust
Complexity in Union-Free Regular Languages
International Journal of Foundations of Computer Science, 22(7):1639-1653, 2011
Details Download
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
Systems & Control Letters, 60(7):492-502, 2011
Details Download
Zbyněk Křivka, Tomáš Masopust
Cooperating Distributed Grammar Systems with Random Context Grammars as Components
Acta Cybernetica, 20(2):269-283, 2011
Details Download
Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
Foundations of instance level updates in expressive description logics
Artificial Intelligence, 175(18):2170-2197, 2011
Details Download
Susana Muñoz-Hernández, Victor Pablos-Ceruelo, Hannes Straß
RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog
Information Sciences, 181(10):1951--1970, 2011
Details Download
Denny Vrandečić, Varun Ratnakar, Markus Krötzsch, Yolanda Gil
Shortipedia: Aggregating and Curating Semantic Web Data
J. Web Sem., 9(3):334-338, 2011
Details
Proceedings Articles
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Retractable Complex Event Processing and Stream Reasoning
In Nick Bassiliades, Guido Governatori, Adrian Paschke, eds., 5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML 2011), volume 6826 of LNCS, 122-137, July 2011. Springer
Details Download
Darko Anicic, Paul Fodor, Sebastian Rudolph, Nenad Stojanovic
EP-SPARQL: A Unified Language for Event Processing and Stream Reasoning
In Sadagopan Srinivasan, Krithi Ramamritham, Arun Kumar, M. P. Ravindra, Elisa Bertino, Ravi Kumar, eds., Proceedings of the 20th International Conference on World Wide Web, WWW 2011, 635-644, 2011. ACM
Details Download
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
A Declarative Framework for Matching Iterative and Aggregative Patterns against Event Streams
In Nick Bassiliades, Guido Governatori, Adrian Paschke, eds., 5th International Symposium on Rule-Based Reasoning, Programming, and Applications (RuleML 2011), volume 6826 of LNCS, 138-153, July 2011. Springer
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL without the Top Concept
In Nikolaj Bjørner and Viorica Sofronie-Stokkermans, eds., Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011), volume 6803 of Lecture Notes in Computer Science, 70-84, 2011. Springer
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Computing Local Unifiers in the Description Logic EL without the Top Concept
In Franz Baader and Barbara Morawska and Jan Otop, eds., Proceedings of the 25th International Workshop on Unification (UNIF'11), 2-8, 2011
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL without the Top Concept
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR-WS, 26-36, 2011
Details Download
Franz Baader, Rafael Peñaloza
Are Fuzzy Description Logics with General Concept Inclusion Axioms Decidable?
Proceedings of 2011 IEEE International Conference on Fuzzy Systems (Fuzz-IEEE 2011), 1735-1742, 2011. IEEE Press
Details Download
Franz Baader, Rafael Peñaloza
On the Undecidability of Fuzzy Description Logics with GCIs and Product t-norm
In Cesare Tinelli and Viorica Sofronie-Stokkermans, eds., Proceedings of 8th International Symposium Frontiers of Combining Systems (FroCoS 2011), volume 6989 of Lecture Notes in Aritificial Intelligence, 55-70, 2011. Springer
Details Download
Franz Baader, Rafael Peñaloza
GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR-WS, 2011
Details Download
Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo
Walking the Complexity Lines for Generalized Guarded Existential Rules
In Toby Walsh, eds., Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 712-717, July 2011. IJCAI/AAAI
Details Download
Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo
Towards Farsighted Dependencies for Existential Rules
Proceedings of the 5th International Conference on Web Reasoning and Rule Systems (RR 2011), 30-45, 2011. Springer
Details Download
Javier Oscar Blanco, Pio Garcia, Martin Diller, Renato Cherini
A Behavioral Characterization of Computational Systems
In Verlagshaus Monsenstein und Vannerdat OHG, eds., Proceedings of the 1rst International Conference of the International Association for Computing and Philosophy, 30-33, 2011
Details
Daniel Borchmann, Felix Distel
Mining of EL-GCIs
The 11th IEEE International Conference on Data Mining Workshops, December 2011. IEEE Computer Society
Details Download
Daniel Borchmann
Decomposing Finite Closure Operators by Attribute Exploration
In Florent Domenach, Robert Jäschke, Petko Valtchev, eds., Contributions to ICFCA 2011, 24-37, May 2011. University of Nicosia
Details Download
Stefan Borgwardt, Rafael Peñaloza
Fuzzy Ontologies over Lattices with T-norms
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, 70-80, 2011. CEUR-WS.org
Details Download
Stefan Borgwardt, Rafael Peñaloza
The Inclusion Problem for Weighted Automata on Infinite Trees
In Pál Dömösi and Szabolcs Iván, eds., Proceedings of the 13th International Conference on Automata and Formal Languages (AFL'11), 108-122, 2011. College of Nyíregyháza
Details Download
Stefan Borgwardt, Rafael Peñaloza
Finite Lattices Do Not Make Reasoning in ALCI Harder
In Fernando Bobillo et.al., eds., Proceedings of the 7th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW'11), volume 778 of CEUR-WS, 51-62, 2011
Details Download
Stefan Borgwardt, Rafael Peñaloza
Description Logics over Lattices with Multi-valued Ontologies
In Toby Walsh, eds., Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI'11), 768-773, 2011. AAAI Press
Details Download
Olivier Boutin, Jan Komenda, Tomáš Masopust, Klaus Schmidt, Jan H. van Schuppen
Hierarchical control with partial observations: Sufficient conditions
Proc. of 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), 1817-1822, 2011. IEEE
Details Download
Felix Distel
Some Complexity Results about Essential Closed Sets
In Petko Valtchev and Robert J"aschke, eds., International Conference on Formal Concept Analysis, volume 6628 of LNCS, 81-92, 2011
Details Download
Eldora, Martin Knechtel, Rafael Peñaloza
Correcting Access Restrictions to a Consequence More Flexibly
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the 24th International Workshop on Description Logics (DL 2011), volume 745 of CEUR Workshop Proceedings, 2011
Details Download
Sarah Alice Gaggl, Stefan Woltran
Strong Equivalence for Argumentation Semantics Based on Conflict-Free Sets
In Weiru Liu, eds., Proceedings of the 11th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2011), volume 6717 of Lecture Notes in Computer Science, 38-49, June 2011. Springer
Details Download
S. Hölldobler, N. Manthey, V.H. Nguyen, J. Stecklina, P. Steinke
A Short Overview on Modern Parallel SAT-Solvers
In I. Wasito et.al., eds., Proceedings of the International Conference on Advanced Computer Science and Information Systems, 201-206, 2011
Details
Steffen Hölldobler, Tobias Philipp, Christoph Wernhard
An Abductive Model for Human Reasoning (Poster Paper)
Logical Formalizations of Commonsense Reasoning, Papers from the AAAI 2011 Spring Symposium, AAAI Spring Symposium Series Technical Reports, 135-138, 2011. AAAI Press
Details
S. Hölldobler, T. Philipp, C. Wernhard
An Abductive Model for Human Reasoning
Proceedingth Tenth International Symposium on Logical Formalizations of Commonsense Reasoning, 2011
Details
Galina Jirásková, Tomáš Masopust
State Complexity of Projected Languages
In M. Holzer, M. Kutrib, G. Pighizzini, eds., Proc. of 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS), volume 6808 of LNCS, 198-211, 2011. Springer
Details Download
Yevgeny Kazakov, Markus Krötzsch, František Simančík
Concurrent Classification of EL Ontologies
In Lora Aroyo, Chris Welty, Harith Alani, Jamie Taylor, Abraham Bernstein, Lalana Kagal, Natasha Noy, Eva Blomqvist, eds., Proc. 10th International Semantic Web Conference (ISWC'11), volume 7032 of LNCS, 305-320, October 2011. Springer
Details Download
Yevgeny Kazakov, Markus Krötzsch, František Simančík
Unchain My EL Reasoner
Proc. 24th International Workshop on Description Logics (DL'11), July 2011. CEUR Workshop Proceedings
Details Download
Markus Krötzsch
Efficient Rule-Based Inferencing for OWL EL
Proc. 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), 2668-2673, July 2011. AAAI Press
Details Download
Markus Krötzsch, Sebastian Rudolph
Extending Decidable Existential Rules by Joining Acyclicity and Guardedness
In Toby Walsh, eds., Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI 2011), 963-968, July 2011. IJCAI/AAAI
Details Download
Markus Krötzsch, Sebastian Speiser
ShareAlike Your Data: Self-referential Usage Policies for the Semantic Web
Proc. 10th International Semantic Web Conference (ISWC'11), 354-369, October 2011. Springer
Details Download
Markus Krötzsch, Frederick Maier, Adila Krisnadhi, Pascal Hitzler
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies
Proc. 20th International Conference on World Wide Web (WWW'11), 645-654, March 2011. ACM
Details Download
Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler
Nominal Schemas for Integrating Rules and Description Logics
In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds., Proc. 24th International Workshop on Description Logics (DL'11), volume 745 of CEUR Workshop Proceedings, July 2011. CEUR-WS.org
Details Download
Norbert Manthey
Coprocessor - a Standalone SAT Preprocessor
Proceedings of the 25th Workshop on Logic Programming, WLP 2011, 2011
Details
Julian Mendez, Andreas Ecke, Anni-Yasmin Turhan
Implementing completion-based inferences for the el-family
In Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev, eds., Proceedings of the international Description Logics workshop, volume 745, 2011. CEUR
Details Download
Nadeschda Nikitina, Birte Glimm, Sebastian Rudolph
Wheat and Chaff -- Practically Feasible Interactive Ontology Revision
In Noy et al., eds., Proceedings of the 10th International Semantic Web Conference (ISWC2011), October 2011. Springer
Details Download
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Proceedings of the 24th International Workshop on Description Logics (DL2011), 2011. CEUR Workshop Proceedings
Details
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Proceedings of the 22nd International Joint Conference on Artificial Intelligence, July 2011. IJCAI 2011
Details
Magdalena Ortiz, Sebastian Rudolph, Mantas Simkus
Query Answering in the Horn Fragments of the Description Logics SHOIQ and SROIQ
In Toby Walsh, eds., Proceedings of the 22nd International Joint Conference on Artificial Intelligence, 1039-1044, July 2011. IJCAI/AAAI
Details Download
Maurice Pagnucco, David Rajaratnam, Hannes Straß, Michael Thielscher
How to Plan When Being Deliberately Misled
Proceedings of the Workshop on Automated Action Planning for Autonomous Mobile Robots (PAMR), August 2011
Details Download
R. Peñaloza, Anni-Yasmin Turhan
A Practical Approach for Computing Generalization Inferences in EL
In Marko Grobelnik and Elena Simperl, eds., Proceedings of the 8th European Semantic Web Conference (ESWC'11), Lecture Notes in Computer Science, 2011. Springer
Details Download
Sebastian Rudolph, Michael Schneider
Utility and Feasibility of Reasoning beyond Decidability in Semantic Technologies
In Simon Andrews, Simon Polovina, Richard Hill, Babak Akhgar, eds., Conceptual Structures for Discovering Knowledge, Proceedings of ICCS 2011, volume 6828 of LNCS, 19-34, July 2011. Springer
Details Download
Uwe Ryssel, Felix Distel, Daniel Borchmann
Fast Computation of Proper Premises
In Amedeo Napoli and Vilem Vychodil, eds., International Conference on Concept Lattices and Their Applications, 101-113, 2011. INRIA Nancy – Grand Est and LORIA
Details Download
František Simančík, Boris Motik, Markus Krötzsch
Fixed Parameter Tractable Reasoning in DLs via Decomposition
In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds., Proc. 24th International Workshop on Description Logics (DL'11), volume 745 of CEUR Workshop Proceedings, 400-410, July 2011. CEUR-WS.org
Details Download
Hannes Straß
Default Reasoning about Conditional, Non-Local and Disjunctive Effect Actions
Proceedings of the Ninth International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC), July 2011
Details Download
Anni-Yasmin Turhan
Description Logic reasoning for Semantic Web Ontologies – Extended abstract
In Rajendra Akerkar, eds., Proceedings of the first International Conference on Web Intelligence, Mining and Semantics, 2011. ACM
Details Download
Christoph Wernhard
Computing with Logic as Operator Elimination: The ToyElim System
Proceedings of the 25th Workshop on Logic Programming, WLP 2011, 2011
Details
Anees ul Mehdi, Sebastian Rudolph, Stephan Grimm
Epistemic Queries for OWL Knowledge Bases
Proceedings of the 8th Extended Semantic Web Conference, May 2011. 8th Extended Semantic Web Conference (ESWC11), ESWC 2011
Details Download
Anees ul Mehdi, Sebastian Rudolph
Revisiting Semantics for Epistemic Extensions of Description Logics
Proceedings of the 25th Conference on Artificial Intelligence, August 2011. AAAI 2011
Details Download
Anees ul Mehdi, Sebastian Rudolph
Practical Epistemic Entailment Checking in SROIQ
Proceedings of the 24th International Workshop on Description Logics (DL2011), July 2011. CEUR Workshop Proceedings
Details Download
Books
A. Bernstein, S. Hölldobler, G. Hotz, K.-P. Löhr, P. Molitor, G. Neumann, R. Reischuk, D. Saupe, M. Spiliopoulou, H. Störrle, D. Wagner
Ausgezeichnete Informatikdissertationen 2011
Volume D-11. German Informatics Society, 2011
Details
Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch
Logik und Logikprogrammierung, Band 2: Aufgaben und Lösungen
Synchron Publishers Heidelberg, 2011
Details
Book Chapters
Darko Anicic, Paul Fodor, Sebastian Rudolph, Roland Stühmer, Nenad Stojanovic, Rudi Studer
ETALIS: Rule-Based Reasoning in Event Processing
In Sven Helmer, Alex Poulovassilis, Fatos Xhafa, eds., Reasoning in Event-Based Distributed Systems, volume 347 of Studies in Computational Intelligence, 99-124. Springer, April 2011
Details
Martin Diller
Hacía un marco ontológico y epistemológico para una metodología de la verificación de los programas computacionales en ciencia de la computación
In Las prácticas científicas: aportes para un enfoque epistemológico, 31-62. Editorial Brujas, 2011
Details Download
Markus Krötzsch, Denny Vrandečić
Semantic MediaWiki
In Foundations for the Web of Information and Services, 311-326. Springer, 2011
Details
Sebastian Rudolph
Foundations of Description Logics
In Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider, eds., Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, volume 6848 of LNCS, 76-136. Springer, 2011
Details Download
Edited Proceedings
Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011
Volume 745 of CEUR, July 2011. CEUR Workshop Proceedings
Details
Sebastian Rudolph, Claudio Gutierrez
Web Reasoning and Rule Systems - 5th International Conference (RR 2011)
Volume 6902 of LNCS, August 2011. Springer
Details
Technical Reports
Franz Baader, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL w.r.t. Cycle-Restricted TBoxes
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-05, 2011. LTCS-Report
Details Download
Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Unification in the Description Logic EL Without the Top Concept
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 11-01, 2011. LTCS-Report
Details Download
Stefan Borgwardt, Barbara Morawska
Finding Finite Herbrand Models
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-04, 2011. LTCS-Report
Details Download
Stefan Borgwardt, Rafael Peñaloza
Undecidability of Fuzzy Description Logics
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-06, 2011. LTCS-Report
Details Download
Stefan Borgwardt, Rafael Peñaloza
Complementation and Inclusion of Weighted Automata on Infinite Trees: Revised Version
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-02, 2011. LTCS-Report
Details Download
Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Making Use of Advances in Answer-Set Programming for Abstract Argumentation System
Technical Report, arXiv.org, volume abs/1108.4942, 2011. Paper appears in the Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)
Details Download
Sarah Alice Gaggl, Stefan Woltran
Strong Equivalence for Argumentation Semantics based on Conflict-free Sets
Technical Report, Technische Universität Wien, volume DBAI-TR-2011-68, 2011
Details Download
Peter Grossmann
Polynomial Reduction from PESP to SAT
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download
Steffen Hölldobler, Norbert Manthey, Van Hau Nguyen, Julian Stecklina, Peter Steinke
Modern Parallel SAT-Solvers
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download
Markus Krötzsch, Sebastian Rudolph
Revisiting Acyclicity and Guardedness Criteria for Decidability of Existential Rules
Technical Report, Institut AIFB, KIT, volume 3011, January 2011
Details Download
Markus Krötzsch, Sebastian Speiser
Expressing Self-Referential Usage Policies for the Semantic Web
Technical Report, Institut AIFB, KIT, June 2011
Details
Norbert Manthey
A More Efficient Parallel Unit Propagation
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download
Norbert Manthey
Parallel SAT Solving - Using More Cores
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download
Norbert Manthey, Peter Steinke
Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download
Norbert Manthey
Solver submission of riss 1.0 to the SAT Competition 2011
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Reasoning-Supported Interactive Revision of Knowledge Bases
Technical Report, Institut AIFB, KIT, April 2011
Details Download
Rafael Peñaloza
Towards a Tableau Algorithm for Fuzzy ALC with Product T-norm
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 11-03, 2011. LTCS-Report
Details Download
Sebastian Rudolph, Michael Schneider
On the Utility and Feasibility of Reasoning with Undecidable Semantic Web Formalisms
Technical Report, Institut AIFB, KIT, July 2011. Technical Report
Details Download
Christoph Wernhard
Forward Human Reasoning Moedeld by Logic Programming Modeled by Classical Logic with Circumscription and Projection
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download
Anees ul Mehdi, Sebastian Rudolph
Revisiting Semantics for Epistemic Extensions of Description Logics
Technical Report, Institut AIFB, KIT, August 2011
Details Download
Talks and Miscellaneous
Steffen Hölldobler
Logics and Networks for the Suppression Task
International Computer Science Institute, Berkeley, CA, USA, March 2011
Details
Steffen Hölldobler
An Abductive Model for Human Reasoning
Commonsense 2011, Stanford, CA, USA, March 2011
Details
Steffen Hölldobler
The European PhD Program in Computational Logic
DAAD, Bonn, Germany, March 2011
Details
Steffen Hölldobler
Study Programs on Computational Logic at TUD
TUD, Dresden, Germany, October 2011
Details
