Przemyslaw Andrzej Walega

J. Web Semant., April, 2023

Finite Materialisability of Datalog Programs with Metric Temporal Operators.

[BibT_eX]

[DOI]

J. Artif. Intell. Res., 2023

Computational complexity of hybrid interval temporal logics.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2023

Computing All Facts Entailed By An LTL Specification.

[BibT_eX]

[DOI]

Christoph Haase

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

Hybrid Modal Operators for Definite Descriptions.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

Temporal Datalog with Existential Quantification.

[BibT_eX]

[DOI]

Matthias Lanzinger

Markus Nissl

Emanuel Sallinger

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Materialisation-Based Reasoning in DatalogMTL with Bounded Intervals.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Seminaïve Materialisation in DatalogMTL.

[BibT_eX]

[DOI]

Proceedings of the Rules and Reasoning, 2022

Reasoning Techniques in DatalogMTL.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022

Datalog with Existential Quantifiers and Temporal Operators (Extended Abstract).

[BibT_eX]

[DOI]

Matthias Lanzinger

MeTeoR: Practical Reasoning in Datalog with Metric Temporal Operators.

[BibT_eX]

[DOI]

Pan Hu

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

Subject-oriented spatial logic.

[BibT_eX]

[DOI]

Inf. Comput., 2021

Finitely Materialisable Datalog Programs with Metric Temporal Operators.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

DatalogMTL with Negation Under Stable Models Semantics.

[BibT_eX]

[DOI]

David J. Tena Cucala

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Stratified Negation in Datalog with Metric Temporal Operators.

[BibT_eX]

[DOI]

David J. Tena Cucala

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Temporal Ontology-Mediated Queries and First-Order Rewritability: A Short Course.

[BibT_eX]

[DOI]

Proceedings of the Reasoning Web. Declarative Artificial Intelligence, 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

2019

Hybrid fragments of Halpern-Shoham logic and their expressive power.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

A Stable Qualitative Movement Control System Based on Propositional Dynamic Logic.

[BibT_eX]

[DOI]

Emilio Muñoz-Velasco

J. Multiple Valued Log. Soft Comput., 2019

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics (Full Version).

[BibT_eX]

[DOI]

CoRR, 2019

A Modal Logic for Subject-Oriented Spatial Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

Computational Complexity of Core Fragments of Modal Logics T, K4, and S4.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

DatalogMTL: Computational Complexity and Expressive Power.

[BibT_eX]

[DOI]

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

Data Complexity and Rewritability of Ontology-Mediated Queries in Metric Temporal Logic under the Event-Based Semantics.

[BibT_eX]

[DOI]

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

Reasoning over Streaming Data in Metric Temporal Datalog.

[BibT_eX]

[DOI]

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

2018

Computational Complexity of a Core Fragment of Halpern-Shoham Logic.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

Answer Set Programming Modulo 'Space-Time'.

[BibT_eX]

[DOI]

Jakob Suchan

Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018

On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic.

[BibT_eX]

[DOI]

Proceedings of the LPAR-22 Workshop and Short Paper Proceedings, 2018

On the Data Complexity of Ontology-Mediated Queries with MTL Operators over Timed Words.

[BibT_eX]

[DOI]

Stanislav Kikot

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

Visual Explanation by High-Level Abduction: On Answer-Set Programming Driven Reasoning About Moving Objects.

[BibT_eX]

[DOI]

Jakob Suchan

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

2017

Non-monotonic spatial reasoning with answer set programming modulo theories.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2017

Declarative Spatial Reasoning for Intelligent Cinematography.

[BibT_eX]

[DOI]

Jakob Suchan

Proceedings of the 6th Workshop on Intelligent Cinematography and Editing, 2017

On Expressiveness of Halpern-Shoham Logic and its Horn Fragments.

[BibT_eX]

[DOI]

Proceedings of the 24th International Symposium on Temporal Representation and Reasoning, 2017

Searching for Well-Behaved Fragments of Halpern-Shoham Logic.

[BibT_eX]

[DOI]

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

Computational Complexity of a Hybridized Horn Fragment of Halpern-Shoham Logic.

[BibT_eX]

[DOI]

Proceedings of the Logic and Its Applications - 7th Indian Conference, 2017

Human-Like Spatial Reasoning Formalisms.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

Hybridizing Interval Temporal Logics: The First Step.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Qualitative Physics in Angry Birds.

[BibT_eX]

[DOI]

Tomasz Lechowski

IEEE Trans. Comput. Intell. AI Games, 2016

Reasoning about Space and Change with Answer Set Programming Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

A Movement Control System Based on Qualitative Reasoning.

[BibT_eX]

[DOI]

Emilio Muñoz-Velasco

Proceedings of the 10th International Conference on Soft Computing Models in Industrial and Environmental Applications, 2015

ASPMT(QS): Non-Monotonic Spatial Reasoning with Answer Set Programming Modulo Theories.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

Doctoral Consortium Extended Abstract: Nonmonotonic Qualitative Spatial Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015

2014

Overfitting Problem in a Virtual Sensor Obtained with W-M Method.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference in Knowledge Based and Intelligent Information and Engineering Systems, 2014

2013

Reasoning for Moving Blocks Problem: Formal Representation and Implementation.

[BibT_eX]

[DOI]