Image de couverture de livre

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kuhlmann, Isabelle, Gessler, Anna, Laszlo, Vivien, Thimm, Matthias
Format:	Preprint
Publié:	2023
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
par: Blümel, Lydia, et autres
Publié: (2024)

Using ASP(Q) to Handle Inconsistent Prioritized Data
par: Bienvenu, Meghyn, et autres
Publié: (2026)

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
par: Blümel, Lydia, et autres
Publié: (2026)

Reasoning with maximal consistent signatures
par: Thimm, Matthias, et autres
Publié: (2024)

The Realizability of Revision and Contraction Operators in Epistemic Spaces
par: Sauerwald, Kai, et autres
Publié: (2024)

An Embedding-based Approach to Inconsistency-tolerant Reasoning with Inconsistent Ontologies
par: Wang, Keyu, et autres
Publié: (2023)

EZASP -- Facilitating the usage of ASP
par: Martins, Rafael, et autres
Publié: (2026)

The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
par: Nabeshima, Hidetomo, et autres
Publié: (2025)

ASP-FZN: A Translation-based Constraint Answer Set Solver
par: Eiter, Thomas, et autres
Publié: (2025)

Semantic Sensitivities and Inconsistent Predictions: Measuring the Fragility of NLI Models
par: Arakelyan, Erik, et autres
Publié: (2024)

An ASP-based Solution to the Medical Appointment Scheduling Problem
par: Vozna, Alina, et autres
Publié: (2026)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
par: Jha, Piyush, et autres
Publié: (2024)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
par: Santana, Manuel Alejandro Borroto, et autres
Publié: (2026)

(Neural-Symbolic) Machine Learning for Inconsistency Measurement
par: Weinzierl, Sven, et autres
Publié: (2025)

Improving ASP-based ORS Schedules through Machine Learning Predictions
par: Bruno, Pierangela, et autres
Publié: (2025)

Extension-ranking Semantics for Abstract Argumentation Preprint
par: Skiba, Kenneth, et autres
Publié: (2025)

Performance Comparison of Session-based Recommendation Algorithms based on GNNs
par: Shehzad, Faisal, et autres
Publié: (2023)

Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances
par: Kondratiev, Victor, et autres
Publié: (2026)

Smart Expansion Techniques for ASP-based Interactive Configuration
par: Balážová, Lucia, et autres
Publié: (2025)

SATURN: SAT-based Reinforcement Learning to Unleash LLMs Reasoning
par: Liu, Huanyu, et autres
Publié: (2025)

The Galerkin method beats Graph-Based Approaches for Spectral Algorithms
par: Cabannes, Vivien, et autres
Publié: (2023)

An ASP-Based Framework for MUSes
par: Kabir, Mohimenul, et autres
Publié: (2025)

On the generalization of learned constraints for ASP solving in temporal domains
par: Romero, Javier, et autres
Publié: (2024)

Generating Causally Compliant Counterfactual Explanations using ASP
par: Dasgupta, Sopam
Publié: (2025)

Winning Snake: Design Choices in Multi-Shot ASP
par: Böhl, Elisa, et autres
Publié: (2024)

A SAT-based approach to rigorous verification of Bayesian networks
par: Stępka, Ignacy, et autres
Publié: (2024)

An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods
par: Pant, Sangeeta, et autres
Publié: (2024)

Language Models Exhibit Inconsistent Biases Towards Algorithmic Agents and Human Experts
par: Bo, Jessica Y., et autres
Publié: (2026)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
par: Su, Yuheng, et autres
Publié: (2025)

Towards end-to-end ASP computation
par: Sato, Taisuke, et autres
Publié: (2023)

Towards Mass Spectrum Analysis with ASP
par: Küchenmeister, Nils, et autres
Publié: (2025)

Direct Encoding of Declare Constraints in ASP
par: Chiariello, Francesco, et autres
Publié: (2024)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
par: Sun, Yiwen, et autres
Publié: (2024)

Vision based driving agent for race car simulation environments
par: Bári, Gergely, et autres
Publié: (2025)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
par: Qureshi, Haya Majid, et autres
Publié: (2025)

Towards Automatic Composition of ASP Programs from Natural Language Specifications
par: Borroto, Manuel, et autres
Publié: (2024)

Depth-Optimal Quantum Layout Synthesis as SAT
par: Jakobsen, Anna B., et autres
Publié: (2025)

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
par: Calimeri, Francesco, et autres
Publié: (2024)

A technical note for the 91-clauses SAT resolution with Indirect QAOA based approach
par: Fleury, Gerard, et autres
Publié: (2024)

Certified MaxSAT Preprocessing
par: Ihalainen, Hannes, et autres
Publié: (2024)