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

Epistemic Logic Programs: Non-Ground and Counting Complexity IJCAI 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
Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting IJCAI 2024
Towards Automatic Composition of ASP Programs from Natural Language Specifications IJCAI 2024
NeSyFOLD: A Framework for Interpretable Image Classification AAAI 2024
Computational Aspects of Progression for Temporal Equilibrium Logic IJCAI 2024
Improved Encodings of Acyclicity for Translating Answer Set Programming into Integer Programming IJCAI 2024
Inconsistent Cores for ASP: The Perks and Perils of Non-monotonicity AAAI 2023
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text ACL 2023
Splitting Answer Set Programs with Respect to Intensionality Statements AAAI 2023
Characterizing Structural Hardness of Logic Programs: What Makes Cycles and Reachability Hard for Treewidth? AAAI 2023
Evaluating Epistemic Logic Programs via Answer Set Programming with Quantifiers 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
ASP-Based Declarative Process Mining AAAI 2022
A Model-Oriented Approach for Lifting Symmetry-Breaking Constraints in Answer Set Programming IJCAI 2022
Decomposition Methods for Solving Scheduling Problem Using Answer Set Programming IJCAI 2022
ApproxASP – a Scalable Approximate Answer Set Counter AAAI 2022
Compilation of Aggregates in ASP Systems AAAI 2022
Plausibility Reasoning via Projected Answer Set Counting - A Hybrid Approach IJCAI 2022
Detect, Understand, Act: A Neuro-Symbolic Hierarchical Reinforcement Learning Framework (Extended Abstract) IJCAI 2022
Simulating Sets in Answer Set Programming IJCAI 2022
Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Extended Abstract) IJCAI 2022
Abstraction for Non-Ground Answer Set Programs (Extended Abstract) IJCAI 2022