conftrace_

three-valued logic

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

logic programming (2) finite state semantics (1) possible world semantics (1) presupposition satisfaction (1) possibilistic logic (1) extensional semantics (1) three-valued semantics (1) monotonic logic (1) weak completion semantics (1) skeptical abduction (1)

Papers

Possibilistic Logic Underlies Abstract Dialectical Frameworks IJCAI 2022 A Core Method for the Weak Completion Semantics with Skeptical Abduction (Extended Abstract) IJCAI 2019 Finite State Reasoning for Presupposition Satisfaction COLING 2018 The Intricacies of Three-Valued Extensional Semantics for Higher-Order Logic Programs IJCAI 2018