Veröffentlichungen in 2017

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

Veröffentlichungen in 2017


Artikel in Fachzeitschriften

Franz Baader, Stefan Borgwardt, Rafael Peñaloza
Decidability and Complexity of Fuzzy Description Logics
Künstliche Intelligenz, 31(1):85–90, 2017
Details Download

Stefan Borgwardt, Rafael Peñaloza
Algorithms for Reasoning in Very Expressive Description Logics under Infinitely Valued Gödel Semantics
International Journal of Approximate Reasoning, 83:60–101, 2017
Details Download

İsmail İlkan Ceylan, Rafael Peñaloza Nyssen
The Bayesian Ontology Language BEL
Journal of Automated Reasoning, 58(1):67--95, 2017
Details Download

Long Cheng, Ilias Tachmazidis, Spyros Kotoulas, Grigoris Antoniou
Design and Evaluation of Small-Large Outer Joins in Cloud Computing Environments
Journal of Parallel and Distributed Computing, 110:2-15, 2017
Details

Montserrat Hermo, Ana Ozaki
Exact Learning of Multivalued Dependency Formulas
Theoretical Computer Science, December 2017
Details

Schnitzer Johannes, Gromann Dagmar
Estrategias de combinación de recursos lexicográficos en la adquisición de lenguas extranjeras (en contextos específicos)
Revista Nebrija, 11(23):124 - 145, November 2017
Details

Jan Komenda, Tomáš Masopust
Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control via Communication
Discrete Event Dynamic Systems, 27(4):585-608, December 2017
Details Download

Markus Krötzsch, Tomáš Masopust, Michaël Thomazo
Complexity of Universality and Related Problems for Partially Ordered NFAs
Information and Computation, 255(1):177-192, August 2017
Details Download

Ignacio Lamata Martínez, Martin S Williams, Shirley Dyke, Markus Krötzsch, Pierre Pegon
Next directions in experimental data for seismic hazard mitigation
Engineering Structures, 136:535-546, 2017
Details

Tomáš Masopust, Michaël Thomazo
On boolean combinations forming piecewise testable languages
Theoretical Computer Science, 682:165-179, June 2017
Details Download

Sebastian Rudolph
Succinctness and tractability of closure operator representations
Theoretical Computer Science, 658, Part B:327 - 345, January 2017
Details Download

Veronika Thost
Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information (Extended Abstract)
KI, 31(4):377--380, 2017
Details Download


Artikel in Tagungsbänden

Franz Baader, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki, Veronika Thost
Metric Temporal Description Logics with Interval-Rigid Names
In Clare Dixon, Marcelo Finger, eds., Proceedings of the 11th International Symposium on Frontiers of Combining Systems (FroCoS'17), volume 10483 of Lecture Notes in Computer Science, 60--76, September 2017. Springer
Details Download

Franz Baader, Stefan Borgwardt, Marcel Lippmann
Query Rewriting for DL-Lite with n-ary Concrete Domains
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), to appear
Details Download

Stefan Borgwardt, İsmail İlkan Ceylan, Thomas Lukasiewicz
Ontology-Mediated Queries for Probabilistic Databases
In Satinder Singh, Shaul Markovitch, eds., Proceedings of the 31st AAAI Conference on Artificial Intelligence (AAAI 2017), 1063–1069, 2017. AAAI Press
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Answering Conjunctive Queries for Expressive DLs with the Restricted Chase: Extended Abstract
Proceedings of the 30st International Workshop on Description Logics (DL 2017), July 2017
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Restricted chase (non)termination for existential rules with disjunctions
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 922-928, 2017. International Joint Conferences on Artificial Intelligence
Details Download

David Carral, Irina Dragoste, Markus Krötzsch
Tractable Query Answering for Expressive Ontologies and Existential Rules
In Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin, eds., Proceedings of the 16th International Semantic Web Conference (ISWC'17), volume 10587 of LNCS, 2017. Springer
Details Download

İsmail İlkan Ceylan, Adnan Darwiche, Guy Van Den Broeck
Open-World Probabilistic Databases: An Abridged Report
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download

İsmail İlkan Ceylan, Stefan Borgwardt, Thomas Lukasiewicz
Most Probable Explanations for Probabilistic Database Queries
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download

İsmail İlkan Ceylan, Thomas Lukasiewicz, Rafael Peñaloza, Oana Tifrea-Marciuska
Query Answering in Ontologies under Preference Rankings
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), to appear
Details Download

Paula Chocron, Dagmar Gromann
Towards Building Ontologies from Crowdsourced Data
In Joanna Bryson, Marina De Vos, Julian Padget, eds., Proceedings of AISB Annual Convention 2017, 236-246, 2017. AISB
Details

Ana Costa, Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Marco Ragni
A computational logic approach to human syllogistic reasoning
Proceedings of the 39th Annual Conference of the Cognitive Science Society, 883-888, 2017
Details

Thierry Declerck, Dagmar Gromann
Porting the xEBR taxonomies to a LOD compliant format
In Mariano Rico, Maria Mora, eds., Proceedings of the XBRL Academic Track co-located with Eurofiling XBRL week in Frankfurt and 19th XBRL Europe day (XBRL 2017), volume 1890, 2017. CEUR Workshop Proceedings
Details

Emmanuelle-Anna Dietz
A computational logic approach to the belief bias in human syllogistic reasoning
In Patrick Brézillon, Roy M. Turner, Carlo Penco, eds., 10th International and Interdisciplinary Conference on Modeling and Using Context, volume 10257 of Lecture Notes in Computer Science, 691--707, 2017. Springer
Details

Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Luís Moniz Pereira
Contextual reasoning: Usually birds can abductively fly
In Marcello Balduccini, Tomi Janhunen, eds., 14th International Conference on Logic Programming and Nonmonotonic Reasoning, volume 10377 of Lecture Notes in Computer Science, 64--77, 2017. Springer
Details

Dagmar Gromann, Maria M. Hedblom
Kinesthetic Mind Reader: A Method to Identify Image Schemas in Natural Language
In Pat Langley, eds., Advances in Cognitive Systems, volume 5, 2017. Cognitive Systems Foundation
Details

Dagmar Gromann, Thierry Declerck
Hashtag Processing for Enhanced Clustering of Tweets
In Galia Angelova, Kalina Bontcheva, Ruslan Mitkov, Ivelina Nikolova, Irina Temnikova, eds., Proceedings of the International Conference on Recent Advances in Natural Language Processing (RANLP), 277-283, 2017. RANLP
Details

Dagmar Gromann, Maria M. Hedblom
Body-Mind-Language: Multilingual Knowledge Extraction Based on Embodied Cognition
Proceedings of the 5th International Workshop on Artificial Intelligence and Cognition (AIC), 2017
Details

Ullrich Hustadt, Ana Ozaki, Clare Dixon
Theorem Proving for Metric Temporal Logic over the Naturals
Conference on Automated Deduction, to appear. Springer
Details Download

Alexander Krause, Thomas Kissinger, Dirk Habich, Hannes Voigt, Wolfgang Lehner
Partitioning Strategy Selection for In-Memory Graph Pattern Matching on Multiprocessor Systems
23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, to appear
Details Download

Alexander Krause, Thomas Kissinger, Dirk Habich, Wolfgang Lehner
Asynchronous Graph Pattern Matching on Multiprocessor Systems
21st European Conference on Advances in Databases and Information Systems, Nicosia, Cyprus, to appear
Details

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Reasoning with Attributed Description Logics
In Alessandro Artale, Birte Glimm, Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics (DL 2017), volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download

Markus Krötzsch, Maximilian Marx, Ana Ozaki, Veronika Thost
Attributed Description Logics: Ontologies for Knowledge Graphs
In Claudia d'Amato, Miriam Fernández, Valentina A. M. Tamma, Freddy Lécué, Philippe Cudré-Mauroux, Juan F. Sequeda, Christoph Lange, Jeff Heflin, eds., Proceedings of the 16th International Semantic Web Conference (ISWC'17), volume 10587 of LNCS, 418--435, October 2017. Springer
Details Download

Markus Krötzsch
Ontologies for Knowledge Graphs?
In Alessandro Artale, Birte Glimm, Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics (DL 2017), volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download

Jamie Macbeth, Dagmar Gromann, Maria M. Hedblom
Image Schemas and Conceptual Dependency Primitives: A Comparison
In Oliver Kutz, eds., Proceedings of the Joint Ontology Workshop (JOWO), 2017. CEUR Workshop Proceedings
Details

Maximilian Marx, Markus Krötzsch
SQID: Towards Ontological Reasoning for Wikidata
In Nadeschda Nikitina, Dezhao Song, eds., Proceedings of the ISWC 2017 Posters & Demonstrations Track, CEUR Workshop Proceedings, October 2017. CEUR-WS.org
Details Download

Maximilian Marx, Markus Krötzsch, Veronika Thost
Logic on MARS: Ontologies for generalised property graphs
In Carles Sierra, eds., Proceedings of the 26th International Joint Conference on Artificial Intelligence (IJCAI'17), 1188-1194, 2017. International Joint Conferences on Artificial Intelligence
Details Download

Sebastian Rudolph, Lukas Schweizer
Not too Big, Not too Small…Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
In Oliveira Eugénio, Gama João, Vale Zita, Lopes Cardoso Henrique, eds., Progress in Artificial Intelligence: Proceedings of the 18th EPIA Conference on Artificial Intelligence, EPIA 2017, Porto, Portugal,, volume 10423 of Lecture Notes in Computer Science, 695-708, September 2017. Springer
Details

Sebastian Rudolph, Lukas Schweizer
Not too Big, Not too Small ... Complexities of Fixed-Domain Reasoning in First-Order and Description Logics
In Alessandro Artale, Birte Glimm and Roman Kontchakov, eds., Proceedings of the 30th International Workshop on Description Logics, volume 1879 of CEUR Workshop Proceedings, July 2017. CEUR-WS.org
Details Download

Sebastian Rudolph, Lukas Schweizer, Satyadharma Tirtarasa
Wolpertinger: A Fixed-Domain Reasoner
In Nadeschda Nikitina, Dezhao Song, eds., ISWC 2017 Posters & Demonstration Track, October 2017
Details Download

Md. Kamruzzaman Sarker, Adila Krisnadhi, David Carral, Pascal Hitzler
Rule-Based OWL Modeling with ROWLTab Protégé Plugin
In Eva Blomqvist, Diana Maynard, Aldo Gangemi, Rinke Hoekstra, Pascal Hitzler, Olaf Hartig, eds., The Semantic Web, 14th International Conference, ESWC 2017, Portorovz, Slovenia. Proceedings., volume 10249 of Lecture Notes in Computer Science, 419--433, 2017. Springer
Details Download

Veronika Thost
News on Temporal Conjunctive Queries
In Daniele Dell'Aglio, Darko Anicic, Payam M. Barnaghi, Emanuele Della Valle, Deborah L. McGuinness, Loris Bozzato, Thomas Eiter, Martin Homola, Daniele Porello, eds., Joint Proceedings of the Web Stream Processing workshop (WSP 2017) and the 2nd International Workshop on Ontology Modularity, Contextuality, and Evolution (WOMoCoE 2017) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22nd, 2017, volume 1936 of CEUR Workshop Proceedings, 1--16, October 2017. CEUR-WS.org
Details Download

Christoph Wernhard
Approximating Resultants of Existential Second-Order Quantifier Elimination upon Universal Relational First-Order Formulas
In Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard, eds., Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), volume 2013 of CEUR Workshop Proceedings, 82-98, 2017. CEUR-WS.org
Details

Christoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic
In Clare Dixon, Marcelo Finger, eds., 11th International Symposium on Frontiers of Combining Systems, FroCoS 2017, volume 10483 of LNCS (LNAI), 333-350, 2017. Springer
Details


Buchkapitel

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., The IfCoLog Journal of Logics and their Applications; Special Issue Formal Argumentation, volume 4 of 8, 2623-2705. College Publications, September 2017
Details Download

Dagmar Gromann, Johannes Schnitzer
Business lexicography
In Gerlinde Mautner Rainer Franz, eds., Handbook of Business Communication, volume 13 of Handbook of Applied Linguistics (HAL), 561-582. De Gruyter Mouton, 2017
Details


Herausgegebene Tagungsbände

Shima Asaadi, Sebastian Rudolph
Gradual Learning of Matrix-Space Models of Language for Sentiment Analysis
, August 2017. Proceedings of the 2nd Workshop on Representation Learning for NLP, ACL2017
Details Download

Eva Blomqvist, Oscar Corcho, Matthew Horridge, David Carral, Rinke Hoekstra
Proceedings of the 8th Workshop on Ontology Design and Patterns (WOP 2017) co-located with the 16th International Semantic Web Conference (ISWC 2017)
Volume 2043 of CEUR Workshop Proceedings, October 2017. CEUR-WS.org
Details

Daniele Dell'Aglio, Emanuele Della Valle, Thomas Eiter, Markus Krötzsch, Maria Maleshkova, Ruben Verborgh, Federico M. Facca, Michael Mrissa
Joint Proceedings of the 3rd Stream Reasoning (SR 2016) and the 1st Semantic Web Technologies for the Internet of Things (SWIT 2016) workshops
Volume 1783 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details

Patrick Koopmann, Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard
Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017)
Volume 2013 of CEUR Workshop Proceedings, 2017. CEUR-WS.org
Details


Dissertationen

Emmanuelle-Anna Dietz Saldanha
From Logic Programming to Human Reasoning: How to be Artificially Human
Phd thesis, TU Dresden, 2017/06/26
Details

Veronika Thost
Using Ontology-Based Data Access to Enable Context Recognition in the Presence of Incomplete Information
Phd thesis, TU Dresden, 2017/06/19
Details Download


Technische Berichte

Richard Mörbitz
Clusters of Humans in Syllogistic Reasoning under the Weak Completion Semantics
Technical Report, Knowledge Representation and Reasoning, volume 17-02, June 2017. Technical report
Details Download

Christoph Wernhard
The Boolean Solution Problem from the Perspective of Predicate Logic – Extended Version
Technical Report, TU Dresden, volume 17-01, 2017. Knowledge Representation and Reasoning
Details


Vorträge und Sonstiges

Maximilian Marx, Markus Krötzsch
The New SQID: Improving Wikidata Made Easy
Presentation at WikidataCon 2017, 2017
Details Download

Christoph Wernhard
Craig Interpolation and Query Reformulation with Clausal First-Order Tableaux
Poster presentation at TABLEAUX 2017, Brasilia, September 2017
Details