:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bienvenu, Meghyn, Bourgaux, Camille, Jean, Robin, Mazzotta, Giuseppe
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.19705686
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
by: Bienvenu, Meghyn, et al.
Published: (2023)

Querying Inconsistent Prioritized Data with ORBITS: Algorithms, Implementation, and Experiments
by: Bienvenu, Meghyn, et al.
Published: (2022)

Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation
by: Bienvenu, Meghyn, et al.
Published: (2020)

Inconsistency Handling in DatalogMTL
by: Bienvenu, Meghyn, et al.
Published: (2025)

Cost-Based Semantics for Querying Inconsistent Weighted Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2024)

A Rule-Based Approach to Specifying Preferences over Conflicting Facts and Querying Inconsistent Knowledge Bases
by: Bienvenu, Meghyn, et al.
Published: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
by: Bienvenu, Meghyn, et al.
Published: (2024)

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
by: Cuteri, Andrea, et al.
Published: (2026)

Data Complexity of Querying Description Logic Knowledge Bases under Cost-Based Semantics
by: Bienvenu, Meghyn, et al.
Published: (2025)

ASPEN: ASP-Based System for Collective Entity Resolution
by: Xiang, Zhiliang, et al.
Published: (2024)

How Hard is it to Decide if a Fact is Relevant to a Query?
by: Bienvenu, Meghyn, et al.
Published: (2026)

Responsibility Measures for Conjunctive Queries with Negation
by: Bienvenu, Meghyn, et al.
Published: (2026)

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

Shapley Revisited: Tractable Responsibility Measures for Query Answers
by: Bienvenu, Meghyn, et al.
Published: (2025)

Shapley Value Computation in Ontology-Mediated Query Answering
by: Bienvenu, Meghyn, et al.
Published: (2024)

Tractable Responsibility Measures for Ontology-Mediated Query Answering
by: Bienvenu, Meghyn, et al.
Published: (2025)

When is Shapley Value Computation a Matter of Counting?
by: Bienvenu, Meghyn, et al.
Published: (2023)

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
by: Amendola, Giovanni, et al.
Published: (2024)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
by: Bourgaux, Camille, et al.
Published: (2025)

Inferring High-Level Events from Timestamped Data: Complexity and Medical Applications
by: Awuklu, Yvon K., et al.
Published: (2026)

Semiring Provenance for Lightweight Description Logics
by: Bourgaux, Camille, et al.
Published: (2023)

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
by: Kuhlmann, Isabelle, et al.
Published: (2023)

Advances in Logic-Based Entity Resolution: Enhancing ASPEN with Local Merges and Optimality Criteria
by: Xiang, Zhliang, et al.
Published: (2025)

Knowledge Base Embeddings: Semantics and Theoretical Properties
by: Bourgaux, Camille, et al.
Published: (2024)

Drought response of zoysiagrass with varying leaf texture under progressive deficit irrigation
by: Meghyn Meeks, et al.
Published: (2024)

Quantifying over Optimum Answer Sets
by: Mazzotta, Giuseppe, et al.
Published: (2024)

Inconsistent Ontology Handling by Translating Description Logics into Defeasible Logic Programming
by: Sergio Alejandro Gómez
Published: (2007)

A Variable Occurrence-Centric Framework for Inconsistency Handling (Extended Version)
by: Salhi, Yakoub
Published: (2024)

A branching process with coalescence to model random phylogenetic networks
by: Bienvenu, François, et al.
Published: (2022)

Derecho A La Ciudad Y Conflictos Urbanos. La Ocupación Del Parque Indoamericano
by: Lucía Mazzotta
Published: (2015)

Set-theoretical solutions to the pentagon equation: a survey
by: Mazzotta, Marzia
Published: (2023)

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

Mathematically tractable models of random phylogenetic networks: an overview of some recent developments
by: Bienvenu, François
Published: (2024)

A retrospective cohort study and review of the literature about germline mosaicism in Duchenne/Becker muscular dystrophy prenatal counseling: How to estimate the recurrence risk in clinical settings?
by: Camille Verebi, et al.
Published: (2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
by: Ielo, Antonio, et al.
Published: (2024)

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

Prioritized Soft Q-Decomposition for Lexicographic Reinforcement Learning
by: Rietz, Finn, et al.
Published: (2023)

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

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