:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Yang, HuanYu, Zhu, Fengming, Wu, YangFan, Ji, Jianmin
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	https://arxiv.org/abs/2508.08633
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Finite Groundings for ASP with Functions: A Journey through Consistency
by: Gerlach, Lukas, et al.
Published: (2024)

ASP-Bench: From Natural Language to Logic Programs
by: Szeider, Stefan
Published: (2026)

An ASP-Based Framework for MUSes
by: Kabir, Mohimenul, et al.
Published: (2025)

Towards Mass Spectrum Analysis with ASP
by: Küchenmeister, Nils, et al.
Published: (2025)

Direct Encoding of Declare Constraints in ASP
by: Chiariello, Francesco, et al.
Published: (2024)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
by: Fandinno, Jorge, et al.
Published: (2026)

An ASP-based Solution to the Medical Appointment Scheduling Problem
by: Vozna, Alina, et al.
Published: (2026)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
by: Wang, Ruolin, et al.
Published: (2024)

Improving ASP-based ORS Schedules through Machine Learning Predictions
by: Bruno, Pierangela, et al.
Published: (2025)

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
by: El-Kholany, Mohammed M. S., et al.
Published: (2022)

Using ASP(Q) to Handle Inconsistent Prioritized Data
by: Bienvenu, Meghyn, et al.
Published: (2026)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
by: Santana, Manuel Alejandro Borroto, et al.
Published: (2026)

An XAI View on Explainable ASP: Methods, Systems, and Perspectives
by: Eiter, Thomas, et al.
Published: (2026)

Learning Brave Assumption-Based Argumentation Frameworks via ASP
by: De Angelis, Emanuele, et al.
Published: (2024)

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
by: Dasgupta, Sopam, et al.
Published: (2024)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
by: Qureshi, Haya Majid, et al.
Published: (2025)

A Reliable Common-Sense Reasoning Socialbot Built Using LLMs and Goal-Directed ASP
by: Zeng, Yankai, et al.
Published: (2024)

CoGS: Causality Constrained Counterfactual Explanations using goal-directed ASP
by: Dasgupta, Sopam, et al.
Published: (2024)

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
by: Cuteri, Andrea, et al.
Published: (2026)

Epistemic Logic Programs: Non-Ground and Counting Complexity
by: Eiter, Thomas, et al.
Published: (2025)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
by: Xu, Yang, et al.
Published: (2025)

ASP-driven User-interaction with Clinguin
by: Beiser, Alexander, et al.
Published: (2025)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
by: Andrews, Uri, et al.
Published: (2025)

Weak Permission is not Well-Founded, Grounded and Stable
by: Governatori, Guido
Published: (2024)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
by: Azzolini, Damiano, et al.
Published: (2024)

Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
by: Patil, Jaikrishna Manojkumar, et al.
Published: (2025)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
by: Beiser, Alexander, et al.
Published: (2025)

A Computationally Grounded Framework for Cognitive Attitudes (extended version)
by: de Lima, Tiago, et al.
Published: (2024)

Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
by: Liang, Zhenwen, et al.
Published: (2025)

Streamliners for Answer Set Programming
by: Voboril, Florentina, et al.
Published: (2026)

Deductive Systems for Logic Programs with Counting
by: Fandinno, Jorge, et al.
Published: (2025)

Hybrid Answer Set Programming: Foundations and Applications
by: Rühling, Nicolas
Published: (2025)

Towards Constraint Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2025)

Integrating Belief Domains into Probabilistic Logic Programs
by: Azzolini, Damiano, et al.
Published: (2025)

On the Trap Space Semantics of Normal Logic Programs
by: Trinh, Van-Giang, et al.
Published: (2026)

Defeasible Conditionals using Answer Set Programming
by: Dennison, Racquel, et al.
Published: (2026)

Answer Set Programming for Flexible Payroll Management
by: Callewaert, Benjamin, et al.
Published: (2024)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
by: Rehan, Zainab, et al.
Published: (2026)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
by: Meng, Yue, et al.
Published: (2025)

A framework for Conditional Reasoning in Answer Set Programming
by: Alviano, Mario, et al.
Published: (2025)