answer set programming

2-ASP(Q) Solving Based on CEGAR AAAI 2026 ARGUS: Argumentation-Based Minimal-Change Repair for Verifiable LLM Self-Explanations UAI 2026 A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) AAAI 2026 A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving AAAI 2026 Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas AAAI 2026 Enumerating Minimal Unsatisfiable Cores of LTLf Formulae AAAI 2026 How PC-based Methods Err: Towards Better Reporting of Assumption Violations and Small Sample Errors UAI 2026 Learning from Answer Sets via Single-Shot Disjunctive ASP Encoding AAAI 2026 Symmetry Breaking for Inductive Logic Programming AAAI 2026 A Sequent Calculus for Answer Set Entailment IJCAI 2025 ASP Chef Chats with Large Language Models IJCAI 2025 ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning AAAI 2025 Few-Shot Neuro-Symbolic Imitation Learning for Long-Horizon Planning and Acting CoRL 2025 Hybrid Reasoning About Relative Position and Orientation of Objects and Navigating Agents Using Answer Set Programming AAAI 2025 Improving Efficiency of Answer Set Planning with Rough Solutions from Large Language Models for Robotic Task Planning IJCAI 2025 Integrating Answer Set Programming and Large Language Models for Enhanced Structured Representation of Complex Knowledge in Natural Language IJCAI 2025 Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach AAAI 2025 On Temporal ASP with Eager Unfoldable Operators IJCAI 2025 Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025 Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios AAAI 2025 Witnesses for Answer Sets of Basic Logic Programs IJCAI 2025 AMO-aware Aggregates in Answer Set Programming IJCAI 2024 A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming AAAI 2024 Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting IJCAI 2024 CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems AAAI 2024