search result

Cover von Ninth international symposium on temporal representation and reasoning
proceedings, Manchester, UK, July 7 - 9, 2002
Search for this author
Year: 2002
Publisher: Piscataway, IEEE
Media group: KONGRESSBERICHT
Cover von Front Matter, Table of Contents, Preface, Conference Organization

Front Matter, Table of Contents, Preface, Conference Organization

Year: 2025
Media group: OASICS
Cover von OASIcs, Volume 138, RW 2024 & RW 2025, Complete Volume

OASIcs, Volume 138, RW 2024 & RW 2025, Complete Volume

Year: 2025
Media group: OASICS
Cover von On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators

Year: 2025
Media group: LIPIcs
Cover von AIxIA 2024
Advances in Artificial Intelligence - XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024, Proceedings
Search for this author
Year: 2025
Publisher: Heidelberg, Springer
Series: Lecture notes in artificial intelligence; 15450
Media group: MONOGRAPHIE
Cover von LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa

LTL over Finite Words Can Be Exponentially More Succinct Than Pure-Past LTL, and vice versa

Year: 2023
Media group: LIPIcs
Cover von Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk)

Ontology-Mediated Query Answering over Temporal Data: A Survey (Invited Talk)

Author: Artale, Alessandro
Year: 2017
Media group: LIPIcs
Cover von Temporal representation and reasoning; 1
special issue : S. 1-115
Search for this author
Year: 2004
Publisher: Oxford, Oxford University Press
Count: 1
Media group: SPECIAL ISSUE
Cover von Joint Proceedings of the 20th and 21st Reasoning Web Summer Schools
RW 2024 September 19-22, 2024, Bucharest, Romania, RW 2025 September 25-28, 2025, Istanbul, Turkey
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: OpenAccess Series in Informatics; 138
Media group: OASICS
OPEN V 11.1.0.0