conftrace_

weak completion semantics

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

skeptical abduction (1) connectionist model (1) three-valued logic (1) logic programming (1)

Papers

A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract) IJCAI 2019