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

Learning Reliable Logical Rules with SATNet NIPS 2023
Tsetlin Machine for Solving Contextual Bandit Problems NIPS 2022
Parsing Natural Language into Propositional and First-Order Logic with Dual Reinforcement Learning COLING 2022
Two Compacted Models for Efficient Model-Based Diagnosis AAAI 2022
Using MaxSAT for Efficient Explanations of Tree Ensembles AAAI 2022
Knowledge Compilation Meets Logical Separability AAAI 2022
Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation AAAI 2022
Human-Level Interpretable Learning for Aspect-Based Sentiment Analysis AAAI 2021
Automatic Entity State Annotation using the VerbNet Semantic Parser EMNLP 2021
AND does not mean OR: Using Formal Languages to Study Language Models’ Representations IJCNLP 2021
How Hard to Tell? Complexity of Belief Manipulation Through Propositional Announcements IJCAI 2021
Inconsistency Measurement for Paraconsistent Inference IJCAI 2021
AND does not mean OR: Using Formal Languages to Study Language Models’ Representations ACL 2021
Enhancing Interpretable Clauses Semantically using Pretrained Word Representation EMNLP 2021
Boolean Games: Inferring Agents' Goals Using Taxation Queries IJCAI 2020
Proportional Belief Merging AAAI 2020
TouIST: a Friendly Language for Propositional Logic and More IJCAI 2020
Inconsistency Measurement for Improving Logical Formula Clustering IJCAI 2020
Bringing Order to Chaos – A Compact Representation of Partial Order in SAT-Based HTN Planning AAAI 2019
Finding Optimal Solutions in HTN Planning - A SAT-based Approach IJCAI 2019
Evaluating the Interpretability of the Knowledge Compilation Map: Communicating Logical Statements Effectively IJCAI 2019
Embedding Symbolic Knowledge into Deep Networks NIPS 2019
Shielded Base Contraction (Extended Abstract) IJCAI 2019
Two Sides of the Same Coin: Belief Revision and Enforcing Arguments IJCAI 2018
DMC: A Distributed Model Counter IJCAI 2018