Publications in 2012

From International Center for Computational Logic
Toggle side column

Publications in 2012


Journal Articles

Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Real-Time Complex Event Recognition and Reasoning-a Logic Programming Approach
Applied Artificial Intelligence, 26(1-2):6-57, February 2012
Details Download
Darko Anicic, Sebastian Rudolph, Paul Fodor, Nenad Stojanovic
Stream reasoning and complex event processing in ETALIS
Semantic Web, 3(4):397-407, 2012
Details Download
Franz Baader, Martin Knechtel, Rafael Peñaloza
Context-Dependent Views to Axioms and Consequences of Semantic Web Ontologies
Journal of Web Semantics, 12--13:22-40, 2012
Details Download
Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
ACM Trans. Comput. Log., 13(3), 2012
Details Download
Jürgen Dassow, Tomáš Masopust
On restricted context-free grammars
Journal of Computer and System Sciences, 78(1):293–304, 2012
Details Download
Galina Jirásková, Tomáš Masopust
On a structural property in the state complexity of projected regular languages
Theoretical Computer Science, 449:93–105, 2012
Details Download
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
On conditional decomposability
Systems & Control Letters, 61(12):1260–1268, 2012
Details Download
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Supervisory control synthesis of discrete-event systems using a coordination scheme
Automatica, 48(2):247-254, 2012
Details Download
Tomáš Masopust
A note on controllability of deterministic context-free systems
Automatica, 48(8):1934-1937, 2012
Details Download
Julian Mendez
jcel: A Modular Rule-based Reasoner
In Proceedings of the 1st International Workshop on OWL Reasoner Evaluation (ORE 2012), 858, 2012
Details Download
Marie-Laure Mugnier, Geneviève Simonet, Michaël Thomazo
On the complexity of entailment in existential conjunctive first-order logic with atomic negation
Information and Computation, 215:8-31, 2012
Details Download
Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm
Interactive ontology revision
Journal of Web Semantics, 12:118-130, April 2012
Details Download
Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Type-elimination-based Reasoning for the Description Logic SHIQbs using Decision Diagrams and Disjunctive Datalog
Logical Methods in Computer Science, 8(1), 2012
Details Download
Christoph Wernhard
Projection and Scope-Determined Circumscription
Journal of Symbolic Computation, 47:1089-1108, 2012
Details

Proceedings Articles

Isabelle Augenstein, Sebastian Padó, Sebastian Rudolph
LODifier: Generating Linked Data from Unstructured Text
ESWC, 210-224, 2012
Details
Franz Baader, Alexander Okhotin
Solving language equations and disequations with applications to disunification in description logics and monadic set constraints
In Nikolaj Bjørner and Andrei Voronkov, eds., Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR-12), volume 7180 of Lecture Notes in Computer Science, 107-121, 2012. Springer
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Computing Minimal EL-unifiers is Hard
In Silvio Ghilardi and Lawrence Moss, eds., Proceedings of the 9-th International Conference on Advances in Modal Logic (AiML'12), 2012
Details Download
Franz Baader, Julian Mendez, Barbara Morawska
UEL: Unification Solver for the Description Logic EL – System Description
Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, 45-51, 2012. Springer
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
In Michael Thielscher and Dongmo Zhang, eds., Proceedings of the 25th Australasian Joint Conference on Artificial Intelligence (AI'12), volume 7691 of Lecture Notes in Artificial Intelligence, 493-504, 2012. Springer
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Recent Advances in Unification for the EL Family
In Santiago Escobar and Konstantin Korovin and Vladimir Rybakov, eds., Proceedings of the 26th International Workshop on Unification (UNIF'12), 2012
Details Download
Franz Baader, Stefan Borgwardt, Julian Alfredo Mendez, Barbara Morawska
UEL: Unification Solver for EL
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 25th International Workshop on Description Logics (DL'12), volume 846 of CEUR Workshop Proceedings, 26-36, 2012
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL Towards General TBoxes
In Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, eds., Proceedings of the Thirteenth International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 568-572, 2012. AAAI Press
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
SAT-Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, 30-44, 2012. Springer
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 25th International Workshop on Description Logics (DL'12), volume 846 of CEUR Workshop Proceedings, 37-47, 2012
Details Download
Ringo Baumann, Hannes Straß
Default Reasoning about Actions via Abstract Argumentation
In Bart Verheij and Stefan Szeider and Stefan Woltran, eds., Proceedings of the Fourth International Conference on Computational Models of Argument (COMMA), volume 245 of Frontiers in Artificial Intelligence and Applications, 297--309, September 2012. IOS Press
Details Download
Jürgen Bock, Sebastian Rudolph, Michael Mutter
More Than the Sum of Its Parts - Holistic Ontology Alignment by Population-Based Optimisation
FoIKS, 71-90, 2012
Details
Daniel Borchmann
A Generalized Next-Closure Algorithm — Enumerating Semilattice Elements from a Generating Set
In Laszlo Szathmary, Uta Priss, eds., Proceedings of The Ninth International Conference on Concept Lattices and Their Applications, volume 972 of CEUR Workshop Proceedings, 9-20, October 2012
Details Download
Stefan Borgwardt, Rafael Peñaloza
Undecidability of Fuzzy Description Logics
In Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith, eds., Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), 232-242, 2012. AAAI Press
Details Download
Stefan Borgwardt, Barbara Morawska
Finding Finite Herbrand Models
In Nikolaj Bjørner and Andrei Voronkov, eds., Proceedings of the 18th International Conference on Logic for Programming, Artifical Intelligence, and Reasoning (LPAR'12), volume 7180 of Lecture Notes in Computer Science, 138-152, 2012. Springer
Details Download
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
How Fuzzy is my Fuzzy Description Logic?
In Bernhard Gramlich and Dale Miller and Ulrike Sattler, eds., Proceedings of the 6th International Joint Conference on Automated Reasoning (IJCAR'12), volume 7364 of Lecture Notes in Artificial Intelligence, 82-96, 2012. Springer
Details Download
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Gödel Negation Makes Unwitnessed Consistency Crisp
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, 103-113, 2012
Details Download
Stefan Borgwardt, Rafael Peñaloza
A Tableau Algorithm for Fuzzy Description Logics over Residuated De Morgan Lattices
In Markus Krötzsch and Umberto Straccia, eds., Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012), volume 7497 of Lecture Notes in Computer Science, 9-24, 2012. Springer
Details Download
Gerhard Brewka, Hannes Straß, Michael Thielscher
Declarative Strategies for Agents with Incomplete Knowledge
In Riccardo Rosati and Stefan Woltran, eds., Proceedings of the Fourteenth International Workshop on Non-Monotonic Reasoning (NMR), June 2012
Details Download
David Carral, Pascal Hitzler
Extending Description Logic Rules
In Elena Simperl and Philipp Cimiano and Axel Polleres and Óscar Corcho and Valentina Presutti, eds., The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece. Proceedings, volume 7295 of Lecture Notes in Computer Science, 345--359, May 2012. Springer
Details Download
David Carral, Krzysztof Janowicz, Pascal Hitzler
A Logical Geo-Ontology Design Pattern for Quantifying over Types
In Isabel F. Cruz, Craig A. Knoblock, Peer Kröger, Egemen Tanin, Peter Widmayer, eds., SIGSPATIAL 2012 International Conference on Advances in Geographic Information Systems (formerly known as GIS), SIGSPATIAL 12, Redondo Beach, CA, USA. Proceedings., 239-248, November 2012. ACM
Details Download
David Carral, Adila Krisnadhi, Pascal Hitzler
Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas
In Pavel Klinov, Matthew Horridge, eds., Experiences and Directions Workshop 2012, OWLED 2012, Heraklion, Crete, Greece. Proceedings, volume 849, May 2012. CEUR-WS.org
Details Download
Long Cheng, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos
Runtime Characterisation of Triple Stores
Proc. 15th IEEE International Conference on Computational Science and Engineering (CSE'12), 66-73, December 2012. IEEE
Details Download
Madalina Croitoru, Sebastian Rudolph
Exclusivity-based allocation of knowledge
AAMAS, 1249-1250, 2012
Details
Thierry Declerck, Dagmar Gromann
Extraction of Multilingual Term Variants in the Business Reporting Domain
In Tatiana Gornostay, eds., Proceedings of CHAT 2012: The 2nd Workshop on the Creation, Harmonization and Application of Terminology Resources. Workshop on the Creation, Harmonization and Application of Terminology Resources (CHAT-12), 41-47, 2012. Linköping University Electronic Press
Details
Thierry Declerck, Hans-Ulrich Krieger, Dagmar Gromann
Acquisition, Representation, and Extension of Multilingual Labels of Financial Ontologies
In Rute Costa, Manuel Silva, Antonio Lucas Soares, eds., Proceedings of the Workshop on Challenges to Knowledge Representation in Multilingual Contexts, 17-26, 2012. Universidad Politecnica de Madrid
Details
Thierry Declerck, Dagmar Gromann
Combining three Ways of Conveying Knowledge: Modularization of Domain, Terminological, and Linguistic Knowledge in Ontologies
In Thomas Schneider, Dirk Walther, eds., Proceedings of the 6th International W orkshop on Modular Ontologies, volume 875, 28-40, 2012. CEUR Workshop Proceedings
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler
Modeling the Suppression Task under Three-Valued Lukasiewicz and Well-Founded Semantics
In Egré, P. and Ripley, R., eds., Proceedings ESSLLI 2012 workshop on trivalent logics and their applications, 27-38, 2012
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Simple Model for the Wason Selection Task
In T. Barkowsky and M. Ragni and F. Stolzenburg, eds., Human Reasoning and Automated Deduction: KI 2012 workshop proceedings, 2012
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Suppression Task
In N. Miyake D. Peebles and R. P. Cooper, eds., Proceedings of the 34th Annual Conference of the Cognitive Science Society, 1500-1505, 2012. Cognitive Science Society
Details
Felix Distel
Adapting Fuzzy Formal Concept Analysis for Fuzzy Description Logics
Proceedings of the 9th international conference on concept lattices and their applications (CLA 2012), 2012
Details Download
Wolfgang Dvořák, Sarah Alice Gaggl
Computational Aspects of cf2 and stage2 Argumentation Semantics
In Bart Verheij, Stefan Szeider, Stefan Woltran, eds., Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), volume 245 of Frontiers in Artificial Intelligence and Applications, 273-284, 2012. IOS Press
Details Download
Wolfgang Dvořák, Sarah Alice Gaggl
Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics
Proceedings of the 14th International Workshop on Non-Monotonic Reasoning (NMR 2012), June 2012
Details Download
Andreas Ecke, Anni-Yasmin Turhan
Optimizations for the role-depth bounded least common subsumer in el+
In Matthew Horridge and Pavel Klinov, eds., Proc. of 9th OWL: Experiences and Directions Workshop (OWLED 2012), volume 849, 2012
Details Download
Andreas Ecke, Anni-Yasmin Turhan
Role-depth Bounded Least Common Subsumers for EL+ and ELI
In Yevgeny Kazakhov and Frank Wolter, eds., Proc. of Description Logics Workshop, volume 846 of CEUR, 2012
Details Download
Stefan Ellmauthaler, Johannes Peter Wallner
Evaluating Abstract Dialectical Frameworks with ASP
In Bart Verheij, Stefan Szeider, Stefan Woltran, eds., 4th International Conference on Computational Models of Argument (COMMA 2012), volume 245 of Frontiers in Artificial Intelligence and Applications, 505-506, 2012. IOS Press
Details Download
Christian Federmann, Dagmar Gromann, Thierry Declerck, Sabine Hunsicker, Hans-Ulrich Krieger, Gerhard Budin
Multilingual Terminology Acquisition for Ontology-based Information Extraction
In Guadalupe Aguado de Cea, Mari Carmen Suárez-Figueroa, Raúl García-Castro, Elena Montiel-Ponsoda, eds., Proceedings of the 10th Terminology and Knowledge Engineering Conference: New Frontiers in the Constructive Symbiosis of Terminology and Knowledge, 166-175, 2012. Universidad Politécnica de Madrid
Details
Weili Fu, Rafael Peñaloza
Adding Context to Tableaux for DLs
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 2012 International Workshop on Description Logics (DL'12), volume 846 of CEUR-WS, 2012
Details Download
Birte Glimm, Aidan Hogan, Markus Krötzsch, Axel Polleres
OWL: Yet to arrive on the Web of Data?
Proceedings of the WWW2012 Workshop on Linked Data on the Web (LDOW-12), volume 937 of CEUR Workshop Proceedings, 2012. CEUR-WS.org
Details Download
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
Acyclicity Conditions and their Application to Query Answering in Description Logics
Proc. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 243–253, June 2012. AAAI Press
Details Download
Dagmar Gromann, Thierry Declerck
Terminology Harmonization in Industry Classification Standards
In Tatiana Gornostay, eds., Proceedings of CHAT 2012: The 2nd Workshop on the Creation, Harmonization and Application of Terminology Resources. Workshop on the Creation, Harmonization and Application of Terminology Resources (CHAT-12), 19-26, 2012. Linköping University Electronic Press
Details
S. Hölldobler, N. Manthey, V.H. Nguyen, P. Steinke
Solving Hidokus using SAT Solvers
Proc. INFOCOM-5, 208-212, 2012
Details
Galina Jirásková, Tomáš Masopust
On Properties and State Complexity of Deterministic State-Partition Automata
In J. C. M. Baeten, T. Ball, F. S. de Boer, eds., Proc. of 7th International Conference on Theoretical Computer Science (IFIP TCS), volume 7604 of LNCS, 164-178, 2012. Springer
Details Download
Galina Jirásková, Tomáš Masopust
On the State and Computational Complexity of the Reverse of Acyclic Minimal DFAs
In N. Moreira, R. Reis, eds., Proc. of 17th International Conference on Implementation and Application of Automata (CIAA), volume 7381 of LNCS, 229-239, 2012. Springer
Details Download
Yevgeny Kazakov, Markus Krötzsch, František Simančík
Practical Reasoning with Nominals in the EL Family of Description Logics
Proc. 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12), 264–274, June 2012. AAAI Press
Details Download
Yevgeny Kazakov, Markus Krötzsch, František Simančík
ELK Reasoner: Architecture and Evaluation
Proc. of the OWL Reasoner Evaluation Workshop 2012, July 2012. CEUR Workshop Proceedings
Details Download
Matthias Knorr, David Carral, Pascal Hitzler, Adila Krisnadhi, Frederick Maier, Cong Wang
Recent Advances in Integrating OWL and Rules
In Markus Krötzsch and Umberto Straccia, eds., Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria. Proceedings, volume 7497 of Lecture Notes in Computer Science, 225--228, September 2012. Springer
Details Download
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
On Algorithms and Extensions of Coordination Control of Discrete-Event Systems
In A. Ramírez-Treviño, J.-J. Lesage, M. Silva, eds., Proc. of 11th International Workshop on Discrete Event Systems (WODES), 245-250, 2012. IFAC
Details Download
Markus Krötzsch
OWL 2 Profiles: An Introduction to Lightweight Ontology Languages
Reasoning Web Summer School 2012, 112-183, September 2012. Springer
Details Download
Markus Krötzsch
The Not-So-Easy Task of Computing Class Subsumptions in OWL RL
Proc. 11th International Semantic Web Conference (ISWC'11), 279-294, 2012. Springer
Details Download
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
A Sound and Complete Backward Chaining Algorithm for Existential Rules
Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR 2012), 122-138, 2012. Springer
Details Download
Karsten Lehmann, Anni-Yasmin Turhan
A Framework for Semantic-based Similarity Measures for ELH-Concepts
In Luis Fariñas del Cerro and Andreas Herzig and Jérôme Mengin, eds., Proceedings of the 13th European Conference on Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence, 307-319, 2012. Springer
Details Download
Karsten Lehmann, Rafael Peñaloza
The Complexity of Computing the Behaviour of Weighted Büchi Automata over Lattices
In Heiko Vogler and Manfred Droste, eds., Proceedings of the 6th International Workshop Weighted Automata: Theory and Applications (WATA'12), 2012
Details Download
Frederick Maier, Yue Ma, Pascal Hitzler
Paraconsistent OWL and Related Logics
Semantic Web journal, March 2012
Details Download
Norbert Manthey, Marijn J. H. Heule, Armin Biere
Automated Reencoding of Boolean Formulas
Proceedings of Haifa Verification Conference 2012, 2012
Details
Norbert Manthey, Peter Steinke
npSolver - a SAT based Solver for Optimization Problems (System Description)
Pragmatics of SAT 2012(POS'12),  2012
Details
Norbert Manthey, Robert Stelzmann
The SAT Solver Framework priss (System Description)
Pragmatics of SAT 2012(POS'12),  2012
Details
Anees Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
On Integrating Description Logics and Rules under Minimal Hypotheses
RR, 242-245, 2012
Details
Nadeschda Nikitina, Sebastian Rudolph
ExpExpExplosion: Uniform Interpolation in General EL Terminologies
ECAI, 618-623, 2012
Details
Sebastian Rudolph, Madalina Croitoru
Multi-Agent Knowledge Allocation
SGAI Conf., 165-178, 2012
Details
Sebastian Rudolph
Some Notes on Managing Closure Operators
ICFCA, 278-291, 2012
Details
Hannes Straß, Michael Thielscher
A Language for Default Reasoning about Actions
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz, volume 7265 of LNCS, 527--542, 2012. Springer-Verlag Berlin Heidelberg
Details Download
Hannes Straß
The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming
In Riccardo Rosati and Stefan Woltran, eds., Proceedings of the Fourteenth International Workshop on Non-Monotonic Reasoning (NMR), June 2012
Details Download
Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph
A Generic Querying Algorithm for Greedy Sets of Existential Rules
Proceedings of the 13th International Conference on the Principles of Knowledge Representation and Reasoning (KR'12), 2012. AAAI
Details Download
Christoph Wernhard
Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics
In Thomas Barkowsky and Marco Ragni and Frieder Stolzenburg, eds., Human Reasoning and Automated Deduction: KI 2012 Workshop Proceedings, volume SFB/TR 8 Report 032-09/2012 of Report Series of the Transregional Collaborative Research Center SFB/TR 8 Spatial Cognition, 41-48, 2012. Universität Bremen / Universität Freiburg, Germany
Details
Guohui Xiao, Yue Ma
Inconsistency Measurement based on Variables in Minimal Unsatisfiable Subsets
Proceedings of European Conference on Artificial Intelligence (ECAI'12), 864-869, 2012
Details Download
Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski
Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics
In Yevgeny Kazakov and Domenico Lembo and Frank Wolter, eds., Proceedings of the 25th International Workshop on Description Logics (DL-2012), volume 846 of CEUR Workshop Proceedings, June 2012. CEUR-WS.org
Details Download

Books

A. Bernstein, S. Hölldobler, K.-P. Löhr, P. Molitor, G. Neumann, R. Reischuk, M. Spiliopoulou, H. Störrle, D. Wagner
Ausgezeichnete Informatikdissertationen 2011
Volume D-12. German Informatics Society, 2012
Details
Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph
语义Web技术基础
世界著名计算机教材精选. Tsinghua University Press, 2012
Details

Book Chapters

Markus Krötzsch
Out of the Lab, Into the Wild: Growing Open Source Communities Around Academic Projects
In Lydia Pintscher, eds., Open Advice, chapter 3, 11-17. open-advice.org, 2012
Details Download

Edited Proceedings

Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers
Volume 7205 of Lecture Notes in Computer Science, 2012. Springer
Details
Markus Krötzsch, Umberto Straccia
Web Reasoning and Rule Systems - 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceeding
Volume 7497 of Lecture Notes in Computer Science, 2012. Springer
Details

Technical Reports

Franz Baader, Stefan Borgwardt, Barbara Morawska
SAT Encoding of Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-02, 2012. LTCS-Report
Details Download
Franz Baader, Alexander Okhotin
Solving Language Equations and Disequations Using Looping Tree Automata with Colors
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 12-01, 2012. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
A Goal-Oriented Algorithm for Unification in ELH_R^+ w.r.t. Cycle-Restricted Ontologies
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-05, 2012. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Computing Minimal EL-Unifiers is Hard
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-03, 2012. LTCS-Report
Details Download
Daniel Borchmann
On Confident GCIs of Finite Interpretations
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 12-06, 2012. LTCS-Report
Details Download
Stefan Borgwardt, Rafael Peñaloza
Consistency in Fuzzy Description Logics over Residuated De Morgan Lattices
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 12-04, 2012. LTCS-Report
Details Download
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Suppression Task
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012
Details Download
Wolfgang Dvořák, Sarah Alice Gaggl
Incorporating Stage Semantics in the SCC-recursive Schema for Argumentation Semantics
Technical Report, Technische Universität Wien, volume DBAI-TR-2012-78, 2012
Details Download
Sarah Alice Gaggl, Stefan Woltran
The cf2 Argumentation Semantics Revisited
Technical Report, Technische Universität Wien, volume DBAI-TR-2012-77, 2012
Details Download
Steffen Hölldobler, Norbert Manthey, Peter Steinke
A Compact Encoding of Pseudo-Boolean Constraints into SAT
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012
Details Download
Ahmed Irfan
Search Space Splitting with Lookahead
Technical Report, TU Dresden, volume Technical Report 2012-04, 2012. Technical Report
Details Download
Markus Krötzsch, Frantisek Simancik, Ian Horrocks
A Description Logic Primer
Technical Report, arXiv.org, volume CoRR abs/1201.4089, January 2012
Details Download
Markus Krötzsch, Sebastian Rudolph
Conjunctive Query Answering for Directional Rules
Technical Report, Institut AIFB, KIT, May 2012. Technical Report
Details
Norbert Manthey
Hidden Units, Equivalences and Implications (Poster Presentation)
Technical Report, Knowledge Representation and Reasoning, volume 12-05, October 2012
Details Download
Norbert Manthey
Solver Description of RISS 2.0 and PRISS 2.0
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012
Details Download
Tomáš Masopust
A Note on Undecidability of Observation Consistency for Non-Regular Languages
Technical Report, arXiv.org, volume CoRR abs/1201.1754, January 2012
Details Download
Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
Modeling in OWL 2 without Restriction
Technical Report, Technischen Universität Dresden, 2012
Details
Anees ul Mehdi, Alexandre Miguel Pinto, Sebastian Rudolph
On Integrating Description Logic and Rules under MH Semantics
Technical Report, Institut AIFB, KIT, July 2012. Technical Report
Details Download

Talks and Miscellaneous

Stefan Ellmauthaler
Abstract Dialectical Frameworks: Properties, Complexity, and Implementation
Master's Thesis, Technische Universität Wien, Institut für Informationssysteme, 2012
Details Download
Steffen Hölldobler
A Computational Logic Approach to Human Reasoning
Simon Fraser University, Vancouver, Canada, March 2012
Details
Steffen Hölldobler
Solving Hidokus Using SAT-Solvers
Infocom-5, Kislovodsk, May 2012
Details
Steffen Hölldobler
Human Reasoning and Computational Logic
North Caucasus State Technical University, Stavropol, May 2012
Details
Steffen Hölldobler
The European PhD Program in Computational Logic
EPCL-Interview Week, Dresden, Germany, July 2012
Details
Steffen Hölldobler
Human Reasoning and Computational Logic
Higher School of Economics, Moscow, October 2012
Details
Steffen Hölldobler
A Simple Model for the Wason Selection Task
EPCL-Workshop, Dresden, Germany, July 2012
Details
Steffen Hölldobler
Satisfiability Testing and its Applications
North Caucasus Federal University, Stavropol, October 2012
Details
Norbert Manthey
npSolver - a SAT based Solver for Optimization Problems
Pragmatics of SAT 2012, Trento, Italy, June 2012
Details
Norbert Manthey
The SAT Solver Framework priss
Pragmatics of SAT 2012, Trento, Italy, June 2012
Details
Norbert Manthey
Coprocessor 2.0 - A flexible CNF Simplifier
SAT 2012, Trento, Italy, June 2012
Details
Norbert Manthey
A Compact Encoding of Pseudo-Boolean Constraints into SAT
KI 2012, Saarbrücken, Germany, September 2012
Details
Christoph Wernhard
Towards a Declarative Approach to Model Human Reasoning with Nonmonotonic Logics
Workshop Human Reasoning and Automated Deduction, KI 2012, Saarbrücken, Germany, September 2012
Details