ePrints

KnoBAB: Making Logic Fast

Lookup NU author(s): Dr Giacomo BergamiORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

Empirical evidence from KnoBAB supports the introduction of novel temporal algebraic operators for carrying out mining and conformance-checking tasks and incorporating good database design practices. We outline ten research stratagems postulating the early success of our proposed methodology.

Publication metadata

Author(s): Bergami G

Editor(s): Bansal, Di Stasio, Rubin, Zhu

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: AAAI 2023 Spring Symposium Series: On the Effectiveness of Temporal Logics on Finite Traces in AI

Year of Conference: 2023

Online publication date: 29/03/2023

Acceptance date: 31/01/2023

Publisher: AAAI

URL: https://ltlf-symposium.github.io/

Share