conftrace_

composite event recognition

2 papers

Explore in graph

Also known as

CER

Co-occurring keywords · papers mentioning both

event calculus (2) streaming environment (1) incremental reasoning (1) logic programming (1) tensor computation (1) symbolic reasoning (1)

Papers

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