logic programming

A Simple Proof-Theoretic Characterization of Stable Models: Reduction to Difference Logic and Experiments (Abstract Reprint) AAAI 2026 LogToP: Logic Tree-of-Program with Table Instruction-tuned LLMs for Controlled Logical Table-to-Text Generation EACL 2026 Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-Based Test Oracles AAAI 2026 An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation AAAI 2025 FLARE: Faithful Logic-Aided Reasoning and Exploration EMNLP 2025 On Temporal ASP with Eager Unfoldable Operators IJCAI 2025 Predicate-Guided Generation for Mathematical Reasoning EMNLP 2025 Solving Epistemic Logic Programs Using Generate-and-Test with Propagation AAAI 2025 Temporal Specification Optimisation for the Event Calculus AAAI 2025 Witnesses for Answer Sets of Basic Logic Programs IJCAI 2025 A Tensor-Based Formalization of the Event Calculus IJCAI 2024 Bypassing the ASP Bottleneck: Hybrid Grounding by Splitting and Rewriting IJCAI 2024 Capturing (Optimal) Relaxed Plans with Stable and Supported Models of Logic Programs (Extended Abstract) IJCAI 2024 Finite Groundings for ASP with Functions: A Journey through Consistency IJCAI 2024 Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text ACL 2023 Treewidth-Aware Complexity for Evaluating Epistemic Logic Programs IJCAI 2023 What’s Left? Concept Grounding with Logic-Enhanced Foundation Models NeurIPS 2023 Axiomatization of Aggregates in Answer Set Programming AAAI 2022 Body-Decoupled Grounding via Solving: A Novel Approach on the ASP Bottleneck IJCAI 2022 CrossBeam: Learning to Search in Bottom-Up Program Synthesis ICLR 2022 From Actions to Programs as Abstract Actual Causes AAAI 2022 Simulating Sets in Answer Set Programming IJCAI 2022 Complex Coordinate-Based Meta-Analysis with Probabilistic Programming AAAI 2021 Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract) IJCAI 2021 HetSAGE: Heterogenous Graph Neural Network for Relational Learning (Student Abstract) AAAI 2021