Skip to content
conftrace_

minimal model

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

disjunctive logic program (1) answer set semantics (1) inference semantics (1) intuitionistic logic (1) kripke semantics (1) counterexample generation (1) intuitionistic propositional logic (1) minimal model generation (1) countermodel generation (1) model generation (1)

Papers

Determining Inference Semantics for Disjunctive Logic Programs (Extended Abstract) IJCAI 2020 An ASP Approach to Generate Minimal Countermodels in Intuitionistic Propositional Logic IJCAI 2019