Veröffentlichungen in 2019

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

Veröffentlichungen in 2019


Artikel in Fachzeitschriften

Emmanuelle-Anna Dietz Saldanha, Antonis Kakas
Cognitive Argumentation for Human Syllogistic Reasoning
KI, 33(3):229-242, 2019
Details
Stefan Ellmauthaler
Multi-Context Reasoning in Continuous Data-Flow Environments
KI - Künstliche Intelligenz, 33(1):101-104, March 2019
Details
Stefan Ellmauthaler, Claudia Schultz
Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
Theory and Practice of Logic Programming, 19(2):109-104, 2019
Details
Luisa Herrmann, Heiko Vogler, Manfred Droste
Weighted automata with storage
Information and Computation, 269, 2019
Details
Johannes Osterholzer, Toni Dietze, Luisa Herrmann
Linear context-free tree languages and inverse homomorphisms
Information and Computation, 269, 2019
Details
Hannes Strass, Adam Zachary Wyner, Martin Diller
EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface
International Journal of Approximate Reasoning, 112:55-84, 2019
Details Download
Hannes Straß, Adam Z. Wyner, Martin Diller
EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface
International Journal of Approximate Reasoning, 112:55--84, 2019
Details Download

Artikel in Tagungsbänden

Shima Asaadi, Saif M. Mohammad, Svetlana Kiritchenko
Big BiRD: A Large, Fine-Grained, Bigram Relatedness Dataset for Examining Semantic Composition
Proceedings of the Annual Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL), June 2019
Details Download
Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
Franz Baader, Filippo De Bortoli
On the Expressive Power of Description Logics with Cardinality Constraints on Finite and Infinite Sets
In Andreas Herzig, Andrei Popescu, eds., Proc. of the 12th International Symposium on Frontiers of Combining Systems (FroCoS 2019), volume 11715 of Lecture Notes in Computer Science, 203-219, 2019. Springer
Details
Bartosz Bednarczyk, Stéphane Demri
Why propositional quantification makes modal logics on trees robustly hard ?
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2019), 1--13, June 2019. IEEE
Details Download
Bartosz Bednarczyk, Emanuel Kieroński, Piotr Witkowski
On the Complexity of Graded Modal Logics with Converse.
In Francesco Calimeri, Nicola Leone, Marco Manna, eds., Proceedings of Logics in Artificial Intelligence - 16th European Conference (JELIA 2019), volume 11468 of LNCS, 642--658, May 2019. Lecture Notes in Computer Science
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
Bartosz Bednarczyk, Sebastian Rudolph
Worst-Case Optimal Querying of Very Expressive Description Logics with Path Expressions and Succinct Counting
In Sarit Kraus, eds., Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (IJCAI 2019), ijcai.org, 1530--1536, August 2019. International Joint Conferences on Artificial Intelligence
Details Download
David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32st International Workshop on Description Logics (DL 2019), volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
David Carral, Irina Dragoste, Markus Krötzsch
Chasing Sets: How to Use Existential Rules for Expressive Reasoning (Extended Abstract)
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, June 2019. CEUR-WS.org
Details Download
David Carral, Larry González, Patrick Koopmann
From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment
Proceedings of the 33rd Conference on Artificial Intelligence (AAAI 2019), January 2019
Details Download
David Carral, Irina Dragoste, Larry González, Ceriel Jacobs, Markus Krötzsch, Jacopo Urbani
VLog: A Rule Engine for Knowledge Graphs
In Chiara Ghidini, Olaf Hartig, Maria Maleshkova, Vojtěch Svátek, Isabel F. Cruz, Aidan Hogan, Jie Song, Maxime Lefrançois, Fabien Gandon, eds., Proceedings of the 18th International Semantic Web Conference (ISWC'19) Part II, volume 11779 of LNCS, 2019. Springer
Details Download
David Carral, Irina Dragoste, Markus Krötzsch, Christian Lewe
Chasing Sets: How to Use Existential Rules for Expressive Reasoning
Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI'19), August 2019. International Joint Conferences on Artificial Intelligence
Details Download
David Carral, Irina Dragoste, Markus Krötzsch
The Combined Approach to Query Answering in Horn-ALCHOIQ (Extended Abstract)
In Mantas Simkus, Grant E. Weddell, eds., Proceedings of the 32nd International Workshop on Description Logics, volume 2373 of CEUR Workshop Proceedings, 2019. CEUR-WS.org
Details Download
Emmanuelle-Anna Dietz Saldanha, Robert Schambach
Human Syllogistic Reasoning: Towards Predicting Individuals' Reasoning Behavior based on Cognitive Principles
In Christoph Beierle and Marco Ragni and Stolzenburg and Matthias Thimm, eds., Proceedings of the 8th Workshop on Dynamics of Knowledge and Belief and the 7th Workshop & Kognition, volume 2445 of CEUR Workshop Proceedings, 2-13, 2019. CEUR-WS.org
Details
Martin Diller, Adam Z. Wyner, Hannes Straß
Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization
In Simon Dobnik and Stergios Chatzikyriakidis and Vera Demberg, eds., Proceedings of the Thirteenth International Conference on Computational Semantics (IWCS), Short Papers, 32--37, May 2019. The Association for Computational Linguistics
Details Download
Martin Diller, Adam Zachary Wyner, Hannes Strass
Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization
Proceedings of the 13th International Conference on Computational Semantics, 32-37, 2019. Association for Computational Linguistics
Details Download
Bernhard Ganter, Sebastian Rudolph, Gerd Stumme
Explaining Data with Formal Concept Analysis
In Markus Krötzsch, Daria Stepanova, eds., Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures., volume 11810 of LNCS, 153-195, 2019. Springer
Details Download
Tom Hanika, Maximilian Marx, Gerd Stumme
Discovering Implicational Knowledge in Wikidata
In Diana Cristea, Florence Le Ber, Baris Sertkaya, eds., Proceedings of the 15th International Conference on Formal Concept Analysis (ICFCA'19), volume 11511 of LNCS, 315--323, June 2019. Springer
Details Download
Markus Krötzsch
Too Much Information: Can AI Cope With Modern Knowledge Graphs?
In Diana Cristea, Florence Le Ber, Baris Sertkaya, eds., Proceedings of the 15th International Conference on Formal Concept Analysis (ICFCA 2019), volume 11511 of LNCS, 17--31, 2019. Springer
Details Download
Markus Krötzsch, Maximilian Marx, Sebastian Rudolph
The Power of the Terminating Chase
In Pablo Barceló, Marco Calautti, eds., Proceedings of the 22nd International Conference on Database Theory (ICDT 2019), volume 127 of LIPIcs, 3:1--3:17, 2019. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download
Tim Lyon, Kees van Berkel
Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics
In Baldoni, Matteo and Dastani, Mehdi and Liao, Beishui and Sakurai, Yuko and Zalila Wenkstern, Rym, eds., PRIMA 2019: Principles and Practice of Multi-Agent Systems, volume 11873, 202-218, 2019. Springer
Details Download
Stephan Mennicke, Jan-Christoph Kalo, Denis Nagel, Hermann Kroll, Wolf-Tilo Balke
Fast Dual Simulation Processing of Graph Database Queries
35th IEEE International Conference on Data Engineering, ICDE 2019, Macao, China, April 8-11, 2019, ICDE, 244-255, April 2019. IEEE
Details
Stephan Mennicke
Modal Schema Graphs for Graph Databases
Conceptual Modeling - 38th International Conference, ER 2019, Salvador, Brazil, November 4-7, 2019, Proceedings, LNCS, 498-512, November 2019. Springer
Details
Julia Mertesdorf, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
A Computational Theory for Model Construction, Variation and Inspection in Human Spatial Reasoning
17th International Conference on Cognitive Modelling Meetings (ICCM), 2019
Details
Adam Richard-Bollans, Lucía Gómez Álvarez, Brandon Bennett, Anthony Cohn
Investigating the Dimensions of Spatial Language
In K Stock, CB Jones, T Tenbrink, eds., Proceedings of Speaking of Location 2019: Conference on Spatial Information Theory (COSIT 2019), 47-56, September 2019. Regensburg, Germany.
Details
Sebastian Rudolph, Lukas Schweizer, Zhihao Yao
SPARQL Queries over Ontologies Under the Fixed-Domain Semantics
In Abhaya C. Nayak, Alok Sharma, eds., PRICAI 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part I, volume 11670 of Lecture Notes in Computer Science, 486--499, August 2019. Springer
Details Download
Kees van Berkel, Tim Lyon
A Neutral Temporal Deontic STIT Logic
In Blackburn, Patrick and Lorini, Emiliano and Guo, Meiyun, eds., Logic, Rationality, and Interaction, volume 11813, 340-354, 2019. Springer
Details Download
Kees van Berkel, Tim Lyon
Cut-Free Calculi and Relational Semantics for Temporal STIT Logics
In Calimeri, Francesco and Leone, Nicola and Manna, Marco, eds., Logics in Artificial Intelligence, volume 11468, 803-819, 2019. Springer
Details Download

Buchkapitel

Ana Ozaki, Markus Krötzsch, Sebastian Rudolph
Temporally Attributed Description Logics
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of LNCS, 441-474. Springer, 2019
Details Download
Sebastian Rudolph
Presburger Concept Cardinality Constraints in Very Expressive Description Logics – Allegro sexagenarioso ma non ritardando
In Carsten Lutz, Uli Sattler, Cesare Tinelli, Anni-Yasmin Turhan, Frank Wolter, eds., Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, volume 11560 of LNCS, 542-561. Springer, 2019
Details Download

Herausgegebene Tagungsbände

Markus Krötzsch, Daria Stepanova
Explainable Artificial Intelligence. Proceedings of the 15th Reasoning Web Summer School
Volume 11810 of LNCS, 2019. Springer
Details

Technische Berichte

Franz Baader, Bartosz Bednarczyk, Sebastian Rudolph
Satisfiability Checking and Conjunctive Query Answering in Description Logics with Global and Local Cardinality Constraints
Technical Report, Computational Logic Group, 2019
Details Download
Gerhard Brewka, Martin Diller, Georg Heissenberger, Thomas Linsbichler, Stefan Woltran
Solving Advanced Argumentation Problems with Answer Set Programming
Technical Report, arXiv.org, December 2019
Details
Filippo De Bortoli, Franz Baader
On the Complexity and Expressiveness of Description Logics with Counting
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume LTCS-Report 19-09, December 2019
Details
Sarah Alice Gaggl, Thomas Linsbichler, Marco Maratea, Stefan Woltran
Design and Results of the Second International Competition on Computational Models of Argumentation
Technical Report, arXiv.org, volume CoRR abs/1909.00621, September 2019
Details Download
Tom Hanika, Maximilian Marx, Gerd Stumme
Discovering Implicational Knowledge in Wikidata
Technical Report, arXiv.org, volume CoRR abs/1902.00916, February 2019
Details Download

Vorträge und Sonstiges

Tom Hanika, Maximilian Marx, Gerd Stumme
The Exploration Game
Poster at Wikimania 2019, August 2019
Details Download
Tom Hanika, Maximilian Marx, Gerd Stumme
Interactively Discovering Implicational Knowledge in Wikidata
Presentation at 36th Chaos Communication Congress 2019, December 2019
Details Download
Tom Hanika, Maximilian Marx, Gerd Stumme
Discovering Implicational Knowledge in Wikidata
Presentation at Wikimania 2019, August 2019
Details Download
Markus Krötzsch
Working with Knowledge Graphs
Course at EDBT Summer School 2019, Lyon, France, 2019
Details Download
Maximilian Marx
SQID 2.0 — A Data Browser for Wikidata
Poster at Wikimania 2019, August 2019
Details Download
Sebastian Rudolph
Künstliche Intelligenz, quo vadis?
Jahrbuch des Verbandes der Anbieter von Telekommunikations- und Mehrwertdiensten (VATM), April 2019
Details Download