conftrace_

run-time reasoning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

event calculus (1) temporal specification (1) fluent representation (1) boolean combination (1) static determination (1) specification optimization (1) logic programming (1) temporal pattern (1) temporal reasoning (1)

Papers

Temporal Specification Optimisation for the Event Calculus AAAI 2025