conftrace_

extensional semantics

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

three-valued semantics (1) three-valued logic (1) higher-order logic (1) logic programming (1)

Papers

The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs IJCAI 2018