:: Library Catalog

Buchumschlag

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Kuhlmann, Isabelle, Gessler, Anna, Laszlo, Vivien, Thimm, Matthias
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Artificial Intelligence
Online-Zugang:	https://arxiv.org/abs/2304.14832
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Revisiting Vacuous Reduct Semantics for Abstract Argumentation (Extended Version)
von: Blümel, Lydia, et al.
Veröffentlicht: (2024)

On the Complexity of the Discussion-based Semantics in Abstract Argumentation
von: Blümel, Lydia, et al.
Veröffentlicht: (2026)

Using ASP(Q) to Handle Inconsistent Prioritized Data
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2026)

Reasoning with maximal consistent signatures
von: Thimm, Matthias, et al.
Veröffentlicht: (2024)

The Realizability of Revision and Contraction Operators in Epistemic Spaces
von: Sauerwald, Kai, et al.
Veröffentlicht: (2024)

EZASP -- Facilitating the usage of ASP
von: Martins, Rafael, et al.
Veröffentlicht: (2026)

Semantic Sensitivities and Inconsistent Predictions: Measuring the Fragility of NLI Models
von: Arakelyan, Erik, et al.
Veröffentlicht: (2024)

An Embedding-based Approach to Inconsistency-tolerant Reasoning with Inconsistent Ontologies
von: Wang, Keyu, et al.
Veröffentlicht: (2023)

The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
von: Nabeshima, Hidetomo, et al.
Veröffentlicht: (2025)

An ASP-based Solution to the Medical Appointment Scheduling Problem
von: Vozna, Alina, et al.
Veröffentlicht: (2026)

ASP-FZN: A Translation-based Constraint Answer Set Solver
von: Eiter, Thomas, et al.
Veröffentlicht: (2025)

BLAST: Benchmarking LLMs with ASP-based Structured Testing
von: Santana, Manuel Alejandro Borroto, et al.
Veröffentlicht: (2026)

Extension-ranking Semantics for Abstract Argumentation Preprint
von: Skiba, Kenneth, et al.
Veröffentlicht: (2025)

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

Improving ASP-based ORS Schedules through Machine Learning Predictions
von: Bruno, Pierangela, et al.
Veröffentlicht: (2025)

(Neural-Symbolic) Machine Learning for Inconsistency Measurement
von: Weinzierl, Sven, et al.
Veröffentlicht: (2025)

Smart Expansion Techniques for ASP-based Interactive Configuration
von: Balážová, Lucia, et al.
Veröffentlicht: (2025)

Performance Comparison of Session-based Recommendation Algorithms based on GNNs
von: Shehzad, Faisal, et al.
Veröffentlicht: (2023)

The Galerkin method beats Graph-Based Approaches for Spectral Algorithms
von: Cabannes, Vivien, et al.
Veröffentlicht: (2023)

Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances
von: Kondratiev, Victor, et al.
Veröffentlicht: (2026)

An ASP-Based Framework for MUSes
von: Kabir, Mohimenul, et al.
Veröffentlicht: (2025)

SATURN: SAT-based Reinforcement Learning to Unleash LLMs Reasoning
von: Liu, Huanyu, et al.
Veröffentlicht: (2025)

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

A SAT-based approach to rigorous verification of Bayesian networks
von: Stępka, Ignacy, et al.
Veröffentlicht: (2024)

Deeply Optimizing the SAT Solver for the IC3 Algorithm
von: Su, Yuheng, et al.
Veröffentlicht: (2025)

On the generalization of learned constraints for ASP solving in temporal domains
von: Romero, Javier, et al.
Veröffentlicht: (2024)

Generating Causally Compliant Counterfactual Explanations using ASP
von: Dasgupta, Sopam
Veröffentlicht: (2025)

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

Towards end-to-end ASP computation
von: Sato, Taisuke, et al.
Veröffentlicht: (2023)

Towards Mass Spectrum Analysis with ASP
von: Küchenmeister, Nils, et al.
Veröffentlicht: (2025)

Direct Encoding of Declare Constraints in ASP
von: Chiariello, Francesco, et al.
Veröffentlicht: (2024)

Vision based driving agent for race car simulation environments
von: Bári, Gergely, et al.
Veröffentlicht: (2025)

Language Models Exhibit Inconsistent Biases Towards Algorithmic Agents and Human Experts
von: Bo, Jessica Y., et al.
Veröffentlicht: (2026)

ASP-based Multi-shot Reasoning via DLV2 with Incremental Grounding
von: Calimeri, Francesco, et al.
Veröffentlicht: (2024)

Efficient OWL2QL Meta-reasoning Using ASP-based Hybrid Knowledge Bases
von: Qureshi, Haya Majid, et al.
Veröffentlicht: (2025)

Depth-Optimal Quantum Layout Synthesis as SAT
von: Jakobsen, Anna B., et al.
Veröffentlicht: (2025)

AutoSAT: Automatically Optimize SAT Solvers via Large Language Models
von: Sun, Yiwen, et al.
Veröffentlicht: (2024)

Diminution: On Reducing the Size of Grounding ASP Programs
von: Yang, HuanYu, et al.
Veröffentlicht: (2025)

An LLM + ASP Workflow for Joint Entity-Relation Extraction
von: Tran, Trang, et al.
Veröffentlicht: (2025)

Towards Automatic Composition of ASP Programs from Natural Language Specifications
von: Borroto, Manuel, et al.
Veröffentlicht: (2024)