conftrace_

propositional formula

11 papers

Explore in graph

Co-occurring keywords · papers mentioning both

propositional logic (3) boolean game (1) goal inference (1) taxation scheme (1) sat encoding (1) tsetlin machine (1) explainable artificial intelligence (1) formal logic (1) subgoal discovery (1) logical formula clustering (1)

Papers

Counting and Reasoning with Plans AAAI 2025 Generalized Convergence Analysis of Tsetlin Automaton Based Algorithms: A Probabilistic Approach to Concept Learning AAAI 2025 Constraint Optimization over Semirings AAAI 2023 Algorithmic Concept-Based Explainable Reasoning AAAI 2022 Propositional Encodings of Acyclicity and Reachability by Using Vertex Elimination AAAI 2022 Boolean Games: Inferring Agents' Goals Using Taxation Queries IJCAI 2020 Inconsistency Measurement for Improving Logical Formula Clustering IJCAI 2020 Induction of Subgoal Automata for Reinforcement Learning AAAI 2020 Adaptive Hashing for Model Counting UAI 2019 A Recursive Algorithm for Projected Model Counting AAAI 2019 Top-Down Neural Model For Formulae ICLR 2019