Veröffentlichungen in 2015

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Veröffentlichungen in 2015


Artikel in Fachzeitschriften

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Query Entailment in the Description Logic SHQ
Journal of Web Semantics, 33:71–93, 2015
Details Download

Franz Baader, Stefan Borgwardt, Rafael Peñaloza
On the Decidability Status of Fuzzy ALC with General Concept Inclusions
Journal of Philosophical Logic, 44(2):117-146, 2015
Details Download

Stefan Borgwardt, Marcel Lippmann, Veronika Thost
Temporalizing Rewritable Query Languages over Knowledge Bases
Journal of Web Semantics, 33:50–70, 2015
Details Download

Stefan Borgwardt, Felix Distel, Rafael Peñaloza
The Limits of Decidability in Fuzzy Description Logics with General Concept Inclusions
Artificial Intelligence, 218:23-55, 2015
Details Download

Günther Charwat, Wolfgang Dvořák, Sarah Alice Gaggl, Johannes Peter Wallner, Stefan Woltran
Methods for Solving Reasoning Problems in Abstract Argumentation – A Survey
Artificial Intelligence Journal, 220(0):28-63, March 2015
Details Download

Long Cheng, Spyros Kotoulas
Scale-Out Processing of Large RDF Datasets
IEEE Transactions on Big Data, 1(4):138-150, December 2015
Details Download

Andreas Ecke, Rafael Peñaloza, Anni-Yasmin Turhan
Similarity-based Relaxed Instance Queries
Journal of Applied Logic, to appear
Details Download

Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation
Theory and Practice of Logic Programming (TPLP), 15(4-5):434-448, September 2015
Details Download

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Coordination control of discrete-event systems revisited
Discrete Event Dynamic Systems, 25(1):65-94, 2015
Details Download

Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
A Closer Look at the Semantic Relationship between Datalog and Description Logics
Semantic Web Journal, 6(1):63-79, 2015
Details Download

Norbert Manthey
Towards next generation sequential and parallel SAT solvers
Constraints, 1-2, September 2015
Details


Artikel in Tagungsbänden

Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and local disunification in EL
In Maribel Fernández, eds., Proceedings of the 26th International Conference on Rewriting Techniques and Applications (RTA’15), volume 36 of Leibniz International Proceedings in Informatics, 40–56, 2015. Dagstuhl Publishing
Details Download

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive Description Logics with Transitive Roles
In Bernhard Pfahringer, Jochen Renz, eds., Proceedings of the 28th Australasian Joint Conference on Artificial Intelligence (AI'15), volume 9457 of Lecture Notes in Artificial Intelligence, 21-33, 2015. Springer
Details Download

Stefan Bischof, Markus Krötzsch, Axel Polleres, Sebastian Rudolph
Schema-Agnostic Query Rewriting for OWL QL
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics, volume 1350 of CEUR Workshop Proceedings, 2015. CEUR-WS.org
Details Download

Daniel Borchmann
Exploring Faulty Data
In Jaume Baixeries, Christian Sacarea, Manuel Ojeda-Aciego, eds., Proceedings of the 13 International Conference on Formal Concept Analysis (ICFCA 2015), volume 9113 of Lecture Notes in Computer Science, 219-235, 2015. Springer
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in DL-Lite with Negation
In Georg Gottlob and Geoff Sutcliffe and Andrei Voronkov, eds., GCAI 2015. Global Conference on Artificial Intelligence, volume 36 of EasyChair Proceedings in Computing, 51-65, 2015. EasyChair
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in the Description Logic EL
In Qiang Yang, Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2819–2825, 2015. AAAI Press
Details Download

Stefan Borgwardt, Rafael Peñaloza
Reasoning in Expressive Description Logics under Infinitely Valued Gödel Semantics
In Carsten Lutz, Silvio Ranise, eds., Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), Lecture Notes in Artificial Intelligence, 49–65, 2015. Springer
Details Download

Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza Nyssen, Anni-Yasmin Turhan
Conjunctive Query Answering with Finitely Many Truth Degrees
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL'15), volume 1350, 2015. CEUR Workshop Proceedings
Details Download

Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
The Complexity of Subsumption in Fuzzy EL
In Qiang Yang, Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2812–2818, 2015. AAAI Press
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in the Description Logic EL (extended abstract)
Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 83--87, 2015. CEUR
Details Download

Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Reasonable Highly Expressive Query Languages
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 2826-2832, 2015. AAAI Press
Details Download

Stephan Böhme, Marcel Lippmann
Decidable Contextualized DLs with Rigid Roles
Proceedings of the 28th International Workshop on Description Logics (DL-2015), CEUR Workshop Proceedings, to appear. CEUR-WS.org
Details Download

Stephan Böhme, Marcel Lippmann
Decidable Description Logics of Context with Rigid Roles
In Carsten Lutz, Silvio Ranise, eds., Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), volume 9322 of Lecture Notes in Artificial Intelligence, 17-32, to appear. Springer
Details Download

Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with tree constraints
In D. Lev Beklemishev, V. Daniil Musatov, eds., Proceedings of Computer Science -- Theory and Applications: 10th International Computer Science Symposium in Russia (CSR 2015), 94 - 108, 2015. Springer International Publishing
Details

David Carral, Michelle Cheatham, Sunje Dallmeier-Tiessen, Patricia Herterich, Michael Hildreth, Pascal Hitzler, Adila Krisnadhi, Kati Lassila-Perini, Elizabeth Sexton-Kennedy, Charles Vardeman, Gordon Watts
An Ontology Design Pattern for Particle Physics Analysis
In Eva Blomqvist, Pascal Hitzler, Adila Krisnadhi, Tom Narock, Monika Solanki, eds., Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pensylvania, USA., volume 1461 of CEUR Workshop Proceedings, October 2015. CERU-WS.org
Details Download

İsmail İlkan Ceylan, Julian Mendez, Rafael Peñaloza
The Bayesian Ontology reasoner is BORN!
In Michel Dumontier, Birte Glimm, Rafael Gonçalves, Matthew Horridge, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Giorgos Stamou, Giorgos Stoilos, eds., Proceedings of the 4th International Workshop on OWL Reasoner Evaluation (ORE 2015), volume 1387, 8-14, 2015. CEUR Workshop Proceedings
Details Download

İsmail İlkan Ceylan, Rafael Peñaloza
Dynamic Bayesian Description Logics
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 2015. CEUR Workshop Proceedings
Details Download

İsmail İlkan Ceylan
Query Answering in Bayesian Description Logics
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 2015. CEUR Workshop Proceedings
Details Download

İsmail İlkan Ceylan, Rafael Peñaloza
Probabilistic Query Answering in the Bayesian Description Logic BEL
In Christoph Beierle, Alex Dekhtyar, eds., Proceedings of 9th International Conference on Scalable Uncertainty Management (SUM 2015), volume 9310 of LNAI, 1-15, 2015. Springer
Details Download

İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza
Answering EL Queries in the Presence of Preferences
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics (DL 2015), volume 1350, 2015. CEUR Workshop Proceedings
Details Download

Long Cheng, Spyros Kotoulas, Tomas E Ward, Georgios Theodoropoulos
High Throughput Indexing for Large-scale Semantic Web Data
Proc. 30th ACM/SIGAPP Symposium On Applied Computing (SAC'15), 416-422, April 2015. ACM
Details Download

Emmanuelle-Anna Dietz, Steffen Hölldobler
A New Computational Logic Approach to Reason with Conditionals
In F. Calimeri, G.I., Truszczynski, M., eds., 13th International Conference on Logic Programming and Non-monotonic Reasoning, volume 9345 of Lecture Notes in Artificial Intelligence, 2015. Springer
Details

Emmanuelle-Anna Dietz, Steffen Hölldobler, Raphael Höps
A computational logic approach to human spatial reasoning
IEEE Symposium Series on Computational Intelligence, 1627-1634, 2015. IEEE
Details

E.-A. Dietz, S. Hölldobler, L. M. Pereira
On Indicative Conditionals
In S. Hölldobler and Y. Liang, eds., Proceedings of the First International Workshop on Semantic Technologies, volume 1339 of CEUR Workshop Proceedings, 19-30, 2015. CEUR-WS.org
Details

Emmanuelle-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira
On Indicative Conditionals
In Hölldobler, S., Liang, Y, eds., Proceedings of the First International Workshop on Semantic Technologies, volume 1339 of CEUR Workshop Proceedings, 19-30, 2015. CEUR-WS.org
Details

Emmanuell-Anna Dietz, Steffen Hölldobler, Luís Moniz Pereira
On conditionals
In Gottlob, G., Sutcliffe, G., Voronkov, A., eds., Global Conference on Artificial Intelligence, volume 36 of EPiC Series in Computing, 79--92, 2015. EasyChair
Details

Emmanuelle-Anna Dietz
A Computational Logic Approach to Syllogisms in Human Reasoning
In Ulrich Furbach, Claudia Schon, eds., Proceedings of the Workshop on Bridging the Gap between Human and Automated Reasoning on the 25th International Conference on Automated Deduction (CADE-25), CEUR Workshop Proceedings (2015) 17–31., 17-31, 2015
Details

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca-Grau, Ian Horrocks
The Combined Approach to Query Answering Beyond the OWL 2 Profiles
In Qiang Yang and Michael Wooldridge, eds., Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina., 2971--2977, July 2015. AAAI Press
Details Download

Cristina Feier, David Carral, Giorgio Stefanoni, Bernardo Cuenca-Grau, Ian Horrocks
Extending the Combined Approach Beyond Lightweight Description Logics
In Diego Calvanese, Boris Konev, eds., Proceedings of the 28th International Workshop on Description Logics, Athens, Greece., volume 1350 of CEUR Workshop Proceedings, June 2015. CEUR-WS.org
Details Download

Shasha Feng, Michel Ludwig, Dirk Walther
The Logical Difference for EL: from Terminologies towards TBoxes
Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), CEUR workshop proceedings, to appear
Details

Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Bound Your Models! How to Make OWL an ASP Modeling Language
In Stefan Ellmauthaler, Claudia Schulz, eds., International Workshop on User-Oriented Logic Programming (IULP), November 2015
Details

Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks
In Qiang Yang and Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), AAAI Press, 2985--2991, July 2015. AAAI Press
Details Download

Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015, August 2015. arXiv:1507.06689
Details Download

Montserrat Hermo, Ana Ozaki
Exact Learning of Multivalued Dependencies
Algorithmic Learning Theory - 26th International Conference, October 2015. Springer
Details Download

Daniel Hernández, Aidan Hogan, Markus Krötzsch
Reifying RDF: What Works Well With Wikidata?
In Thorsten Liebig and Achille Fokoue, eds., Proceedings of the 11th International Workshop on Scalable Semantic Web Knowledge Base Systems, volume 1457 of CEUR Workshop Proceedings, 32-47, 2015. CEUR-WS.org
Details Download

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Multilevel Coordination Control of Partially Observed Modular DES
In A. Astolfi, eds., American Control Conference (ACC 2015), 384-389, 2015
Details Download

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Relative Observability in Coordination Control
In B. Lennartson, eds., 2015 IEEE International Conference on Automation Science and Engineering (CASE), 75-80, 2015. IEEE
Details Download

Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
On a Distributed Computation of Supervisors in Modular Supervisory Control
Proc. of International Conference on Complex Systems Engineering (ICCSE), 2015. IEEE
Details Download

Boris Konev, Ana Ozaki, Frank Wolter
Exact Learning Description Logic Ontologies from Data Retrieval Examples
28th International Workshop on Description Logics, June 2015. CEUR
Details Download

Tomáš Masopust, Michaël Thomazo
On the Complexity of k-Piecewise Testability and the Depth of Automata
In I. Potapov, eds., Proc. 19th International Conference on Developments in Language Theory (DLT'15), volume 9168 of LNCS, 364-376, 2015. Springer
Details Download

Patrick O'Brien, David Carral, Jeff Mixter, Pascal Hitzler
An Ontology Design Pattern for Data Integration in the Library Domain
In Eva Blomqvist, Pascal Hitzler, Adila Krisnadhi, Tom Narock, Monika Solanki, eds., Proceedings of the 6th Workshop on Ontology and Semantic Web Patterns (WOP 2015) co-located with the 14th International Semantic Web Conference (ISWC 2015), Bethlehem, Pensylvania, USA., volume 1461 of CEUR Workshop Proceedings, October 2015. CEUR-WS.org
Details Download

Sebastian Rudolph, Christian Sacarea, Diana Troancă
Membership Constraints in Formal Concept Analysis
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3186-3192, July 2015. AAAI Press
Details Download

Sebastian Rudolph, Christian Săcărea, Diana Troancă
Reduction in Triadic Data Sets
Workshop FCA4AI „What cand FCA do for Artificial Intelligence?”, pp.55-62, July 2015
Details Download

Sebastian Rudolph, Christian Săcărea, Diana Troancă
Towards a Navigation Paradigm for Triadic Concepts
Proceedings of the 14th International Conference on Formal Concept Analysis, ICFCA 2015, pp. 252-267, 2015. Springer
Details Download

Sebastian Rudolph, Michaël Thomazo
Characterization of the Expressivity of Existential Rule Queries
In Qiang Yang, Michael Wooldridge, eds., Proc. 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3193-3199, 2015. AAAI Press
Details Download

Kamruzzaman Sarker, David Carral, Adila Krisnadhi, Pascal Hitzler
Modeling OWL with Rules: The ROWL Protege Plugin
In Takahiro Kawamura, Heiko Paulheim, eds., Proceedings of the ISWC 2016 Posters & Demonstrations Track co-located with 15th International Semantic Web Conference (ISWC 2016), Kobe, Japan., volume 1690 of CEUR Workshop Proceedings, October 2015. CEUR-WS.org
Details Download

Veronika Thost, Jan Holste, Özgür Özçep
On Implementing Temporal Query Answering in DL-Lite (extended abstract)
Proceedings of the 28th International Workshop on Description Logics (DL 2015), 2015. CEUR
Details Download

Veronika Thost, Erik Zenker
Temporal Query Answering in a Fuzzy World
In Agata Filipowska and Ruben Verborgh and Axel Polleres, eds., Posters&Demos@SEMANTiCS 2015 and DSci15 Workshop, volume 1481 of CEUR Workshop Proceedings, 84-87, September 2015. CEUR-WS.org
Details Download

Christoph Wernhard
Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications
In Hans de Nivelle, eds., Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, volume 9323 of LLNCS (LNAI), 249-265, 2015. Springer
Details

Benjamin Zarrieß, Jens Claßen
Verification of Knowledge-Based Programs over Description Logic Actions
In Qiang Yang, Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3278-3284, 2015. AAAI Press
Details

İsmail İlkan Ceylan, Rafael Peñaloza
Dynamic Bayesian Ontology Languages
Fifth International Workshop on Statistical Relational AI, volume abs/1506.08030, 2015. CoRR
Details Download


Buchkapitel

Wolfgang Dvořák, Sarah Alice Gaggl, Thomas Linsbichler, Johannes Peter Wallner
Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks
In Eiter, Thomas and Strass, Hannes and Truszczyński, Mirosław and Woltran, Stefan, eds., Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of Lecture Notes in Computer Science, chapter Abstract Argumentation, 249-264. Springer International Publishing, 2015
Details Download

Sarah Alice Gaggl, Sebastian Rudolph, Michaël Thomazo
What Is a Reasonable Argumentation Semantics?
In Eiter, Thomas and Strass, Hannes and Truszczyński, Mirosław and Woltran, Stefan, eds., Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of Lecture Notes in Computer Science, chapter Abstract Argumentation, 309-324. Springer International Publishing, 2015
Details Download

Jan Komenda, Tomáš Masopust
Coordination Control of Distributed Discrete-Event Systems
In J.H. van Schuppen and T. Villa, eds., Coordination Control of Distributed Systems, volume 456 of Lecture Notes in Control and Information Sciences, 137-144. Springer, 2015
Details

Jan Komenda, Tomáš Masopust
Supervisory Control of Discrete-Event Systems
In J.H. van Schuppen and T. Villa, eds., Coordination Control of Distributed Systems, volume 456 of Lecture Notes in Control and Information Sciences, 129-136. Springer, 2015
Details


Herausgegebene Tagungsbände

S. Hölldobler, Y. Liang
Proceedings of the First International Workshop on Semantic Technologies
Volume 1339 of CEUR Workshop Proceedings, 2015. CEUR-WS.org
Details

Steffen Hölldobler, Markus Krötzsch, Rafael Peñaloza Nyssen, Sebastian Rudolph
KI 2015: Advances in Artificial Intelligence - Proceedings of the 38th Annual German Conference on AI
Volume 9324 of LNAI, 2015. Springer
Details

Kostis Kyzirakos, Cory A. Henson, Matthew Perry, Dalia Varanka, Rolf Grütter, Jean-Paul Calbimonte, Irene Celino, Emanuele Della Valle, Daniele Dell'Aglio, Markus Krötzsch, Stefan Schlobach
Joint Proceedings of the 1st Joint International Workshop on Semantic Sensor Networks and Terra Cognita (SSN-TC 2015) and the 4th International Workshop on Ordering and Reasoning (OrdRing 2015)
Volume 1488 of CEUR Workshop Proceedings, 2015. CEUR-WS.org
Details


Dissertationen

Claudia Carapelle
On the Satisfiability of Temporal Logics with Concrete Domains
Phd thesis, Universität Leipzig, 2015/11/04
Details Download

Gromann Dagmar
Design and evaluation of an ontology-terminology model for the interchange of terminological data: an approach to multilingual conceptual modeling as exemplified in the domain of finance
Phd thesis, Universität Wien, 2015/09/17
Details


Technische Berichte

Franz Baader, Stefan Borgwardt, Barbara Morawska
Dismatching and Local Disunification in EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-03, 2015. LTCS-Report
Details Download

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Temporal Conjunctive Queries in Expressive DLs with Non-simple Roles
Technical Report, Chair for Automata Theory, Technische Universität Dresden, volume 15-17, 2015. LTCS-Report
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in DL-Lite with Negation
Technical Report, Chair for Automata Theory, Technische Universität Dresden, volume 15-16, 2015. LTCS-Report
Details Download

Stefan Borgwardt, Veronika Thost
LTL over EL Axioms
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-07, 2015. LTCS-Report
Details Download

Stefan Borgwardt, Veronika Thost
Temporal Query Answering in EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-08, 2015. LTCS-Report
Details Download

Stefan Borgwardt, Marco Cerami, Rafael Peñaloza
Subsumption in Finitely Valued Fuzzy EL
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Technische Universität Dresden, volume 15-06, 2015. LTCS-Report
Details Download

Pierre Bourhis, Markus Krötzsch, Sebastian Rudolph
Reasonable Highly Expressive Query Languages: Extended Technical Report
Technical Report, TU Dresden, May 2015
Details Download

Stephan Böhme, Marcel Lippmann
Description Logics of Context with Rigid Roles Revisited
Technical Report, Chair of Automata Theory, TU Dresden, volume 15-04, May 2015. LTCS-Report
Details Download

Norbert Manthey, Rafael Peñaloza
Exploiting SAT Technology for Axiom Pinpointing
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 15-05, 2015
Details Download

Norbert Manthey
Refining Unsatisfiable Cores in Incremental SAT Solving
Technical Report, TU Dresden, September 2015
Details Download

Norbert Manthey
An A-Maze-ing SAT Solving Visualization
Technical Report, TU Dresden, April 2015
Details Download

Sebastian Rudolph, Michaël Thomazo
Characterization of the Expressivity of Existential Rule Queries
Technical Report, TU Dresden, volume IJCAI-15-RT-RR, May 2015
Details Download

Peter Steinke
PBLib — A C++ Toolkit for EncodingPseudo–Boolean Constraints into CNF
Technical Report, TU Dresden, volume 2015-01, 2015. Technical Report
Details Download

Christoph Wernhard
Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Extended Version)
Technical Report, TU Dresden, volume 15-04, 2015. Knowledge Representation and Reasoning
Details

Christoph Wernhard
Heinrich Behmann's Contributions to Second-Order Quantifier Elimination from the View of Computational Logic
Technical Report, TU Dresden, volume 15-05, 2015. Knowledge Representation and Reasoning
Details


Vorträge und Sonstiges

Daniel Borchmann
Experimental Evaluation of General Concept Inclusions Learned from Textual Data
Vortrag, June 2015
Details

Claudia Carapelle, Markus Lohrey
Temporal Logics with Local Constraints
Invited contribution. In Proceedings of the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015), 2015
Details

Sarah Alice Gaggl, Norbert Manthey
ASPARTIX-D Ready for the Competition
Presentation at Argumentation Spring Meeting 2015, Leipzig, April 2015
Details Download

Rafael Peñaloza
Reasoning with Annotated Description Logic Ontologies
Habilitation Thesis, September 2015
Details Download

Christoph Wernhard
Some Fragments Towards Establishing Completeness Properties of Second-Order Quantifier Elimination Methods
Poster presentation at Jahrestreffen der GI Fachgruppe Deduktionssysteme, associated with CADE 25, August 2015
Details