scientific article; zbMATH DE number 7533370
From MaRDI portal
Publication:5079773
DOI10.4230/LIPIcs.TIME.2018.7zbMath1487.68192MaRDI QIDQ5079773
Guido Sciavicco, Davide Bresolin, Emilio Muñoz-Velasco, Enrico Cominato, Simone Gnani
Publication date: 28 May 2022
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Uses Software
Cites Work
- Maintaining knowledge about temporal intervals
- A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
- Mining approximate interval-based temporal dependencies
- Checking interval properties of computations
- Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
- On generating all maximal independent sets
- Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
- The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT
- Temporal prepositions and their logic
- Foundations of Rule Learning
- Logical and Relational Learning
- Maximal Decidable Fragments of Halpern and Shoham’s Modal Logic of Intervals
- Efficient Algorithms for Listing Combinatorial Structures
- A propositional modal logic of time intervals
- Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
- Horn Fragments of the Halpern-Shoham Interval Temporal Logic
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication:
