ARTICLE
|
doi:10.20944/preprints202403.0286.v2
Subject:
Computer Science And Mathematics,
Logic
Keywords:
LTLf; Declare; Verified Artificial Intelligence; Equational logic and rewriting
Online: 11 March 2024 (13:18:45 CET)
ARTICLE
|
doi:10.20944/preprints202301.0254.v1
Subject:
Computer Science And Mathematics,
Computer Science
Keywords:
Logic Artificial Intelligence; Knowledge Bases; Query Plan; Temporal Logic; Conformance Checking; Temporal Data Mining; Intraquery Parallelism
Online: 13 January 2023 (11:07:20 CET)