Forschung
DRedMTL: Schnelle inkrementelle Aktualisierung von DatalogMTL‑Materialisierungen
DatalogMTL erweitert die klassische Datalog‑Sprache um Metric Temporal Logic (MTL) und ermöglicht damit präzises, zeitbasiertes Schlussfolg…
arXiv – cs.AI