:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Kuhlmann, Isabelle, Gessler, Anna, Laszlo, Vivien, Thimm, Matthias
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Artificial Intelligence
Accesso online:	https://arxiv.org/abs/2304.14832
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
di: Blümel, Lydia, et al.
Pubblicazione: (2024)

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
di: Blümel, Lydia, et al.
Pubblicazione: (2026)

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

Reasoning with maximal consistent signatures
di: Thimm, Matthias, et al.
Pubblicazione: (2024)

The Realizability of Revision and Contraction Operators in Epistemic Spaces
di: Sauerwald, Kai, et al.
Pubblicazione: (2024)

EZASP -- Facilitating the usage of ASP
di: Martins, Rafael, et al.
Pubblicazione: (2026)

Semantic Sensitivities and Inconsistent Predictions: Measuring the Fragility of NLI Models
di: Arakelyan, Erik, et al.
Pubblicazione: (2024)

An Embedding-based Approach to Inconsistency-tolerant Reasoning with Inconsistent Ontologies
di: Wang, Keyu, et al.
Pubblicazione: (2023)

The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
di: Nabeshima, Hidetomo, et al.
Pubblicazione: (2025)

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

ASP-FZN: A Translation-based Constraint Answer Set Solver
di: Eiter, Thomas, et al.
Pubblicazione: (2025)

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

Extension-ranking Semantics for Abstract Argumentation Preprint
di: Skiba, Kenneth, et al.
Pubblicazione: (2025)

AlphaMapleSAT: An MCTS-based Cube-and-Conquer SAT Solver for Hard Combinatorial Problems
di: Jha, Piyush, et al.
Pubblicazione: (2024)

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

(Neural-Symbolic) Machine Learning for Inconsistency Measurement
di: Weinzierl, Sven, et al.
Pubblicazione: (2025)

Smart Expansion Techniques for ASP-based Interactive Configuration
di: Balážová, Lucia, et al.
Pubblicazione: (2025)

Performance Comparison of Session-based Recommendation Algorithms based on GNNs
di: Shehzad, Faisal, et al.
Pubblicazione: (2023)

The Galerkin method beats Graph-Based Approaches for Spectral Algorithms
di: Cabannes, Vivien, et al.
Pubblicazione: (2023)

Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances
di: Kondratiev, Victor, et al.
Pubblicazione: (2026)

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

SATURN: SAT-based Reinforcement Learning to Unleash LLMs Reasoning
di: Liu, Huanyu, et al.
Pubblicazione: (2025)

An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods
di: Pant, Sangeeta, et al.
Pubblicazione: (2024)

A SAT-based approach to rigorous verification of Bayesian networks
di: Stępka, Ignacy, et al.
Pubblicazione: (2024)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
di: Su, Yuheng, et al.
Pubblicazione: (2025)

On the generalization of learned constraints for ASP solving in temporal domains
di: Romero, Javier, et al.
Pubblicazione: (2024)

Generating Causally Compliant Counterfactual Explanations using ASP
di: Dasgupta, Sopam
Pubblicazione: (2025)

Winning Snake: Design Choices in Multi-Shot ASP
di: Böhl, Elisa, et al.
Pubblicazione: (2024)

Towards end-to-end ASP computation
di: Sato, Taisuke, et al.
Pubblicazione: (2023)

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

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

Vision based driving agent for race car simulation environments
di: Bári, Gergely, et al.
Pubblicazione: (2025)

Language Models Exhibit Inconsistent Biases Towards Algorithmic Agents and Human Experts
di: Bo, Jessica Y., et al.
Pubblicazione: (2026)

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
di: Calimeri, Francesco, et al.
Pubblicazione: (2024)

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

Depth-Optimal Quantum Layout Synthesis as SAT
di: Jakobsen, Anna B., et al.
Pubblicazione: (2025)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
di: Sun, Yiwen, et al.
Pubblicazione: (2024)

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

An LLM + ASP Workflow for Joint Entity-Relation Extraction
di: Tran, Trang, et al.
Pubblicazione: (2025)

Towards Automatic Composition of ASP Programs from Natural Language Specifications
di: Borroto, Manuel, et al.
Pubblicazione: (2024)