:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	de Lima, Tiago, Lorini, Emiliano, Perrotin, Elise, Schwarzentruber, François
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science Artificial Intelligence
Acceso en línea:	https://arxiv.org/abs/2412.14073
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Graded Distributed Belief
por: Lorini, Emiliano, et al.
Publicado: (2025)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
por: Ghosh, Avijeet, et al.
Publicado: (2025)

A Logic for Reasoning About Aggregate-Combine Graph Neural Networks
por: Nunn, Pierre, et al.
Publicado: (2024)

Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
por: Chernobrovkin, Artem, et al.
Publicado: (2025)

Lecture Notes on Verifying Graph Neural Networks
por: Schwarzentruber, François
Publicado: (2025)

A Logic of "Black Box" Classifier Systems
por: Liu, Xinghan, et al.
Publicado: (2022)

On the Complexity of the Grounded Semantics for Infinite Argumentation Frameworks
por: Andrews, Uri, et al.
Publicado: (2025)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
por: Spaans, Jeroen, et al.
Publicado: (2025)

Verifying Quantized Graph Neural Networks is PSPACE-complete
por: Sälzer, Marco, et al.
Publicado: (2025)

Rational Capability in Concurrent Games
por: Li, Yinfeng, et al.
Publicado: (2025)

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

A Non-Interventionist Approach to Causal Reasoning based on Lewisian Counterfactuals
por: Aguilera-Ventura, Carlos, et al.
Publicado: (2025)

Finite Groundings for ASP with Functions: A Journey through Consistency
por: Gerlach, Lukas, et al.
Publicado: (2024)

The Ontology for Agents, Systems and Integration of Services: OASIS version 2
por: Bella, Giampaolo, et al.
Publicado: (2023)

Weak Permission is not Well-Founded, Grounded and Stable
por: Governatori, Guido
Publicado: (2024)

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

Operator-based semantics for choice programs: is choosing losing? (full version)
por: Heyninck, Jesse
Publicado: (2024)

Beyond the Black Box: A Cognitive Architecture for Explainable and Aligned AI
por: Keyi, Hu
Publicado: (2025)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
por: Heyninck, Jesse
Publicado: (2024)

Repairing Networks of $\mathcal{EL_\perp}$ Ontologies using Weakening and Completing -- Extended version
por: Li, Ying, et al.
Publicado: (2024)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
por: Beiser, Alexander, et al.
Publicado: (2025)

Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
por: Rehan, Zainab, et al.
Publicado: (2026)

Complexity in finitary argumentation (extended version)
por: Andrews, Uri, et al.
Publicado: (2025)

On the Trap Space Semantics of Normal Logic Programs
por: Trinh, Van-Giang, et al.
Publicado: (2026)

On the Boolean Network Theory of Datalog$^\neg$
por: Trinh, Van-Giang, et al.
Publicado: (2025)

Computing unsatisfiable cores for LTLf specifications
por: Roveri, Marco, et al.
Publicado: (2022)

A Compositional Framework for On-the-Fly LTLf Synthesis
por: Li, Yongkang, et al.
Publicado: (2025)

Towards Constraint Temporal Answer Set Programming
por: Cabalar, Pedro, et al.
Publicado: (2025)

Epistemic Logic Programs: Non-Ground and Counting Complexity
por: Eiter, Thomas, et al.
Publicado: (2025)

Sound and Complete Neurosymbolic Reasoning with LLM-Grounded Interpretations
por: Allen, Bradley P., et al.
Publicado: (2025)

Neuro-Symbolic Verification of LLM Outputs for Data-Sensitive Domains (extended preprint)
por: Sigloch, Paul, et al.
Publicado: (2026)

Dual Computational Horizons: Incompleteness and Unpredictability in Intelligent Systems
por: Ganguly, Abhisek
Publicado: (2025)

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

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
por: Vitali, Fabio
Publicado: (2025)

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

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
por: Cabalar, Pedro, et al.
Publicado: (2026)

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
por: Bhat, Vishak K, et al.
Publicado: (2026)

A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
por: Itoh, Kei
Publicado: (2025)

System ASPMT2SMT:Computing ASPMT Theories by SMT Solvers
por: Bartholomew, Michael, et al.
Publicado: (2025)

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
por: D'Asaro, Fabio Aurelio, et al.
Publicado: (2022)