answer set programming

Computational Aspects of Progression for Temporal Equilibrium Logic IJCAI 2024 Epistemic Logic Programs: Non-Ground and Counting Complexity IJCAI 2024 Exact ASP Counting with Compact Encodings AAAI 2024 Finite Groundings for ASP with Functions: A Journey through Consistency IJCAI 2024 Hybrid planning for challenging construction problems: An Answer Set Programming approach (Abstract Reprint) IJCAI 2024 Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming IJCAI 2024 Inference in Probabilistic Answer Set Programs with Imprecise Probabilities via Optimization UAI 2024 NeSyFOLD: A Framework for Interpretable Image Classification AAAI 2024 On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions? AAAI 2024 Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming AAAI 2024 Think Before You Simulate: Symbolic Reasoning To Orchestrate Neural Computation for Counterfactual Question Answering WACV 2024 Towards Automatic Composition of ASP Programs from Natural Language Specifications IJCAI 2024 A Logic-based Approach to Contrastive Explainability for Neurosymbolic Visual Question Answering IJCAI 2023 Characterizing Structural Hardness of Logic Programs: What Makes Cycles and Reachability Hard for Treewidth? AAAI 2023 Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text ACL 2023 Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers AAAI 2023 Explaining Answer-Set Programs with Abstract Constraint Atoms IJCAI 2023 Inconsistent Cores for ASP: The Perks and Perils of Non-monotonicity AAAI 2023 Learning to Break Symmetries for Efficient Optimization in Answer Set Programming AAAI 2023 Neuro-Symbolic Learning of Answer Set Programs from Raw Data IJCAI 2023 Splitting Answer Set Programs with Respect to Intensionality Statements AAAI 2023 Abstraction for Non-Ground Answer Set Programs (Extended Abstract) IJCAI 2022 A Calculus for Computing Structured Justifications for Election Outcomes AAAI 2022 A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming IJCAI 2022 ApproxASP – a Scalable Approximate Answer Set Counter AAAI 2022