conftrace_

answer set programming

97 papers

Explore in graph

Also known as

ASP

Co-occurring keywords

logic programming (50) knowledge representation (301) inductive logic programming (64) automated reasoning (122) computational complexity (399) non-monotonic reasoning (26) epistemic logic (42) large language model (13587) epistemic logic program (5) constraint satisfaction (294)

Papers

A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) AAAI 2026
2-ASP(Q) Solving Based on CEGAR AAAI 2026
A Solver-in-the-Loop Framework for Improving LLMs on Answer Set Programming for Logic Puzzle Solving AAAI 2026
Enumerating Minimal Unsatisfiable Cores of LTLf Formulae AAAI 2026
Learning from Answer Sets via Single-Shot Disjunctive ASP Encoding AAAI 2026
Symmetry Breaking for Inductive Logic Programming AAAI 2026
Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas AAAI 2026
Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence AAAI 2025
Witnesses for Answer Sets of Basic Logic Programs IJCAI 2025
A Sequent Calculus for Answer Set Entailment IJCAI 2025
Hybrid Reasoning About Relative Position and Orientation of Objects and Navigating Agents Using Answer Set Programming AAAI 2025
On Temporal ASP with Eager Unfoldable Operators IJCAI 2025
Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios AAAI 2025
Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach AAAI 2025
ASP Chef Chats with Large Language Models IJCAI 2025
ASP-Driven Emergency Planning for Norm Violations in Reinforcement Learning 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
On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? AAAI 2024
Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting IJCAI 2024
Think Before You Simulate: Symbolic Reasoning To Orchestrate Neural Computation for Counterfactual Question Answering WACV 2024
CEGAR-Based Approach for Solving Combinatorial Optimization Modulo Quantified Linear Arithmetics Problems AAAI 2024
Finite Groundings for ASP with Functions: A Journey through Consistency IJCAI 2024
Computational Aspects of Progression for Temporal Equilibrium Logic IJCAI 2024
Epistemic Logic Programs: Non-Ground and Counting Complexity IJCAI 2024