Cover Image

An ASP-Based Framework for MUSes

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kabir, Mohimenul, Meel, Kuldeep S
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Simple and Effective ASP-Based Tool for Enumerating Minimal Hitting Sets
by: Kabir, Mohimenul, et al.
Published: (2025)

Counting Answer Sets of Disjunctive Answer Set Programs
by: Kabir, Mohimenul, et al.
Published: (2025)

On Lower Bounding Minimal Model Count
by: Kabir, Mohimenul, et al.
Published: (2024)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
by: Kabir, Mohimenul, et al.
Published: (2025)

Approximate SMT Counting Beyond Discrete Domains
by: Shaw, Arijit, et al.
Published: (2025)

Model Counting in the Wild
by: Shaw, Arijit, et al.
Published: (2024)

Towards Projected and Incremental Pseudo-Boolean Model Counting
by: Yang, Suwei, et al.
Published: (2024)

Minimal Model Counting via Knowledge Compilation
by: Kabir, Mohimenul
Published: (2024)

Towards Practical First-Order Model Counting
by: Kidambi, Ananth K., et al.
Published: (2025)

Answer Set Counting and its Applications
by: Kabir, Mohimenul
Published: (2025)

Formally Certified Approximate Model Counting
by: Tan, Yong Kiam, et al.
Published: (2024)

The Limitations and Power of NP-Oracle-Based Functional Synthesis Techniques
by: Juba, Brendan, et al.
Published: (2025)

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

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)

Diminution: On Reducing the Size of Grounding ASP Programs
by: Yang, HuanYu, et al.
Published: (2025)

SharpASP Artifact
by: Mohimenul, Kabir, et al.
Published: (2025)

SharpASP Artifact
by: Mohimenul, Kabir, et al.
Published: (2026)

Efficient Certified Reasoning for Binarized Neural Networks
by: Yang, Jiong, et al.
Published: (2025)

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)

Assessing the Quality of Binomial Samplers: A Statistical Distance Framework
by: Sarkar, Uddalok, et al.
Published: (2025)

Finite Groundings for ASP with Functions: A Journey through Consistency
by: Gerlach, Lukas, 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)

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

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

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

Efficient Volume Computation for SMT Formulas
by: Shaw, Arijit, et al.
Published: (2025)

On Top-Down Pseudo-Boolean Model Counting
by: Yang, Suwei, et al.
Published: (2025)

An Approximate Skolem Function Counter
by: Shaw, Arijit, et al.
Published: (2023)

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

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

CFGs: Causality Constrained Counterfactual Explanations using goal-directed ASP
by: Dasgupta, Sopam, 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)

Abductive Reasoning in a Paraconsistent Framework
by: Bienvenu, Meghyn, et al.
Published: (2024)

Constrained Assumption-Based Argumentation Frameworks
by: De Angelis, Emanuele, et al.
Published: (2026)

CNFs and DNFs with Exactly $k$ Solutions
by: Chandran, L. Sunil, et al.
Published: (2025)