Copertina

Epistemic Logic Programs: a study of some properties

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Costantini, Stefania, Formisano, Andrea
Natura:	Preprint
Pubblicazione:	2023
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Epistemic Reject Option Prediction
di: Franc, Vojtech, et al.
Pubblicazione: (2025)

Epistemic Injustice in Generative AI
di: Kay, Jackie, et al.
Pubblicazione: (2024)

Depth-Bounded Epistemic Planning
di: Bolander, Thomas, et al.
Pubblicazione: (2024)

Explaining Explanations in Probabilistic Logic Programming
di: Vidal, Germán
Pubblicazione: (2024)

Self-Supervised Inductive Logic Programming
di: Patsantzis, Stassa
Pubblicazione: (2025)

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

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

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

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

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

Epistemic Deference to AI
di: Lange, Benjamin
Pubblicazione: (2025)

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

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

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

Logic Augmented Generation
di: Gangemi, Aldo, et al.
Pubblicazione: (2024)

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

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

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

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

Active Epistemic Control for Query-Efficient Verified Planning
di: Qu, Shuhui
Pubblicazione: (2026)

Invariant Transformation and Resampling based Epistemic-Uncertainty Reduction
di: Hu, Sha
Pubblicazione: (2026)

Belief Filtering for Epistemic Control in Linguistic State Space
di: Dumbrava, Sebastian
Pubblicazione: (2025)