conftrace_

boolean combination

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

event calculus (1) temporal specification (1) fluent representation (1) static determination (1) run-time reasoning (1) linear inequality (1) probabilistic satisfiability (1) specification optimization (1) logic programming (1) smt solving (1)

Papers

Temporal Specification Optimisation for the Event Calculus AAAI 2025 Classical Generalized Probabilistic Satisfiability IJCAI 2017