conftrace_

second-order logic

3 papers

Explore in graph

Co-occurring keywords · papers mentioning both

formal verification (2) automated reasoning (2) predicate invention (1) meta-interpretive learning (1) bottom-up learning (1) clause learning (1) ltl synthesis (1) automata manipulation (1) belief construction (1) game semantics (1)

Papers

LTLf Synthesis Under Unreliable Input AAAI 2025 Second-Order Quantified Boolean Logic AAAI 2023 Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning IJCAI 2020