conftrace_

propositional logic

55 papers

Explore in graph

Also known as

PL

Co-occurring keywords

logical reasoning (310) knowledge compilation (40) knowledge representation (301) model counting (46) knowledge base (804) tsetlin machine (8) large language model (13587) automated reasoning (122) propositional formula (10) inconsistency measurement (5)

Papers

Belief Update in the Horn Fragment IJCAI 2018
Blockedness in Propositional Logic: Are You Satisfied With Your Neighborhood? IJCAI 2017
A Reasoning System for a First-Order Logic of Limited Belief IJCAI 2017
An Improved Decision-DNNF Compiler IJCAI 2017
On the Expressivity of Inconsistency Measures (Extended Abstract) IJCAI 2017