Extracting interval temporal logic rules: a first approach

DOI10.4230/LIPICS.TIME.2018.7MaRDI QIDQ5079773zbMATH OpenFDO

Authors Davide Bresolin, Enrico Cominato, Simone Gnani, Emilio Muñoz-Velasco, Guido Sciavicco

Publication date 28 May 2022

Full work available at URL https://doi.org/10.4230/LIPICS.TIME.2018.7

zbMATH Keywords

interval temporal logicrule extractionHorn fragment

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Temporal logic (03B44)

Cites work

• scientific article; zbMATH DE number 107465 (Why is no real title available?)
• scientific article; zbMATH DE number 2013276 (Why is no real title available?)
• scientific article; zbMATH DE number 2087979 (Why is no real title available?)
• A complete classification of the expressiveness of interval logics of Allen's relations: the general and the dense cases
• A propositional modal logic of time intervals
• Checking interval properties of computations
• Efficient Algorithms for Listing Combinatorial Structures
• Fast(er) reasoning in interval temporal logic
• Foundations of Rule Learning
• Horn fragments of the Halpern-Shoham interval temporal logic
• Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic
• Interval temporal logics over strongly discrete linear orders: expressiveness and complexity
• Logical and Relational Learning
• Maintaining knowledge about temporal intervals
• Maximal decidable fragments of Halpern and Shoham's modal logic of intervals
• Mining approximate interval-based temporal dependencies
• On generating all maximal independent sets
• Satisfiability and model checking for the logic of sub-intervals under the homogeneity assumption
• Temporal prepositions and their logic
• The light side of interval temporal logic: the Bernays-Schönfinkel fragment of CDT

Cited in

(9)

• Fuzzy Halpern and Shoham's interval temporal logics
• scientific article; zbMATH DE number 2087979 (Why is no real title available?)
• scientific article; zbMATH DE number 1983201 (Why is no real title available?)
• scientific article; zbMATH DE number 2009851 (Why is no real title available?)
• Mining quantified temporal rules: formalism, algorithms, and evaluation
• scientific article; zbMATH DE number 2101375 (Why is no real title available?)
• Knowledge extraction with interval temporal logic decision trees
• Refinement of temporal constraints in fuzzy associations
• Checking sets of pure evolving association rules

Describes a project that uses

Uses Software

• Genocop
• APRIORI

This page was built for publication: Extracting interval temporal logic rules: a first approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5079773)