activity
20172025
most citedA Scalable Approach to Probabilistic Neuro-Symbolic Robustness Verification

2 citations · 3 across the 4 of their papers we have counts for

collaborators
Showing 2021 · cs.AIShow all

1 paper · 2 filters

cs.AI2021

Online Learning Probabilistic Event Calculus Theories in Answer Set Programming

Nikos Katzouris, Alexander Artikis, Georgios Paliouras

Complex Event Recognition (CER) systems detect event occurrences in streaming time-stamped input using predefined event patterns. Logic-based approaches are of special interest in…