:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Costantini, Stefania, Formisano, Andrea
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2309.16344
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

XAI-LAW: A Logic Programming Tool for Modeling, Explaining, and Learning Legal Decisions
by: Dovier, Agostino, et al.
Published: (2026)

Ensuring trustworthy and ethical behaviour in intelligent logical agents
by: Costantini, Stefania
Published: (2024)

GPU Accelerated Compact-Table Propagation
by: Santi, Enrico, et al.
Published: (2025)

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

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
by: Fandinno, Jorge, et al.
Published: (2024)

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

Data2Concept2Text: An Explainable Multilingual Framework for Data Analysis Narration
by: Bertini, Flavio, et al.
Published: (2025)

Differentiable Logic Programming for Distant Supervision
by: Takemura, Akihiro, et al.
Published: (2024)

DEL-ToM: Inference-Time Scaling for Theory-of-Mind Reasoning via Dynamic Epistemic Logic
by: Wu, Yuheng, et al.
Published: (2025)

Argumentative Characterizations of (Extended) Disjunctive Logic Programs
by: Heyninck, Jesse, et al.
Published: (2023)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
by: Derkinderen, Vincent, et al.
Published: (2024)

ChatLogic: Integrating Logic Programming with Large Language Models for Multi-Step Reasoning
by: Wang, Zhongsheng, et al.
Published: (2024)

Logic-of-Thought: Empowering Large Language Models with Logic Programs for Solving Puzzles in Natural Language
by: Li, Naiqi, et al.
Published: (2025)

Explaining Explanations in Probabilistic Logic Programming
by: Vidal, Germán
Published: (2024)

Self-Supervised Inductive Logic Programming
by: Patsantzis, Stassa
Published: (2025)

Epistemic Reject Option Prediction
by: Franc, Vojtech, et al.
Published: (2025)

Epistemic Injustice in Generative AI
by: Kay, Jackie, et al.
Published: (2024)

Depth-Bounded Epistemic Planning
by: Bolander, Thomas, et al.
Published: (2024)

Artificial Intelligence for the Internal Democracy of Political Parties
by: Novelli, Claudio, et al.
Published: (2024)

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
by: Martires, Pedro Zuidberg Dos, et al.
Published: (2023)

On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
by: Buraglio, Giovanni, et al.
Published: (2026)

On Scaling Neurosymbolic Programming through Guided Logical Inference
by: Valentin, Thomas Jean-Michel, et al.
Published: (2025)

Satisfiability Modulo Theory Meets Inductive Logic Programming
by: Upreti, Nijesh, et al.
Published: (2025)

On LLM-generated Logic Programs and their Inference Execution Methods
by: Tarau, Paul
Published: (2025)

Epistemic Deference to AI
by: Lange, Benjamin
Published: (2025)

On the Equivalence between Logic Programming and SETAF
by: Alcântara, João, et al.
Published: (2024)

Deductive Systems for Logic Programs with Counting
by: Fandinno, Jorge, et al.
Published: (2025)

Implementing Derivations of Definite Logic Programs with Self-Attention Networks
by: Thuy, Phan Thi Thanh, et al.
Published: (2024)

Architecting Trust in Artificial Epistemic Agents
by: Marchal, Nahema, et al.
Published: (2026)

Logic Augmented Generation
by: Gangemi, Aldo, et al.
Published: (2024)

Update Opacity: Epistemic Accessibility and Governance Under AI System Change
by: Ferrario, Andrea, et al.
Published: (2026)

DeepProofLog: Efficient Proving in Deep Stochastic Logic Programs
by: Jiao, Ying, et al.
Published: (2025)

Controlled Query Evaluation through Epistemic Dependencies
by: Cima, Gianluca, et al.
Published: (2024)

Can Structured Data Reduce Epistemic Uncertainty?
by: S, Shriram M, et al.
Published: (2024)

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

Integrating Belief Domains into Probabilistic Logic Programs
by: Azzolini, Damiano, et al.
Published: (2025)

Simulating Petri nets with Boolean Matrix Logic Programming
by: Ai, Lun, et al.
Published: (2024)

LP-LM: No Hallucinations in Question Answering with Logic Programming
by: Wu, Katherine, et al.
Published: (2025)

Boolean Matrix Logic Programming on the GPU
by: Ai, Lun
Published: (2024)

How Rules Represent Causal Knowledge: Causal Modeling with Abductive Logic Programs
by: Rückschloß, Kilian, et al.
Published: (2025)