:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Bertini, Flavio, Palù, Alessandro Dal, Zaglio, Federica, Fabiano, Francesco, Formisano, Andrea
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Artificial Intelligence
Accès en ligne:	https://arxiv.org/abs/2502.09218
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Best-Effort Policies for Robust Markov Decision Processes
par: Abate, Alessandro, et autres
Publié: (2025)

Robust Shielding for Safe Reinforcement Learning
par: Court, Edwin Hamel-De le, et autres
Publié: (2026)

Proceedings 40th International Conference on Logic Programming
par: Cabalar, Pedro, et autres
Publié: (2025)

Rational Inference in Formal Concept Analysis
par: Carr, Lucas, et autres
Publié: (2025)

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving
par: Thakur, Amitayush, et autres
Publié: (2025)

Explainability by design: an experimental analysis of the legal coding process
par: Cristani, Matteo, et autres
Publié: (2025)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

Defeasible Reasoning on Concepts
par: Ding, Yiwen, et autres
Publié: (2024)

On Deciding the Data Complexity of Answering Linear Monadic Datalog Queries with LTL Operators(Extended Version)
par: Artale, Alessandro, et autres
Publié: (2025)

Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
par: Cuteri, Andrea, et autres
Publié: (2026)

Model Change for Description Logic Concepts
par: Ozaki, Ana, et autres
Publié: (2026)

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
par: Bertagnon, Alessandro, et autres
Publié: (2025)

Explainability-Driven Quality Assessment for Rule-Based Systems
par: Seneviratne, Oshani, et autres
Publié: (2025)

An Information-Flow Perspective on Explainability Requirements: Specification and Verification
par: Finkbeiner, Bernd, et autres
Publié: (2025)

A Gradient-Optimized TSK Fuzzy Framework for Explainable Phishing Detection
par: Pentapalli, Lohith Srikanth, et autres
Publié: (2025)

The Ontology for Agents, Systems and Integration of Services: OASIS version 2
par: Bella, Giampaolo, et autres
Publié: (2023)

Beyond the Black Box: A Cognitive Architecture for Explainable and Aligned AI
par: Keyi, Hu
Publié: (2025)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
par: Beiser, Alexander, et autres
Publié: (2025)

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

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
par: Marković, Đorđe, et autres
Publié: (2025)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
par: Quansah, Paapa Kwesi, et autres
Publié: (2026)

Measuring Rule-based LTLf Process Specifications: A Probabilistic Data-driven Approach
par: Cecconi, Alessio, et autres
Publié: (2023)

The Topological Dual of a Dataset: A Logic-to-Topology Encoding for AlphaGeometry-Style Data
par: Bordg, Anthony
Publié: (2026)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
par: Gianola, Alessandro, et autres
Publié: (2023)

Minimal Model Reasoning in Description Logics: Don't Try This at Home!
par: Di Stefano, Federica, et autres
Publié: (2025)

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
par: An, Chenyang, et autres
Publié: (2024)

Long-term Power Grid Planning via Answer Set Programming
par: Ielo, Antonio, et autres
Publié: (2026)

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

Non-monotonic Extensions to Formal Concept Analysis via Object Preferences
par: Carr, Lucas, et autres
Publié: (2024)

Data Complexity in Expressive Description Logics With Path Expressions
par: Bednarczyk, Bartosz
Publié: (2024)

Perennial Semantic Data Terms of Use for Decentralized Web
par: Zhao, Rui, et autres
Publié: (2024)

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
par: Bienvenu, Meghyn, et autres
Publié: (2022)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
par: Buda, Alessandro G., et autres
Publié: (2026)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
par: Ielo, Antonio, et autres
Publié: (2024)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
par: D'Asaro, Fabio Aurelio, et autres
Publié: (2022)

A first-order logic characterization of safety and co-safety languages
par: Cimatti, Alessandro, et autres
Publié: (2022)

Comparing Neural Network Encodings for Logic-based Explainability
par: Carvalho, Levi Cordeiro, et autres
Publié: (2025)

Learning Explainable and Better Performing Representations of POMDP Strategies
par: Bork, Alexander, et autres
Publié: (2024)

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