search result

Cover von Extending the Range of Temporal Specifications of the Run-Time Event Calculus

Extending the Range of Temporal Specifications of the Run-Time Event Calculus

Year: 2024
Media group: LIPIcs
Cover von Inductive Logic Programming
30th International Conference, ILP 2021, Virtual Event, October 25 - 27, 2021, Proceedings
Search for this author
Year: 2022
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 13191
Media group: MONOGRAPHIE
Cover von Prompting LLMs for the Run-Time Event Calculus (Short Paper)

Prompting LLMs for the Run-Time Event Calculus (Short Paper)

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

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2023
Media group: LIPIcs
Cover von LIPIcs, Volume 278, TIME 2023, Complete Volume

LIPIcs, Volume 278, TIME 2023, Complete Volume

Year: 2023
Media group: LIPIcs
Cover von 30th International Symposium on Temporal Representation and Reasoning
TIME 2023 : September 25 - 26, 2023, NCSR Demokritos, Athens, Greece
Search for this author
Year: 2023
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 278
Media group: LIPIcs
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2022
Media group: LIPIcs
Cover von LIPIcs, Volume 247, TIME 2022, Complete Volume

LIPIcs, Volume 247, TIME 2022, Complete Volume

Year: 2022
Media group: LIPIcs
Cover von 29th International Symposium on Temporal Representation and Reasoning
TIME 2022 : November 7 - 9, 2022, Virtual Conference
Search for this author
Year: 2022
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 247
Media group: LIPIcs
Cover von Dagstuhl Seminar on the Foundations of Composite Event Recognition
article
Search for this author
Year: 2020
Publisher: Piräus, University
Media group: ARTICLE
OPEN V 11.1.0.0