conftrace_

static determination

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

event calculus (1) temporal specification (1) fluent representation (1) boolean combination (1) run-time reasoning (1) specification optimization (1) logic programming (1) temporal pattern (1) temporal reasoning (1)

Papers

Temporal Specification Optimisation for the Event Calculus AAAI 2025