Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Hybridizing Fragments of Halpern-Shoham Logic

2016/23/N/HS1/02168

Keywords:

interval logics temporal logics modal logics hybrid logics computational complexity

Descriptors:

  • HS1_4: Logic, science methodology, philosophy of science
  • ST1_1: Logic and foundations

Panel:

HS1 - Fundamental questions of human existence and the nature of reality: philosophy, cognition, religious studies, theology

Host institution :

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

woj. mazowieckie

Other projects carried out by the institution 

Principal investigator (from the host institution):

Przemysław Wałęga 

Number of co-investigators in the project: 2

Call: PRELUDIUM 12 - announced on 2016-09-15

Amount awarded: 76 800 PLN

Project start date (Y-m-d): 2017-09-04

Project end date (Y-m-d): 2019-12-03

Project duration:: 27 months (the same as in the proposal)

Project status: Project settled

Project description

Download the project description in a pdf file

Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.

Information in the final report

  • Publication in academic press/journals (1)
  • Articles in post-conference publications (1)
  • Book publications / chapters in book publications (8)
  1. Hybrid fragments of Halpern–Shoham logic and their expressive power
    Authors:
    Przemysław Andrzej Wałęga
    Academic press:
    Theoretical Computer Science (rok: 2019, tom: 797, strony: 102-128), Wydawca: Elsevier
    Status:
    Published
    DOI:
    10.1016/j.tcs.2019.01.014 - link to the publication
  1. On the data complexity of ontology-mediated queries with MTL operators over timed words
    Authors:
    Stanislav Kikot, Vladislav Ryzhikov, Przemysław Andrzej Wałęga, Michael Zakharyaschev
    Conference:
    31st International Workshop on Description Logics (rok: 2018, ), Wydawca: CEUR Workshop Proceedings
    Data:
    konferencja 27-29.10.2018
    Status:
    Published
  1. Computational complexity of a core fragment of Halpern-Shoham logic
    Authors:
    Przemysław Andrzej Wałęga
    Book:
    25th International Symposium on Temporal Representation and Reasoning (TIME 2018) (rok: 2018, tom: 120, strony: 23:1-23:18), Wydawca: Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik
    Status:
    Published
  2. Answer Set Programming modulo 'space-time'
    Authors:
    Carl Schultz, Mehul Bhatt, Jakob Suchan, Przemysław Andrzej Wałęga
    Book:
    Rules and Reasoning (rok: 2018, tom: LNCS 11092, strony: 318-326), Wydawca: Springer
    Status:
    Published
  3. Computational complexity of core fragments of modal logics T, K4, and S4
    Authors:
    Przemysław Andrzej Wałęga
    Book:
    JELIA 2019. Lecture Notes in Computer Science (rok: 2019, tom: 11468, strony: 744-759), Wydawca: Springer
    Status:
    Published
  4. DatalogMTL: computational complexity and expressive power
    Authors:
    Przemysław Andrzej Wałęga, Bernardo Cuenca Grau, Mark Kaminski, Egor V. Kostylev
    Book:
    Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (rok: 2019, tom: 1, strony: 1886-1892), Wydawca: IJCAI Proceedings
    Status:
    Published
  5. On disallowing punctual intervals in reflexive semantics of Halpern-Shoham logic
    Authors:
    Przemysław Andrzej Wałęga
    Book:
    LPAR-22 Workshop and Short Paper Proceedings (rok: 2018, tom: 9, strony: 91-106), Wydawca: EasyChair
    Status:
    Published
  6. Reasoning over streaming data in metric temporal Datalog
    Authors:
    Przemysław Andrzej Wałęga, Mark Kaminski, Bernardo Cuenca Grau
    Book:
    Thirty-Third AAAI Conference on Artificial Intelligence (rok: 2019, tom: 33, strony: 3093-3099), Wydawca: AAAI Press
    Status:
    Published
  7. Visual explanation by high-level abduction: on Answer-Set Programming driven reasoning about moving objects
    Authors:
    Jakob Suchan, Mehul Bhatt, Przemysław Andrzej Wałęga, Carl Schultz
    Book:
    Thirty-Second AAAI Conference on Artificial Intelligence (rok: 2018, tom: -, strony: 1965-1972), Wydawca: AAAI Press
    Status:
    Published
  8. Data complexity and rewritability of ontology-mediated queries in metric temporal logic under the event-based semantics
    Authors:
    Vladislav Ryzhikov, Przemysław Andrzej Wałęga, Michael Zakharyaschev
    Book:
    Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence (rok: 2019, tom: 1, strony: 1851-1857), Wydawca: IJCAI Proceedings
    Status:
    Published