Veröffentlichungen in 2018

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

Veröffentlichungen in 2018


Artikel in Fachzeitschriften

Karell Bertet, Sebastian Rudolph
Preface: Concept Lattices and Applications: Recent Advances and New Opportunities
Discrete Applied Mathematics, 249:1, 2018
Details
Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck
Advanced Solving Technology for Dynamic and Reactive Applications
KI - Künstliche Intelligenz, 32(2):199-200, August 2018
Details
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
Artificial Intelligence, 256:68-104, 2018
Details
Long Cheng, Spyros Kotoulas
Efficient Skew Handling for Outer Joins in a Cloud Computing Environment
IEEE Transactions on Cloud Computing, 6(2):558 - 571, 2018
Details Download
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Carroline Kencana Ramli, Luis Palacios Medinacelli
A Core Method for the Weak Completion Semantics with Skeptical Abduction
Journal of Artificial Intelligence Research Special Track on Deep Learning, Knowledge Representation, and Reasoning, 63:51-86, 2018
Details
Martin Diller, Adrian Haret, Thomas Linsbichler, Stefan Rümmele, Stefan Woltran
An Extension-Based Approach to Belief Revision in Abstract Argumentation
International Journal of Approximate Reasoning, 93:395-423, 2018
Details
Zoltán Fülöp, Luisa Herrmann, Heiko Vogler
Weighted Regular Tree Grammars with Storage
Discrete Mathematics & Theoretical Computer Science, 20(1), 2018
Details
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Summary Report of the Second International Competition on Computational Models of Argumentation
AI Magazine, 39(4):77-79, December 2018
Details Download
Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies
Journal of Machine Learning Research, 18:1-63, 2018
Details Download
Tomáš Masopust
Complexity of Verifying Nonblockingness in Modular Supervisory Control
IEEE Transactions on Automatic Control, 63(2):602-607, 2018
Details Download
Tomáš Masopust
Complexity of Infimal Observable Superlanguages
IEEE Transactions on Automatic Control, 63(1):249-254, 2018
Details Download
Stephan Mennicke, Jan-Christoph Kalo, Wolf-Tilo Balke
Using Queries as Schema-Templates for Graph Databases
Datenbank-Spektrum, 18(2):89-98, May 2018
Details
Hannes Straß
Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond
Journal of Logic and Computation, 28:605--627, 2018
Details Download

Artikel in Tagungsbänden

Christian Al-Rabaa, Lukas Schweizer, Sebastian Rudolph
Faceted Answer-Set Navigation
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 211--225, September 2018. Springer
Details Download
Adrian Bielefeldt, Julius Gonsior, Markus Krötzsch
Practical Linked Data Access via SPARQL: The Case of Wikidata
In Tim Berners-Lee, Sarven Capadisli, Stefan Dietze, Aidan Hogan, Krzysztof Janowicz, Jens Lehmann, eds., Proceedings of the WWW2018 Workshop on Linked Data on the Web (LDOW-18), volume 2073 of CEUR Workshop Proceedings, 2018. CEUR-WS.org
Details Download
Gerhard Brewka, Hannes Straß, Johannes P. Wallner, Stefan Woltran
Weighted Abstract Dialectical Frameworks
In Sheila McIlraith and Kilian Weinberger, eds., Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI), 1779--1786, February 2018. AAAI Press
Details
David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ
In Michael Thielscher, Francesca Toni, Frank Wolter, eds., Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), 339-348, October 2018. AAAI Press
Details Download
David Carral, Markus Krötzsch, Maximilian Marx, Ana Ozaki, Sebastian Rudolph
Preserving Constraints with the Stable Chase
In Benny Kimelfeld and Yael Amsterdamer, eds., Proceedings of the 21st International Conference on Database Theory (ICDT 2018), volume 98 of Leibniz International Proceedings in Informatics (LIPIcs), 12:1--12:19, March 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Details Download
David Carral, Pascal Hitzler, Hilmar Lapp, Sebastian Rudolph
On the Ontological Modeling of Trees
In Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra, eds., Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 6th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 21, 2017., volume 2043, February 2018. CEUR Workshop Proceedings
Details Download
David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules: Extended Abstract
Proceedings of the 31st International Workshop on Description Logics (DL 2018), October 2018
Details Download
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Richard Mörbitz
The Syllogistic Reasoning Task: Reasoning Principles and Heuristic Strategies in Modeling Human Clusters
In Dietmar Seipel and Michael Hanus and Salvador Abreu, eds., Declarative Programming and Knowledge Management, volume 10997 of LNAI, 149-165, 2018. Springer Nature Switzerland AG
Details
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Sibylle Schwarz, L.Yohanes Stefanus
The Weak Completion Semantics and Equality
In Gilles Barthe and Geoff Sutcliffe and Margus Veanes, eds., 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 57 of EPiC Series in Computing, 326-342, 2018. EasyChair
Details
Martin Diller, Wolfgang Dvořák, Jörg Pührer, Johannes Peter Wallner, Stefan Woltran
Applications of ASP in Formal Argumentation
Proceedings of the Second Workshop on Theory and Applications of Answer Set Programming, 2018
Details
Martin Diller, Atefeh Keshavarzi Zafarghandi, Thomas Linsbichler, Stefan Woltran
Investigating Subclasses of Abstract Dialectical Frameworks
Proceedings of 7th International Conference on Computational Models of Argument, 12-14, 2018
Details
Larry González, Aidan Hogan
A Data-Driven Graph Schema
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, Cali, Colombia, May 21-25, 2018, May 2018
Details Download
Larry González, Aidan Hogan
Modelling Dynamics in Semantic Web Knowledge Graphs with Formal Concept Analysis
Proceedings of the 2018 World Wide Web Conference on World Wide Web, WWW 2018, Lyon, France, April 23-27, 2018. ACM 2018, April 2018
Details Download
Lucía Gómez Álvarez
Ambiguity: What is it that needs representing and what needs resolving?
ARR workshop of ESSLLI 2018, Sofia, Bulgaria, 2018
Details
Lucía Gómez Álvarez, Brandon Bennett
Dealing with Conceptual Indeterminacy: A Framework based on Supervaluation Semantics
In Loris Bozzato, Martin Homola, Till Mossakowski, Antoine Zimmermann, Kristijonas Čyras, Tiago Oliveira, Matthew Williams, eds., Joint Proceedings of MedRACER and WOMoCoE 2018. 3rd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2018), 38-50, Arizona, USA, 2018. CEUR-WS
Details
Lucía Gómez Álvarez, Brandon Bennett, Adam Richard-Bollans
Talking about Forests: an Example of Sharing Information Expressed with Vague Terms
In S Borgo, O Kutz, F Loebe, F Neuhaus, eds., Proceedings of the Joint Ontology Workshops 2017, volume 2050, Bozen-Bolzano, Italy, 2018. CEUR-WS
Details
Grzegorz Głuch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja
Can One Escape Red Chains? Regular Path Queries Determinacy is Undecidable
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 492–501, 2018. Association for Computing Machinery
Details
Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Reasoning on Knowledge Graphs
In Jérôme Lang, eds., Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI'18), 5309--5313, July 2018. International Joint Conferences on Artificial Intelligence
Details Download
Tim Lyon, Agata Ciabattoni, Revantha Ramanayake
From Display to Labelled Proofs for Tense Logics
In Artemov, Sergei and Nerode, Anil, eds., From Display to Labelled Proofs for Tense Logics, volume 10703, 120-139, 2018. Springer International Publishing
Details Download
Stanislav Malyshev, Markus Krötzsch, Larry González, Julius Gonsior, Adrian Bielefeldt
Getting the Most out of Wikidata: Semantic Technology Usage in Wikipedia’s Knowledge Graph
In Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl, eds., Proceedings of the 17th International Semantic Web Conference (ISWC'18), volume 11137 of LNCS, 376-394, 2018. Springer
Details Download
Tomáš Masopust, Markus Krötzsch
Deciding Universality of ptNFAs is PSpace-Complete
In A Min Tjoa, Ladjel Bellatreche, Stefan Biffl, Jan van Leeuwen, Jiri Wiedermann, eds., Proceedings of the 44th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2018), volume 10706 of LNCS, 413-427, 2018. Springer
Details Download
Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Happy Ever After: Temporally Attributed Description Logics
In Magdalena Ortiz, Thomas Schneider, eds., Proceedings of the 31st International Workshop on Description Logics (DL 2018), volume 2211 of CEUR Workshop Proceedings, 2018. CEUR-WS.org
Details Download
Adam Richard-Bollans, Lucía Gómez Álvarez, Anthony Cohn
The role of pragmatics in solving the Winograd Schema Challenge
In AS Gordon, R Miller, G Turan, eds., Proceedings of the Thirteenth International Symposium on Commonsense Reasoning (Commonsense 2017), London, 2018. CEUR Workshop Proceedings
Details
Sebastian Rudolph, Mantas Simkus
The Triguarded Fragment of First-Order Logic
In Gilles Barthe, Geoff Sutcliffe, Margus Veanes, eds., Proceedings of the 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 57 of EPiC Series in Computing, 604-619, 2018. EasyChair
Details Download
Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Justifications for the Description Logics Knowledge Bases under the Fixed-Domain Semantics
In Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds., Rules and Reasoning - Second International Joint Conference, RuleML+RR2018, Luxembourg, September 18-21, 2018, Proceedings, volume 11092 of Lecture Notes in Computer Science, 185--200, September 2018. Springer
Details Download
Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog: Extended Abstract
In Magdalena Ortiz, Thomas Schneider, eds., Proceedings of the 31st International Workshop on Description Logics (DL 2018), volume 2211 of CEUR Workshop Proceedings, October 2018. CEUR-WS.org
Details Download
Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
Efficient Model Construction for Horn Logic with VLog
In Didier Galmiche, Stephan Schulz, Roberto Sebastiani, eds., Proceedings of the 8th International Joint Conference on Automated Reasoning (IJCAR 2018), volume 10900 of LNCS, 680--688, 2018. Springer
Details Download

Buchkapitel

Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks
In Pietro Baroni, Dov Gabbay, Massimiliano Giacomin, Geentert von der Torre, eds., Handbook of Formal Argumentation, chapter Part B: Argumentation Formalisms, 237-285. College Publications, February 2018
Details
Federico Cerutti, Sarah Alice Gaggl, Matthias Thimm, Johannes Peter Wallner
Foundations of Implementations for Formal Argumentation
In Pietro Baroni; Dov Gabbay; Massimiliano Giacomin; Leendert van der Torre, eds., Handbook on Formal Argumentation, chapter Foundations of implementations for formal argumentation, 688-767. College Publications, February 2018
Details Download

Herausgegebene Tagungsbände

Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton
Graph Structures for Knowledge Representation and Reasoning - 5th International Workshop, GKR 2017
Volume 10775 of LNCS, 2018. Springer
Details
Aldo Gangemi, Anna Lisa Gentile, Andrea Giovanni Nuzzolese, Sebastian Rudolph, Maria Maleshkova, Heiko Paulheim, Jeff Z. Pan, Mehwish Alam
The Semantic Web: ESWC 2018 Satellite Events - ESWC 2018 Satellite Events
Volume 11155 of LNCS, 2018. Springer
Details
Sergei O. Kuznetsov, Amedeo Napoli, Sebastian Rudolph
Proceedings of the 6th International Workshop "What can FCA do for Artificial Intelligence?"
Volume 2149 of CEUR Workshop Proceedings, 2018. CEUR-WS.org
Details

Dissertationen

Stefan Ellmauthaler
Multi-Context Reasoning in Continuous Data-Flow Environments
Phd thesis, Universität Leipzig, 2018/06/07
Details Download

Technische Berichte

Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke
Fast Dual Simulation Processing of Graph Database Queries (Supplement)
Technical Report, arXiv.org, volume CoRR abs/1810.09355, October 2018
Details
Christoph Wernhard
Craig Interpolation and Access Interpolation with Clausal First-Order Tableaux
Technical Report, TU Dresden, volume 18-01, 2018. Knowledge Representation and Reasoning
Details

Vorträge und Sonstiges

David Carral
Reasoning with Horn DL Ontologies and Knowledge Graphs
Invited Talk at VU University Amsterdam, October 2018
Details
David Carral
Reasoning over Existential Rules with Acyclicity Notions and the Datalog-first Restricted Chase
Invited Talk at the University of Oxford, PSL University, the University of Bordeaux, the University of Montpellier, and the QuantLA seminar at TU Dresden, December 2018
Details Download
David Carral
Reasoning with Description Logics Ontologies and Knowledge Graphs
Invited Talk at Télécom ParisTech, December 2018
Details
Markus Krötzsch
Getting the most out of Wikidata
Invited presentation at Wiki Workshop 2018, 2018
Details Download
Markus Krötzsch
Ontological Modelling in Wikidata
Invited keynote at the 9th Workshop on Ontology Design and Patterns (WOP'18), 2018
Details Download
Markus Krötzsch
Recent Advances in Reasoning with Existential Rules
Presentation at the 2018 Workshop of the European Master in Computational Logic (EMCL), 2018
Details Download