Mark Kaminski

Dingmin Wang

J. Web Semant., April, 2023

2022

The Complexity and Expressive Power of Limit Datalog.

[BibT_eX]

[DOI]

J. ACM, 2022

The delay and window size problems in rule-based stream reasoning.

[BibT_eX]

[DOI]

Artif. Intell., 2022

2020

DatalogMTL over the Integer Timeline.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Tractable Fragments of Datalog with Metric Temporal Operators.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Complexity and Expressive Power of Disjunction and Negation in Limit Datalog.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019

Limit Datalog: A Declarative Query Language for Data Analysis.

[BibT_eX]

[DOI]

SIGMOD Rec., 2019

Subsumption of Weakly Well-Designed SPARQL Patterns is Undecidable.

[BibT_eX]

[DOI]

CoRR, 2019

Foundations of ontology-based data access under bag semantics.

[BibT_eX]

[DOI]

Charalampos Nikolaou

George Konstantinidis

Ian Horrocks

Artif. Intell., 2019

Bag Semantics of DL-Lite with Functionality Axioms.

[BibT_eX]

[DOI]

Proceedings of the Semantic Web - ISWC 2019, 2019

DatalogMTL: Computational Complexity and Expressive Power.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Satisfaction and Implication of Integrity Constraints in Ontology-based Data Access.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Bagging the DL-Lite Family Further.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

Reasoning over Streaming Data in Metric Temporal Datalog.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Complexity and Expressive Power of Weakly Well-Designed SPARQL.

[BibT_eX]

[DOI]

Theory Comput. Syst., 2018

The Window Validity Problem in Rule-Based Stream Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Stratified Negation in Limit Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Stream Reasoning in Temporal Datalog.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Query Nesting, Assignment, and Aggregation in SPARQL 1.1.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 2017

The Bag Semantics of Ontology-Based Data Access.

[BibT_eX]

[DOI]

Charalampos Nikolaou

George Konstantinidis

Ian Horrocks

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Foundations of Declarative Data Analysis Using Limit Datalog Programs.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016

Module Extraction in Expressive Ontology Languages via Datalog Reasoning.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2016

Datalog rewritability of Disjunctive Datalog programs and non-Horn ontologies.

[BibT_eX]

[DOI]

Artif. Intell., 2016

Semantics and Expressive Power of Subqueries and Aggregates in SPARQL 1.1.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on World Wide Web, 2016

Beyond Well-designed SPARQL.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Database Theory, 2016

Ontology Module Extraction via Datalog Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 29th International Workshop on Description Logics, 2016

2015

PAGOdA: Pay-As-You-Go Ontology Query Answering Using a Datalog Reasoner.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2015

Computing Horn Rewritings of Description Logics Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Polynomial Horn Rewritings for Description Logics Ontologies.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

2014

A Goal-Directed Decision Procedure for Hybrid PDL.

[BibT_eX]

[DOI]

J. Autom. Reason., 2014

Computing Datalog Rewritings for Disjunctive Datalog Programs and Description Logic Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Datalog Rewriting Techniques for Non-Horn Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Datalog Rewritability of Disjunctive Datalog Programs and its Applications to Ontology Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Sufficient Conditions for First-Order and Datalog Rewritability in ELU.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

InKreSAT: Modal Reasoning via Incremental Reduction to SAT.

[BibT_eX]

[DOI]

Tobias Tebbi

Proceedings of the Automated Deduction - CADE-24, 2013

2012

Incremental decision procedures for modal logics with nominals and eventualities.

[BibT_eX]

[DOI]

PhD thesis, 2012

Correctness of an Incremental and Worst-Case Optimal Decision Procedure for Modal Logic with Eventualities

[BibT_eX]

[DOI]

CoRR, 2012

2011

Clausal Tableaux for Hybrid PDL.

[BibT_eX]

[DOI]

Proceedings of the 7th Workshop on Methods for Modalities, 2011

Correctness and Worst-Case Optimality of Pratt-Style Decision Procedures for Modal and Hybrid Logics.

[BibT_eX]

[DOI]

Thomas Schneider

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

2010

A Minimal Propositional Type Theory

[BibT_eX]

[DOI]

CoRR, 2010

Clausal Graph Tableaux for Hybrid Logic with Eventualities and Difference.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Terminating Tableaux for <i>SOQ</i>\mathcal{SOQ} with Number Restrictions on Transitive Roles.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Computer Science, 2010

Terminating Tableaux for Hybrid Logic with Eventualities.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

Terminating Tableau Systems for Hybrid Logic with Difference and Converse.

[BibT_eX]

[DOI]

J. Log. Lang. Inf., 2009

Spartacus: A Tableau Prover for Hybrid Logic.

[BibT_eX]

[DOI]

Daniel Götzmann

Proceedings of the 6th Workshop on Methods for Modalities, 2009

Terminating Tableaux for Graded Hybrid Logic with Global Modalities and Role Hierarchies.

[BibT_eX]

[DOI]

Sigurd Schneider

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Terminating Tableaux for Hybrid Logic with the Difference Modality and Converse.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

2007

Hybrid Tableaux for the Difference Modality.

[BibT_eX]

[DOI]