conftrace_

logic program

10 papers

Explore in graph

Co-occurring keywords · papers mentioning both

answer set programming (4) knowledge refactoring (2) constraint optimisation (2) logic programming (2) non-monotonic reasoning (2) knowledge base (2) program synthesis (2) knowledge representation (2) constraint optimization (2) multi-hop search (1)

Papers

Language Models and Logic Programs for Trustworthy Tax Reasoning AAAI 2026 FLARE: Faithful Logic-Aided Reasoning and Exploration EMNLP 2025 Scalable Knowledge Refactoring Using Constrained Optimisation AAAI 2025 A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming AAAI 2024 Characterizing Structural Hardness of Logic Programs: What Makes Cycles and Reachability Hard for Treewidth? AAAI 2023 Considering Constraint Monotonicity and Foundedness in Answer Set Programming IJCAI 2022 Making Sense of Raw Input (Extended Abstract) IJCAI 2022 Knowledge Refactoring for Inductive Program Synthesis AAAI 2021 Resilient Logic Programs: Answer Set Programs Challenged by Ontologies AAAI 2020 Learning Relational Representations with Auto-encoding Logic Programs IJCAI 2019