search result

Cover von A General Logical Approach to Learning from Time Series (Invited Talk)

A General Logical Approach to Learning from Time Series (Invited Talk)

Year: 2024
Media group: LIPIcs
Cover von Knowledge Extraction with Interval Temporal Logic Decision Trees

Knowledge Extraction with Interval Temporal Logic Decision Trees

Year: 2020
Media group: LIPIcs
Cover von Mining Significant Temporal Networks Is Polynomial

Mining Significant Temporal Networks Is Polynomial

Year: 2020
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2019
Media group: LIPIcs
Cover von 26th International Symposium on Temporal Representation and Reasoning
TIME 2019 : October 16 - 19, 2019, Malaga, Spain
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 147
Media group: LIPIcs
Cover von Deciding the Consistency of Branching Time Interval Networks

Deciding the Consistency of Branching Time Interval Networks

Year: 2018
Media group: LIPIcs
Cover von Temporal Association Rules from Motifs (Short Paper)

Temporal Association Rules from Motifs (Short Paper)

Year: 2025
Media group: LIPIcs
Cover von Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic

Assessing the (In)Ability of LLMs to Reason in Interval Temporal Logic

Year: 2025
Media group: LIPIcs
Cover von Fitting’s Style Many-Valued Interval Temporal Logic Tableau System

Fitting’s Style Many-Valued Interval Temporal Logic Tableau System

Theory and Implementation
Year: 2024
Media group: LIPIcs
Cover von Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification

Neural-Symbolic Temporal Decision Trees for Multivariate Time Series Classification

Year: 2022
Media group: LIPIcs
OPEN V 11.1.0.0