propositional logic

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