conftrace_

event calculus

3 papers

Explore in graph

Also known as

EC

Co-occurring keywords · papers mentioning both

composite event recognition (2) logic programming (2) temporal specification (1) fluent representation (1) boolean combination (1) static determination (1) run-time reasoning (1) incremental reasoning (1) streaming environment (1) specification optimization (1)

Papers

Temporal Specification Optimisation for the Event Calculus AAAI 2025 A Tensor-Based Formalization of the Event Calculus IJCAI 2024 Incremental Event Calculus for Run-Time Reasoning (Extended Abstract) IJCAI 2023