conftrace_

propositional logic

55 papers

Explore in graph

Also known as

PL

Co-occurring keywords · papers mentioning both

logical reasoning (9) knowledge compilation (6) knowledge representation (6) model counting (5) knowledge base (5) tsetlin machine (4) large language model (4) automated reasoning (4) propositional formula (3) inconsistency measurement (3)

Papers

Two Sides of the Same Coin: Belief Revision and Enforcing Arguments IJCAI 2018 An Improved Decision-DNNF Compiler IJCAI 2017 A Reasoning System for a First-Order Logic of Limited Belief IJCAI 2017 Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? IJCAI 2017 On the Expressivity of Inconsistency Measures (Extended Abstract) IJCAI 2017