Publications in 2013
From International Center for Computational Logic
Publications in 2013
Journal Articles
Mario Alviano, Rafael Peñaloza
Fuzzy Answer Sets Approximations
Theory and Practice of Logic Programming, 13(4--5):753-767, 2013
Details Download
Franz Baader, Alexander Okhotin
On Language Equations with One-sided Concatenation
Fundamenta Informaticae, 126(1):1-35, 2013
Details Download
Stefan Borgwardt, Rafael Peñaloza
The Complexity of Lattice-Based Fuzzy Description Logics
Journal on Data Semantics, 2(1):1-19, 2013
Details Download
Sarah Alice Gaggl, Stefan Woltran
The cf2 argumentation semantics revisited
Journal of Logic and Computation, 23(5):925-949, 2013
Details Download
Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang
Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies
J. Artif. Intell. Res. (JAIR), 47:741-808, 2013
Details Download
Dagmar Gromann, Nathan Rasmussen, Alan Melby
Terminologie und Multilinguales Semantic Web in Symbiose – TBX, RDF und OWL
eDITion, 2:9-13, 2013
Details
Sebastian Götz, René Schöne, Claas Wilke, Julian Mendez, Uwe Aßmann
Towards Predictive Self-optimization by Situation Recognition
2nd Workshop EASED@ BUIS 2013, 11, 2013
Details Download
Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler
Complexities of Horn Description Logics
ACM Trans. Comput. Log., 14(1):2, 2013
Details Download
Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang
Report on the Sixth Conference on Artificial General Intelligence
AI Magazine, 34(4):9-125, 2013
Details
Uwe Ryssel, Felix Distel, Daniel Borchmann
Fast algorithms for implication bases and attribute exploration using proper premises
Annals of Mathematics and Artificial Intelligence, Special Issue 65:1-29, 2013
Details Download
Hannes Straß
Approximating Operators and Semantics for Abstract Dialectical Frameworks
Artificial Intelligence, 205:39--70, December 2013
Details Download
Hannes Straß, Michael Thielscher
A general first-order solution to the ramification problem with cycles
Journal of Applied Logic, 11(3):289--308, 2013
Details Download
Marina M. Strelin, Andrea Cosacov, Martin Diller, Alicia N. Sérsic
Study of the Polymorphism of the Patagonian Calceolaria Polyrhiza (Calceolariaceae) using Decision Tree and Sequential Covering Rule Induction
Botanical Journal of the Linnean Society, 173(3):487-500, 2013
Details
Thanh Tran, Günter Ladwig, Sebastian Rudolph
Managing Structured and Semistructured RDF Data Using Structure Indexes
IEEE Transactions on Knowledge and Data Engineering, 25(9):2076-2089, 2013
Details Download
Emanuele Della Valle, Stefan Schlobach, Markus Krötzsch, Alessandro Bozzon, Stefano Ceri, Ian Horrocks
Order matters! Harnessing a world of orderings for reasoning over massive data
Semantic Web, 4(2):219-231, 2013
Details Download
Thomas Zerjatke, Monika Sturm
Solving a PSPACE-complete problem by gene assembly
Journal of Logic and Computation, 23(4):897-908, 2013
Details
Proceedings Articles
Ignasi Abı́o, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Peter J. Stuckey
To Encode or to Propagate? The Best Choice for Each Constraint in SAT
19th International Conference on Principles and Practice of Constraint Programming, CP'13, 2013
Details
Ignasi Abı́o, Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell
A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints
19th International Conference on Principles and Practice of Constraint Programming, CP'13, 2013
Details
Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot
Mathematical Morphology Operators over Concept Lattices
In Peggy Cellier and Felix Distel and Bernhard Ganter, eds., Proceedings of the 11th International Conference on Formal Concept Analysis (ICFCA'13), volume 7880 of Lecture Notes in Computer Science, 28-43, 2013. Springer
Details Download
Jamal Atif, Isabelle Bloch, Felix Distel, Céline Hudelot
A fuzzy extension of explanatory relations based on mathematical morphology
In Gabriella Pasi and Javier Montero, eds., Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2013), to appear
Details
Franz Baader, Benjamin Zarrieß
Verification of Golog Programs over Description Logic Actions
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 181-196, September 2013. Springer
Details Download
Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL
In Barbara Morawska and Konstantin Korovin, eds., Proceedings of the 27th International Workshop on Unification (UNIF'13), 2013
Details Download
Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 295-310, September 2013. Springer
Details Download
Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid EL-Unification is NP-Complete
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings, 29-40, July 2013
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporalizing Ontology-Based Data Access
In Maria Paola Bonacina, eds., Proceedings of the 24th International Conference on Automated Deduction (CADE-24), volume 7898 of Lecture Notes in Artificial Intelligence, 330-344, 2013. Springer
Details Download
Adrian Balint, Norbert Manthey
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning
Pragmatics of SAT(POS'13), 2013
Details
Pedro Barahona, Steffen Hölldobler, Van Hau Nguyen
Translating the At-Most-One Constraint to SAT
Doctoral Program, 19th International Conference on Principles and Practice of Constraint Programming 2013, Uppsala, Sweden, September 16-20, 2013
Details
Andreas Bauer, Peter Baumgartner, Martin Diller, Michael Norrish
Tableaux for Verification of Data-Centric Processes
Proceedings of the 22nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, 28-43, 2013. Springer
Details
A. Belov, N. Manthey, J. P. Marques-Silva
Parallel MUS Extraction
In M. Järvisalo and A. Van Gelder, eds., Theory and Applications of Satisfiability Testing - SAT 2013, volume 7962 of LNCS, 133-149, 2013. Springer
Details
Daniel Borchmann
Experience Based Nonmonotonic Reasoning
In Pedro Cabalar, Tran Cao Son, eds., Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), volume 8148 of Lecture Notes in Computer Science, 200-205, 2013. Springer
Details Download
Daniel Borchmann
Axiomatizing EL^-Expressible Terminological Knowledge from Erroneous Data
Proceedings of the Seventh International Conference on Knowledge Capture, 1-8, 2013. ACM
Details Download
Daniel Borchmann
Towards an Error-Tolerant Construction of EL^ -Ontologies from Data Using Formal Concept Analysis
In Peggy Cellier and Felix Distel and Bernhard Ganter, eds., Formal Concept Analysis, 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013. Proceedings, volume 7880 of Lecture Notes in Computer Science, 60-75, 2013. Springer
Details Download
Daniel Borchmann
Axiomatizing EL^_gfp-General Concept Inclusions in the Presence of Untrusted Individuals
Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings, 65-79, July 2013. CEUR-WS.org
Details Download
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering in DL-Lite
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR Workshop Proceedings, July 2013. CEUR-WS.org
Details Download
Stefan Borgwardt, Rafael Peñaloza
Positive Subsumption in Fuzzy EL with General t-norms
In Francesca Rossi, eds., Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 789-795, 2013. AAAI Press
Details Download
Stefan Borgwardt, Rafael Peñaloza
About Subsumption in Fuzzy EL
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 2013 International Workshop on Description Logics (DL'13), volume 1014 of CEUR-WS, 526-538, 2013
Details Download
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering in the Description Logic DL-Lite
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 165-180, 2013. Springer
Details Download
Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks Revisited
In Francesca Rossi, eds., Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), August 2013. IJCAI/AAAI
Details
Gerhard Brewka, Stefan Ellmauthaler, Hannes Straß, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks Revisited
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI), 803--809, August 2013. IJCAI/AAAI
Details Download
Claudia Carapelle, Alexander Kartzow, Markus Lohrey
Satisfiability of CTL* with Constraints
Proc. of the 24th Int. Conf. on Concurrency Theory (CONCUR 2013), 2013
Details
David Carral, Cong Wang, Pascal Hitzler
Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas
In Wolfgang Faber, Domenico Lembo, eds., Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany. Proceedings, volume 7994 of Lecture Notes in Computer Science, 65--79, July 2013. Springer
Details Download
David Carral, Simon Scheider, Krzysztof Janowicz, Charles Vardeman, Adila Krisnadhi, Pascal Hitzler
An Ontology Design Pattern for Cartographic Map Scaling
In Philipp Cimiano, Óscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph, eds., The Semantic Web: Semantics and Big Data, 10th International Conference, {ESWC} 2013, Montpellier, France. Proceedings, volume 7882 of Lecture Notes in Computer Science, 76--93, May 2013. Springer
Details Download
Long Cheng, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos
QbDJ: A Novel Framework for Handling Skew in Parallel Join Processing on Distributed Memory
Proc. 15th IEEE International Conference on High Performance Computing and Communications (HPCC'13), 1519-1527, November 2013. IEEE
Details Download
Wojciech Czerwiński, Wim Martens, Tomáš Masopust
Efficient Separability of Regular Languages by Subsequences and Suffixes
In F. V. Fomin, R. Freivalds, M. Kwiatkowska, D. Peleg, eds., Proc. of 40th International Colloquium on Automata, Languages, and Programming (ICALP), volume 7966 of LNCS, 150-161, 2013. Springer
Details Download
Waltenegus Dargie, Eldora, Julian Mendez, Christoph Möbius, Kateryna Rybina, Veronika Thost, Anni-Yasmin Turhan
Situation Recognition for Service Management Systems Using OWL 2 Reasoners
Proceedings of the 10th IEEE Workshop on Context Modeling and Reasoning 2013, 31-36, March 2013. IEEE Computer Society
Details Download
Thierry Declerck, Dagmar Gromann
Towards the Generation of Semantically Enriched Multilingual Components of Ontology Labels
In Paul Buitelaar, Philipp Cimiano, David Lewis, James Pustejovsky, Felix Sasaki, eds., Proceedings of the 3rd International Workshop on the Multilingual Semantic Web (MSW3), volume 936, 11-22, 2013. CEUR Workshop Proceedings
Details
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task
Proceedings of the 11th International Symposium on Logical Formalizations of Commonsense Reasoning, 2013
Details
Felix Distel, Yue Ma
A hybrid approach for learning concept definitions from text
Proceedings of the 2013 International Workshop on Description Logics (DL'13), CEUR-WS, to appear
Details
Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Making Use of Advances in Answer-Set Programming for Abstract Argumentation Systems
In Hans Tompits, Salvador Abreu, Johannes Oetsch, Jörg Pührer, Dietmar Seipel, Masanobu Umeda, Armin Wolf, eds., 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers, volume 7773 of Lecture Notes in Computer Science, 114-133, 2013. Springer
Details Download
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Towards Instance Query Answering for Concepts Relaxed by Similarity Measures
Workshop on Weighted Logics for AI (in conjunction with IJCAI'13), 2013
Details Download
Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Computing Role-depth Bounded Generalizations in the Description Logic ELOR
In Ingo J. Timm and Matthias Thimm, eds., Proceedings of the 36th German Conference on Artificial Intelligence (KI 2013), volume 8077 of Lecture Notes in Artificial Intelligence, 49-60, 2013. Springer
Details Download
Andreas Ecke, Michel Ludwig, Dirk Walther
The Concept Difference for EL-Terminologies using Hypergraphs
Proceedings of the International workshop on (Document) Changes: modeling, detection, storage and visualization (DChanges 2013), volume 1008 of CEUR-WS, 2013
Details Download
Stefan Ellmauthaler
Generalizing multi-context systems for reactive stream reasoning applications
In Andrew V. Jones, Nicholas Ng, eds., Proceedings of the 2013 Imperial College Computing Student Workshop (ICCSW 2013), OpenAccess Series in Informatics (OASIcs), 17-24, 2013. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Stefan Ellmauthaler, Hannes Straß
The DIAMOND System for Argumentation: Preliminary Report
In Michael Fink and Yuliya Lierler, eds., Proceedings of the Sixth International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), September 2013
Details Download
Stefan Ellmauthaler, Hannes Strass
The DIAMOND system for argumentation: Preliminary report
In Michael Fink, Yuliya Lierler, eds., Proceedings of the 6th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), September 2013. CoRR
Details Download
Kilian Gebhard, Norbert Manthey
Parallel Variable Elimination on CNF Formulas
Pragmatics of SAT(POS'13), 2013
Details
K. Gebhardt, N. Manthey
Parallel Variable Elimination on CNF Formulas
In I. J. Timm and M. Thimm, eds., KI 2013: Advances in Artificial Intelligence,, volume 8077 of LNCS, 61-73, 2013. Springer
Details
Sebastian Goetz, Julian Mendez, Veronika Thost, Anni-Yasmin Turhan
OWL 2 Reasoning To Detect Energy-Efficient Software Variants From Context
In Kavitha Srinivas and Simon Jupp, eds., Proceedings of the 10th OWL: Experiences and Directions Workshop (OWLED 2013), May 2013
Details Download
Dagmar Gromann
Terminology-based patterns for natural language definitions in ontologies
In Aldo Gangemi, Michael Gruninger, Karl Hammar, Laurent Lefort, Valentina Presutti, Ansgar Scherp, eds., Proceedings of the 4th International Conference on Ontology and Semantic Web Patterns, 65-69, 2013. CEUR Workshop Proceedings
Details
Dagmar Gromann
Terminology Meets the Multilingual Semantic Web – Terms as Labels of Concepts
In Gerhard Budin, Vesna Lusicky, eds., Languages for Special Purposes in a Multilingual, Transcultural World, Proceedings of the 19th European Symposium on Languages for Special Purposes, 8-10 July 2013, Vienna, Austria, 418-428, 2013. University of Vienna
Details
Andreas Herzig, Emiliano Lorini, Dirk Walther
Reasoning about Actions Meets Strategic Logics
In Davide Grossi and Olivier Roy and Huaxin Huang, eds., Logic, Rationality, and Interaction - 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings, volume 8196 of Lecture Notes in Computer Science, 162-175, 2013. Springer
Details Download
Yingjie Hu, Krzysztof Janowicz, David Carral, Simon Scheider, Werner Kuhn, Gary Berg-Cross, Pascal Hitzler, Mike Dean, Dave Kolas
A Geo-ontology Design Pattern for Semantic Trajectories
In Thora Tenbrink, John G. Stell, Antony Galton, Zena Wood, eds., Spatial Information Theory - 11th International Conference, {COSIT} 2013, Scarborough, UK, . Proceedings, volume 8116 of Lecture Notes in Computer Science, 438-456, September 2013. Springer
Details Download
S. Hölldobler, V.H. Nguyen
On SAT-Encodings of the At-Most-One Constraint
In G. Katsirelos and C.-G. Quimpe, eds., Proceedings ModRef2013: The Twelfth International Workshop on Constraint Modelling and Reformulation, 1-17, 2013
Details
Steffen Hölldobler, Van Hau Nguyen
On SAT-Encodings of the At-Most-One Constraint
In George Katsirelos and Claude-Guy Quimper, eds., Proc. The Twelfth International Workshop on Constraint Modelling and Reformulation, Uppsala, Sweden, September 16-20, 1-17, 2013
Details
Ahmed Irfan, Davide Lanti, Norbert Manthey
Modern Cooperative Parallel SAT Solving
Pragmatics of SAT(POS'13), 2013
Details
Galina Jirásková, Tomáš Masopust
On the State Complexity of the Reverse of R- and J-Trivial Regular Languages
In H. Jurgensen and R. Reis, eds., Proc. of 15th International Workshop on Descriptional Complexity of Formal Systems (DCFS), volume 8031 of LNCS, 136-147, 2013. Springer
Details Download
Vladimir Klebanov, Norbert Manthey, Christian Muise
SAT-Based Analysis and Quantification of Information Flow in Programs
In K. R. Joshi and M. Siegle and M. Stoelinga and P. R. D'Argenio, eds., Quantitative Evaluation of Systems,, volume 8054 of LNCS, 177-192, 2013. Springer
Details
Jan Komenda, Tomáš Masopust
A bridge between decentralized and coordination control
Proc. of 51st Annual Allerton Conference on Communication, Control, and Computing (Allerton), 966-972, 2013. IEEE
Details Download
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Multilevel coordination control of modular DES
Proc. of 52nd Annual Conference on Decision and Control (CDC), 6323-6328, 2013. IEEE
Details Download
Markus Krötzsch, Despoina Magka, Ian Horrocks
Concrete Results on Abstract Rules
Proc. 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13), 414-426, September 2013. Springer
Details Download
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, Complete, and Minimal Query Rewriting for Existential Rules
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 3017-3025, 2013
Details
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
On the Exploration of the Query Rewriting Space with Existential Rules
Proceedings of the 7th International Conference on Web Reasoning and Rule Systems (RR 2013), 123-137, 2013. Springer
Details Download
Davide Lanti, Norbert Manthey
Sharing Information in Parallel Search with Search Space Partitioning
In Giuseppe Nicosia and Panos M. Pardalos, eds., Learning and Intelligent Optimization, volume 7997 of Lecture Notes in Computer Science, 52-58, 2013. Springer
Details
Michel Ludwig, Boris Konev
Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes
Proceedings of the 26th International Workshop on Description Logics (DL-2013), volume 1014 of CEUR-WS, 377-389, 2013
Details Download
Yue Ma, Felix Distel
Learning Formal Definitions for Snomed CT from Text
In Niels Peek and Roque Marín Morales and Mor Peleg, eds., Artificial Intelligence in Medicine, volume 7885 of Lecture Notes in Computer Science, 73-77, 2013. Springer
Details Download
Yue Ma, Qingfeng Chang
Measuring Incompleteness under Multi-Valued Semantics by Partial MaxSAT Solvers
The 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, to appear
Details
Yue Ma, Julian Mendez
High Quality Data Generation: An Ontology Reasoning based Approach
International Workshop on Artificial Intelligence for Big Data (in conjunction with IJCAI'13), to appear
Details
Yue Ma, Adelina Nazarenko François Lévy
Semantic Annotation in Specific Domains with rich Ontologies (in French)
20ème conférence du Traitement Automatique du Langage Naturel, to appear
Details
Yue Ma, Felix Distel
Concept Adjustment for Description Logics
In Mathieu d'Aquin and Andrew Gordon, eds., Proceedings of the 7th International Conference on Knowledge Capture, 2013. ACM
Details Download
Despoina Magka, Markus Krötzsch, Ian Horrocks
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling
Proc. 26th International Workshop on Description Logics (DL'13), 390-402, July 2013. CEUR Workshop Proceedings
Details Download
Despoina Magka, Markus Krötzsch, Ian Horrocks
Computing Stable Models for Nonmonotonic Existential Rules
Proc. 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 1031-1038, August 2013. AAAI Press
Details Download
Norbert Manthey, Tobias Philipp, Christoph Wernhard
Soundness of Inprocessing in Clause Sharing SAT Solvers
In Matti Järvisalo and Allen Van Gelder, eds., Theory and Applications of Satisfiability Testing, 16th International Conference, SAT 2013, volume 7962 of LNCS, 22-39, 2013. Springer
Details
Francisco Martin-Recuerda, Dirk Walther
Towards Fast Atomic Decomposition using Axiom Dependency Hypergraphs
In Chiara Del Vescovo and Torsten Hahmann and David Pearce and Dirk Walther, eds., Proceedings of the 7th International Workshop on Modular Ontologies co-located with the 12th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2013), Corunna, Spain, September 15, 2013, volume 1081 of CEUR Workshop Proceedings, 2013. CEUR-WS.org
Details Download
Van Hau Nguyen, Miroslav N. Velev, Pedro Barahona
Application of Hierarchical Hybrid Encodings to Efficient Translation of CSPs to SAT
Proc. 2013 IEEE 25th International Conference on Tools with Artificial Intelligence (ICTAI2013), Special Track on SAT and CSP, November 4-6, Washington DC, USA, 2013, 1028-1035, 2013. Conference Publishing Services
Details
Maurice Pagnucco, David Rajaratnam, Hannes Straß, Michael Thielscher
Implementing Belief Change in the Situation Calculus and an Application
Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), volume 8148 of LNAI, 439--451, September 2013. Springer-Verlag Berlin Heidelberg
Details Download
Rafael Peñaloza, Tingting Zou
Rough EL Classification
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 2013 International Workshop on Description Logics (DL'13), volume 1014 of CEUR-WS, 415-427, 2013
Details Download
Rafael Peñaloza, Anni-Yasmin Turhan
Instance-based Non-standard Inferences in EL with Subjective Probabilities
In Fernando Bobillo and Paulo C. G. Costa and Claudia d'Amato and Nicola Fanizzi and Kathryn B. Laskey and Kenneth J. Laskey and Thomas Lukasiewicz and Matthias Nickles and Michael Pool, eds., Uncertainty Reasoning for the Semantic Web II, International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers, Lecture Notes in Computer Science, 80-98, 2013. Springer
Details Download
Rafael Peñaloza, Tingting Zou
Roughening the EL Envelope
In P. Fontaine and C. Ringeissen and R. A. Schmidt, eds., Proceedings of the 2013 International Symposium on Frontiers of Combining Systems (FroCoS 2013), volume 8152 of Lecture Notes in Computer Science, 71-86, 2013. Springer
Details Download
Sebastian Rudolph, Markus Krötzsch
Flag & Check: Data Access with Monadically Defined Queries
Proc. 32nd Symposium on Principles of Database Systems (PODS'13), 151-162, June 2013. ACM
Details Download
Michael Schneider, Sebastian Rudolph, Geoff Sutcliffe
Modeling in OWL 2 without Restrictions
OWLED, 2013
Details
Hannes Straß
Instantiating Knowledge Bases in Abstract Dialectical Frameworks
In João Leite and Tran Cao Son and Paolo Torroni and Leon van der Torre and Stefan Woltran, eds., Proceedings of the Fourteenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV), volume 8143 of LNCS, 86--101, September 2013. Springer
Details Download
Michaël Thomazo
Compact Rewritings for Existential Rules
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 1125-1131, 2013
Details
Michaël Thomazo
Ontology Based Query Answering with Existential Rules
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 3245-3246, 2013
Details Download
Veronika Thost, Konrad Voigt, Daniel Schuster
Query Matching for Report Recommendation
Proceedings of the 22Nd ACM International Conference on Conference on Information and Knowledge Management, CIKM '13, 1391-1400, 2013. ACM
Details Download
George Tsatsaronis, Alina Petrova, Maria Kissa, Yue Ma, Felix Distel, Franz Baader, Michael Schroeder
Learning Formal Definitions for Biomedical Concepts
In Kavitha Srinivas and Simon Jupp, eds., Proceedings of the 10th OWL: Experiences and Directions Workshop (OWLED 2013), May 2013
Details Download
Anni-Yasmin Turhan
Introductions to Description Logics - A Guided Tour
In Sebastian Rudolph and Georg Gottlob and Ian Horrocks and Frank van Harmelen, eds., In Proceedings of Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School, volume 8067 of Lecture Notes in Computer Science, 150-161, 2013. Springer
Details
Anni-Yasmin Turhan, Benjamin Zarrieß
Computing the lcs w.r.t. General EL^+ TBoxes
In Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Krötzsch, eds., Proceedings of the 26th International Workshop on Description Logics (DL-2013), CEUR Workshop Proceedings, 477-488, July 2013. CEUR-WS.org
Details Download
Cong Wang, David Carral, Pascal Hitzler
SROIQ Syntax Approximation by Using Nominal Schemas
In Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch, eds., Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany., volume 1014 of {CEUR} Workshop Proceedings, 988--999, July 2013. CEUR-WS.org
Details Download
Christoph Wernhard
Computing with Logic as Operator Elimination: The ToyElim System
In Hans Tompits and Salvador Abreu and Johannes Oetsch and Jörg Pührer and Dietmar Seipel and Masanobu Umeda and Armin Wolf, eds., Applications of Declarative Programming and Knowledge Management, 19th International Conference (INAP 2011) and 25th Workshop on Logic Programming(WLP 2011), Revised Selected Papers, volume 7773 of LNCS (LNAI), 289-296, 2013. Springer
Details
Christoph Wernhard
Abduction in Logic Programming as Second-Order Quantifier Elimination
In Pascal Fontaine and Christophe Ringeissen and Renate A. Schmidt, eds., 9th International Symposium on Frontiers of Combining Systems, FroCoS 2013, volume 8152 of LNCS (LNAI), 103-119, 2013. Springer
Details
Benjamin Zarrieß, Anni-Yasmin Turhan
Most Specific Generalizations w.r.t. General EL-TBoxes
Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), 2013. AAAI Press
Details Download
Books
A. Bernstein, W. Effelsberg, S. Hölldobler, H.-P. Lenhof, K.-P. Löhr, P. Molitor, G. Neumann, R. Reischuk, N. Schweickardt, M. Spiliopoulou, H. Störrle, S. Süsstrunk
Ausgezeichnete Informatikdissertationen 2012
Volume D-13. German Informatics Society, 2013
Details
Book Chapters
Wolfgang Dvořák, Sarah Alice Gaggl, Stefan Szeider, Stefan Woltran
Benchmark libraries for argumentation
In Ossowski, Sascha, eds., Agreement Technologies, volume 8 of Law, Governance and Technology Series, chapter The added value of argumentation, 389-393. Springer, 2013
Details
Stefan Haar, Tomáš Masopust
Languages, Decidability, and Complexity
In C. Seatzu and M. Silva and J.H. van Schuppen, eds., Control of Discrete-event Systems, volume 433 of Lecture Notes in Control and Information Sciences, 23-43. Springer, 2013
Details
Jana Kittelmann, Christoph Wernhard
Semantik, Web, Metadaten und digitale Edition: Grundlagen und Ziele der Erschließung neuer Quellen des Branitzer Pückler-Archivs
In Irene Krebs and others, eds., Resonanzen. Pücklerforschung im Spannungsfeld zwischen Wissenschaft und Kunst. Ein Konferenzbericht., 179-202. trafo Verlag, 2013
Details
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Supervisory Control of Distributed Discrete-Event Systems
In C. Seatzu and M. Silva and J.H. van Schuppen, eds., Control of Discrete-event Systems, volume 433 of Lecture Notes in Control and Information Sciences, 107-126. Springer, 2013
Details
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Coordination Control of Distributed Discrete-Event Systems
In C. Seatzu and M. Silva and J.H. van Schuppen, eds., Control of Discrete-event Systems, volume 433 of Lecture Notes in Control and Information Sciences, 147-167. Springer, 2013
Details
Tomáš Masopust, Jan H. van Schuppen
Supervisory Control with Complete Observations
In C. Seatzu and M. Silva and J.H. van Schuppen, eds., Control of Discrete-event Systems, volume 433 of Lecture Notes in Control and Information Sciences, 45-64. Springer, 2013
Details
Edited Proceedings
Irene Celino, Emanuele Della Valle, Markus Krötzsch, Stefan Schlobach
Proceedings of the 2nd International Workshop on Ordering and Reasoning, OrdRing 2013
Volume 1059 of CEUR Workshop Proceedings, 2013. CEUR-WS.org
Details
Philipp Cimiano, Óscar Corcho, Valentina Presutti, Laura Hollink, Sebastian Rudolph
The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings
Volume 7882 of Lecture Notes in Computer Science, 2013. Springer
Details
Thomas Eiter, Birte Glimm, Yevgeny Kazakov, Markus Krötzsch
Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 201
Volume 1014 of CEUR Workshop Proceedings, 2013. CEUR-WS.org
Details
Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
Proceedings of the International Workshop "What can FCA do for Artificial Intelligence?" (FCA4AI at IJCAI 2013), Beijing, China, August 5, 2013
Volume 1058 of CEUR Workshop Proceedings, 2013. CEUR-WS.org
Details Download
Kai-Uwe Kühnberger, Sebastian Rudolph, Pei Wang
Artificial General Intelligence - 6th International Conference, AGI 2013, Beijing, China, July 31 - August 3, 2013 Proceedings
Volume 7999 of Lecture Notes in Computer Science, 2013. Springer
Details
Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen
Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings
Volume 8067 of Lecture Notes in Computer Science, 2013. Springer
Details
Doctoral Theses
Sarah Alice Gaggl
A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation
Phd thesis, TU Wien, 2013/03/04
Details Download
Technical Reports
Franz Baader, Benjamin Zarrieß
Verification of Golog Programs over Description Logic Actions
Technical Report, Chair of Automata Theory, TU Dresden, volume 13-08, 2013. LTCS-Report
Details Download
Franz Baader, Oliver Fernández Gil, Barbara Morawska
Hybrid Unification in the Description Logic EL
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-07, 2013. LTCS-Report
Details Download
Franz Baader, Stefan Borgwardt, Marcel Lippmann
On the Complexity of Temporal Query Answering
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-01, 2013. LTCS-Report
Details Download
Daniel Borchmann
Exploration by Confidence
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-04, 2013. LTCS-Report
Details Download
Daniel Borchmann
Model Exploration by Confidence with Completely Specified Counterexamples
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-11, 2013. LTCS-Report
Details Download
Daniel Borchmann
A General Form of Attribute Exploration
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-02, 2013. LTCS-Report
Details Download
Stefan Borgwardt, Felix Distel, Rafael Peñaloza
Goedel Description Logics: Decidability in the Absence of the Finitely-Valued Model Property
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 13-09, 2013. LTCS-Report
Details Download
Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporal Query Answering w.r.t. DL-Lite-Ontologies
Technical Report, Chair of Automata Theory, TU Dresden, volume 13-05, 2013. LTCS-Report
Details Download
Emmanuelle-Anna Dietz, Steffen Hölldobler, Christoph Wernhard
Modeling the Suppression Task under Weak Completion and Well-Founded Semantics
Technical Report, Technische Universität Dresden, volume 2, 2013
Details Download
Emmanuelle-Anna Dietz, Steffen Hölldobler, Marco Ragni
A Computational Logic Approach to the Abstract and the Social Case of the Selection Task
Technical Report, Technische Universität Dresden, volume 3, 2013
Details Download
Steffen Hölldobler, Van Hau Nguyen
An Efficient Encoding of the At-Most-One Constraint
Technical Report, Knowledge Representation and Reasoning Group 2013-04, 2013
Details
Steffen Hölldobler, Van Hau Nguyen
An Efficient Encoding of the at-most-one Constraint
Technical Report, TU Dresden, volume Technical Report 2013-04, 2013. Technical Report
Details Download
Mélanie König, Michel Leclère, Marie-Laure Mugnier, Michaël Thomazo
Sound, Complete and Minimal UCQ-Rewriting for Existential Rules
Technical Report, University of Montpellier 2, 2013
Details Download
Davide Lanti, Norbert Manthey
Sharing Information in Parallel Search with Search Space Partitioning
Technical Report, Knowledge Representation and Reasoning Group, volume 1, 2013
Details Download
Yue Ma, Felix Distel
Learning Formal Definitions for Snomed CT from Text
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-03, 2013. LTCS-Report
Details Download
Hannes Straß, Johannes Peter Wallner
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory
Technical Report 2, Institut für Informatik, Universität Leipzig, November 2013
Details Download
Hannes Straß
Approximating Operators and Semantics for Abstract Dialectical Frameworks
Technical Report 1, Institut für Informatik, Universität Leipzig, January 2013
Details Download
Christoph Wernhard
Abduction in Logic Programming as Second-Order Quantifier Elimination
Technical Report, TU Dresden, volume KRR 13-05, 2013
Details Download
Benjamin Zarries̈, Anni-Yasmin Turhan
Most Specific Generalizations w.r.t. General EL-TBoxes
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 13-06, 2013. LTCS-Report
Details Download
Benjamin Zarrieß, Jens Claßen
On the Decidability of Verifying LTL Properties of Golog Programs
Technical Report, Chair of Automata Theory, TU Dresden, volume 13-10, 2013. LTCS-Report
Details Download
Anees ul Mehdi, Sebastian Rudolph, Jens Wissman
EQuIKa: Epistemic Querying in OWL 2 Ontologies
Technical Report, AIFB, April 2013. Technical Report
Details Download
Talks and Miscellaneous
Daniel Borchmann
Exploratory Programming for Formal Concept Analysis — An Introduction to conexp-clj
Vortrag, May 2013
Details
Daniel Borchmann
General Concept Inclusions with High Confidence in Finite Interpretations
Vortrag, September 2013
Details
Daniel Borchmann
Beam Me Up! - LaTeX-Beamer For Those Who Already Know
Vortrag, November 2013
Details
Steffen Hölldobler
A New Computational Model for Human Reasoning
SPP1516 Workshop on Belief-Revision and Non-Monotonic Reasoning, Gießen, Germany, November 2013
Details
Steffen Hölldobler
A New Computational Model for Human Reasoning
National ICT Australia, Sydney, Australia, September 2013
Details
Steffen Hölldobler
Computational Logic and Human Reasoning
King Mogul's Institute for Technology, Bangkok, Thailand, September 2013
Details
