Hybrid EC extends DEC with functional fluents and abstract time steps, implemented via clingcon and clingo-lpx to handle dense domains for accurate continuous change modeling without discretization or non-termination.
Automating Semantic Analysis of System Assurance Cases Using Goal-Directed
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Event Calculus Meets Hybrid ASP
Hybrid EC extends DEC with functional fluents and abstract time steps, implemented via clingcon and clingo-lpx to handle dense domains for accurate continuous change modeling without discretization or non-termination.