Skip to content
conftrace_

minimal model generation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

intuitionistic propositional logic (1) countermodel generation (1) counterexample generation (1) intuitionistic logic (1) kripke semantics (1) minimal model (1) model generation (1) answer set programming (1)

Papers

An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic IJCAI 2019