Publications in 2016

From International Center for Computational Logic
Toggle side column

Publications in 2016


Journal Articles

Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska
Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor
Notre Dame Journal of Formal Logic, 57(4):443–476, 2016
Details Download
Franz Baader, Stefan Borgwardt, Barbara Morawska
Extending Unification in EL to Disunification: The Case of Dismatching and Local Disunification
Logical Methods of Computer Science, 12(4:1):1–28, 2016
Details Download
Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Christof Spanring, Hannes Straß, Stefan Woltran
On rejected arguments and implicit conflicts: The hidden power of argumentation semantics
Artificial Intelligence, 241:244--284, 2016
Details Download
Stefan Borgwardt, Rafael Peñaloza
Reasoning in fuzzy description logics using automata
Fuzzy Sets and Systems, 298:22–43, 2016
Details Download
Stefan Borgwardt, Theofilos Mailis, Rafael Peñaloza, Anni-Yasmin Turhan
Answering Fuzzy Conjunctive Queries over Finitely Valued Fuzzy Ontologies
Journal on Data Semantics, 5(2):55–75, 2016
Details Download
Claudia Carapelle, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with Constraints
Journal of Computer and System Sciences, 82(5):826 - 855, 2016
Details
Long Cheng, Avinash Malik, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos
Fast Compression of Large Semantic Web Data using X10
IEEE Transactions on Parallel and Distributed Systems, 27(9):2603-2617, September 2016
Details Download
Wolfgang Dvořák, Sarah Alice Gaggl
Stage semantics and the SCC-recursive schema for argumentation semantics
Journal of Logic and Computation, 26(4):1149-1202, August 2016
Details Download
Dagmar Gromann, Johannes Schnitzer
Where do business students turn for help? An empirical study on dictionary use in foreign-language learning
Journal of Lexicography, 29(1):55–99, 2016
Details
Jan Komenda, Tomáš Masopust
Distributed computation of supremal conditionally-controllable sublanguages
International Journal of Control, 89(2):424-436, 2016
Details
Markus Krötzsch, Sebastian Rudolph
Is Your Database System a Semantic Web Reasoner?
KI, 30(2):169-176, 2016
Details Download
José Manuel Rodríguez-Jiménez, Pablo Cordero, Manuel Enciso, Sebastian Rudolph
Concept lattices with negative information: A characterization theorem
Information Sciences, Volume 369:51–62, November 2016
Details Download
Friedrich Martin Schneider, Daniel Borchmann
Topological Entropy of Formal Languages
Semigroup Forum, 1-26, February 2016
Details Download
Matthias Thimm, Serena Villata, Federico Cerutti, Nir Oren, Hannes Straß, Mauro Vallati
Summary Report of The First International Competition on Computational Models of Argumentation
AI Magazine, 37(1):102, 2016
Details Download

Proceedings Articles

Mario Alviano, Wolfgang Faber, Hannes Straß
Boolean Functions with Ordered Domains in Answer Set Programming
In Dale Schuurmans and Michael Wellman, eds., Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI), 879--885, February 2016. AAAI Press
Details Download
Shima Asaadi, Sebastian Rudolph
On the Correspondence between Compositional Matrix-Space Models of Language and Weighted Automata
Proceedings of the ACL Workshop on Statistical Natural Language Processing and Weighted Automata (StatFSM 2016), August 2016
Details Download
Franz Baader, Oliver Fernandez Gil
Extending the Description Logic tEL(deg) with acyclic TBoxes
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), to appear
Details
Ringo Baumann, Hannes Straß
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms
Proceedings of the Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR), 525--528, May 2016. AAAI Press
Details Download
Brandon Bennett, Heshan Du, Lucía Gómez Álvarez, Anthony Cohn
Defining Relations: a general incremental approach with spatial temporal case studies
In R Ferrario, W Kuhn, eds., Frontiers in Artificial Intelligence and Applications. 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), volume 263 of 23-36, Annecy, France, 2016. IOS Press
Details
Daniel Borchmann, Tom Hanika
Some Experimental Results on Randomly Generating Formal Contexts
In Marianne Huchard, Sergei Kuznetsov, eds., Proceedings of the Thirteenth International Conference on Concept Lattices and Their Applications, volume 1624 of CEUR Workshop Proceedings, 57-69, July 2016
Details Download
Stefan Borgwardt, Bettina Fazzinga, Thomas Lukasiewicz, Akanksha Shrivastava, Oana Tifrea-Marciuska
Preferential Query Answering in the Semantic Web with Possibilistic Networks
In Subbarao Kambhampati, eds., Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), 994–1000, 2016. AAAI Press
Details Download
Stefan Borgwardt, Rafael Peñaloza
Reasoning in Expressive Gödel Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577 of CEUR Workshop Proceedings, 2016
Details Download
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Inconsistency management in reactive multi-context systems
In Loizos Michael, Antonis C. Kakas, eds., 15th European Conferenceon Logics in Artificial Intelligence (JELIA 2016), volume 10021 of Lecture Notes in Computer Science, 529-535, 2016. Springer
Details
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Towards Inconsistency Management in Reactive Multi-Context Systems
In Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan José Varzincza, eds., Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), The Hague, Holland, August 29, 2016, CEUR Workshop Proceedings, 2016. CEUR-WS.org
Details
Claudia Carapelle, Anni-Yasmin Turhan
Description Logics Reasoning w.r.t. General TBoxes is decidable for Concrete Domains with the EHD-property
Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), to appear
Details
David Carral, Cristina Feier, Pascal Hitzler
A Practical Acyclicity Notion for Query Answering Over Horn-SRIQ Ontologies
In Paul Groth, Elena Simperl, Alasdair Gray, Marta Sabou, Markus Krötzsch, Freddy Lecue, Fabian Flock, Yolanda Gil, eds., The Semantic Web - ISWC 2016 - 15th International Semantic Web Conference, Kobe, Japan. Proceedings, Part I, volume 9981 of LNCS, 70-85, October 2016. Springer
Details Download
İsmail İlkan Ceylan, Adnan Darwiche, Guy Van den Broeck
Open-World Probabilistic Databases (Extended Abstract)
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL 2016), volume 1577, 2016. CEUR Workshop Proceedings
Details Download
İsmail İlkan Ceylan, Adnan Darwiche, Guy Van den Broeck
Open-World Probabilistic Databases
In Chitta Baral and James P. Delgrande and Frank Wolter, eds., Proceedings of 15. International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), 339--348, 2016. AAAI Press
Details Download
İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza Nyssen
Complexity Results for Probabilistic Datalog+/-
In Maria S. Fox, Gal A. Kaminka, eds., Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), 1414–1422, 2016. IOS Press
Details Download
Long Cheng, Tao Li
Efficient Data Redistribution to Speedup Big Data Analytics in Large Systems
Proc. 23rd IEEE International Conference on High Performance Computing (HiPC'16), 91-100, December 2016. IEEE
Details Download
Long Cheng, Spyros Kotoulas
Efficient Large Outer Joins over MapReduce
Proc. 22nd International European Conference on Parallel Processing (Euro-Par'16), 334-346, August 2016. Springer
Details Download
Paula Chocron, Dagmar Gromann
Towards Building Ontologies with the Wisdom of the Crowd
In Michael Rovatsos, Ronald Chenu-Abente, eds., International Workshop on Diversity-Aware Artificial Intelligence (DIVERSITY 2016) at ECAI 2016, 1-11, 2016
Details
Stathis Delivorias, Sebastian Rudolph
Revisiting Grounded Circumscription in Description Logics
In Magdalena Ortiz, Stefan Schlobach, eds., Proceedings of the 10th International Conference on Web Reasoning and Rule Systems, volume 9898 of LNCS, 46-60, September 2016. Springer
Details Download
Stefan Ellmauthaler, Jörg Pührer
Stream Packing for Asynchronous Multi-Context Systems using ASP
In Thomas Eiter, Wolfgang Faber, Stefan Woltran, eds., Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016), 2016
Details
Stefan Ellmauthaler, Hannes Straß
DIAMOND 3.0 -- A Native C++ Implementation of DIAMOND
In Pietro Baroni, eds., Proceedings of the Sixth International Conference on Computational Models of Argument (COMMA), volume 287 of Frontiers in Artificial Intelligence and Applications, 471--472, September 2016. IOS Press
Details Download
Stefan Ellmauthaler, Hannes Strass
DIAMOND 3.0 - A Native C++ Implementation of DIAMOND
In Pietro Baroni, Thomas F. Gordon, Tatjana Scheffler, Manfred Stede, eds., 6th International Conference on Computational Models of Argument (COMMA 2016), volume 287 of Frontiers in Artificial Intelligence and Applications, 471-472, 2016. IOS Press
Details
Sarah Alice Gaggl, Umer Mushtaq
Intertranslatability of Labeling-based Argumentation Semantics
In Steven Schockaert, Pierre Senellart, eds., Proceedings of the 10th International Conference on Scalable Uncertainty Management (SUM 2016), volume 9858 of Lecture Notes in Computer Science, 155-169, September 2016. Springer
Details Download
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Introducing the Second International Competition on Computational Models of Argumentation
In Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati, eds., Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2016), volume 1672, 4-9, September 2016. CEUR-WS
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Gal A. Kaminka, Maria Fox, Paolo Bouquet, Eyke Hüllermeier, Virginia Dignum, Frank Dignum, Frank van Harmelen, eds., Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), volume 285 of Frontiers in Artificial Intelligence and Applications, 819 - 827, September 2016. IOS Press
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer
Fixed-Domain Reasoning for Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download
Dagmar Gromann, Maria M. Hedblom
Breaking Down Finance – A Method of Concept Simplification by Identifying Movement Structures from the Image Schema PATH-Following
In Oliver Kutz, Sergio de Cesare, eds., First International Workshop on Cognition and Ontologies (CAOS) at FOIS 2016, volume 1660, 2016. CEUR Workshop Proceedings
Details
Víctor Gutiérrez-Basulto, Jean Christoph Jung, Ana Ozaki
On Metric Temporal Description Logics
22nd European Conference on Artificial Intelligence, September 2016. IOS Press
Details Download
Luisa Herrmann, Heiko Vogler
Weighted Symbolic Automata with Data Storage
In Srečko Brlek, Christophe Reutenauer, eds., Developments in Language Theory, volume 9840 of Lecture Notes in Computer Science, 203-215, 2016. Springer
Details
Jana Kittelmann, Christoph Wernhard
Knowledge-Based Support for Scholarly Editing and Text Processing
DHd 2016 – Digital Humanities im deutschsprachigen Raum: Modellierung – Vernetzung – Visualisierung. Die Digital Humanities als fächerübergreifendes Forschungsparadigma. Konferenzabstracts., 176-179, 2016. nisaba verlag
Details
Jana Kittelmann, Christoph Wernhard
Towards Knowledge-Based Assistance for Scholarly Editing
In Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban, eds., 1st Conference on Artificial Intelligence and Theorem Proving, AITP 2016 (Book of Abstracts), 29-31, 2016
Details
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
Control of an Engineering-Structured Multilevel Discrete-Event System
Proceedings of the International Workshop on Discrete Event Systems (WODES), 103-108, June 2016
Details
Boris Konev, Ana Ozaki, Frank Wolter
A Model for Learning Description Logic Ontologies Based on Exact Learning
Thirtieth AAAI Conference on Artificial Intelligence, February 2016. AAAI Press
Details Download
Alexander Krause, Hannes Voigt, Wolfgang Lehner
HUGS - A Lightweight Graph Partitioning Approach
Proceedings of the 28th GI-Workshop Grundlagen von Datenbanken, May 2016
Details Download
Markus Krötzsch, Tomáš Masopust, Michaël Thomazo
On the Complexity of Universality for Partially Ordered NFAs
In Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, eds., Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), volume 58 of Leibniz International Proceedings in Informatics, 61:1--61:14, 2016. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download
Markus Krötzsch, Veronika Thost
Ontologies for Knowledge Graphs: Breaking the Rules
In Yolanda Gil, Elena Simperl, Paul Groth, Freddy Lecue, Markus Krötzsch, Alasdair Gray, Marta Sabou, Fabian Flöck, Hideaki Takeda, eds., Proceedings of the 15th International Semantic Web Conference (ISWC 2016), volume 9981 of LNCS, 376-392, 2016. Springer
Details Download
Thomas Linsbichler, Jörg Pührer, Hannes Straß
Characterizing Realizability in Abstract Argumentation
In Gabriele Kern-Isberner and Renata Wassermann, eds., Proceedings of the Sixteenth International Workshop on Non-Monotonic Reasoning (NMR), April 2016
Details Download
Thomas Linsbichler, Jörg Pührer, Hannes Straß
A Uniform Account of Realizability in Abstract Argumentation
In Maria Fox and Gal Kaminka and Frank van Harmelen, eds., Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI), volume 285 of Frontiers in Artificial Intelligence and Applications, 252--260, September 2016. IOS Press
Details Download
Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
Efficient Axiom Pinpointing in EL using SAT Technology
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download
Tomáš Masopust
Piecewise Testable Languages and Nondeterministic Automata
In Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier, eds., Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), volume 58 of Leibniz International Proceedings in Informatics, 67:1--67:14, 2016. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Details Download
Johannes Osterholzer, Toni Dietze, Luisa Herrmann
Linear Context-Free Tree Languages and Inverse Homomorphisms
In Adrian-Horia DediuJan Janoušek, Carlos Martín-Vide, Bianca Truthe, eds., Language and Automata Theory and Applications, volume 9618 of Lecture Notes in Computer Science, 478-489, 2016. Springer
Details
Alina Petrova, Sebastian Rudolph
Web-Mining Defeasible Knowledge from Concessional Statements
In Ollivier Haemmerlé, Gem Stapleton, Catherine Faron Zucker, eds., Proceedings of the 22nd International Conference on Conceptual Structures (ICCS 2016), volume 9717 of LNCS, 191-203, July 2016. Springer
Details Download
Sebastian Rudolph, Michaël Thomazo
Expressivity of Datalog Variants - Completing the Picture
In Subbarao Kambhampati, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'16), 1230-1236, July 2016. AAAI Press
Details Download
Sebastian Rudolph
The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download
Sebastian Rudolph
Undecidability Results for Database-Inspired Reasoning Problems in Very Expressive Description Logics
In Chitta Baral, James P. Delgrande, Frank Wolter, eds., Proc. 15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), 247-257, 2016. AAAI Press
Details Download
Jacopo Urbani, Ceriel Jacobs, Markus Krötzsch
VLog: A Column-Oriented Datalog System for Large Knowledge Graphs
In Takahiro Kawamura, Heiko Paulheim, eds., Proceedings of the 15th International Semantic Web Conf. (ISWC'16), Posters and Demos, volume 1690 of CEUR Workshop Proceedings, 2016. CEUR-WS.org
Details Download
Jacopo Urbani, Ceriel Jacobs, Markus Krötzsch
Column-Oriented Datalog Materialization for Large Knowledge Graphs
In Dale Schuurmans, Michael P. Wellman, eds., Proceedings of the 30th AAAI Conference on Artificial Intelligence, 258-264, 2016. AAAI Press
Details Download
Heiko Vogler, Manfred Droste, Luisa Herrmann
A Weighted MSO Logic with Storage Behaviour and Its Büchi-Elgot-Trakhtenbrot Theorem
In Adrian-Horia DediuJan Janoušek, Carlos Martín-Vide, Bianca Truthe, eds., Language and Automata Theory and Applications, volume 9618 of Lecture Notes in Computer Science, 127-139, 2016. Springer
Details
Christoph Wernhard
The PIE system for Proving, Interpolating and Eliminating
In Pascal Fontaine, Stephan Schulz, Josef Urban, eds., 5th Workshop on Practical Aspects of Automated Reasoning (PAAR), volume 1635 of CEUR Workshop Proceedings, 125-138, 2016
Details
Benjamin Zarrieß, Jens Claßen
Decidable Verification of Golog Programs over Non-Local Effect Actions
In Dale Schuurmans, Michael Wellman, eds., Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16), to appear. AAAI Press
Details Download

Edited Proceedings

Sarah Alice Gaggl, Matthias Thimm
Proceedings of the Second Summer School on Argumentation: Computational and Linguistic Perspectives (SSA'16)
Volume abs/1608.02441, September 2016. CoRR
Details Download
Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Straß
Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)
Volume abs/1611.02439, November 2016. CoRR
Details Download
Paul T. Groth, Elena Simperl, Alasdair J. G. Gray, Marta Sabou, Markus Krötzsch, Freddy Lécué, Fabian Flöck, Yolanda Gil
Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part I
Volume 9981 of LNCS, 2016. Springer
Details
Paul T. Groth, Elena Simperl, Alasdair J. G. Gray, Marta Sabou, Markus Krötzsch, Freddy Lécué, Fabian Flöck, Yolanda Gil
Proceedings of the 15th International Semantic Web Conference (ISWC 2016), Part II
Volume 9982 of LNCS, 2016. Springer
Details

Technical Reports

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments
Technical Report, arXiv.org, 2016. CoRR
Details
Martin Diller, Anthony Hunter
Encoding monotonic multi-set preferences using CI-nets: preliminary report
Technical Report, arXiv.org, 2016
Details

Talks and Miscellaneous

Markus Krötzsch
Wikidata as a Cultural Heritage Information Hub
Invited talk at the Europeana Network Association AGM 2016, November 2016
Details Download
Maximilian Marx
Universality Results for Spiking Neural P Systems with Cooperating Rules
Diploma thesis, Technische Universität Dresden, March 2016
Details Download