conftrace_

logic programming

50 papers

Explore in graph

Also known as

LP

Co-occurring keywords

answer set programming (97) knowledge representation (301) automated reasoning (122) stable model (9) epistemic logic (42) large language model (13587) non-monotonic reasoning (26) stable model semantics (7) formal semantics (35) complexity analysis (93)

Papers

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