Image de couverture de livre

Explaining Explanations in Probabilistic Logic Programming

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Vidal, Germán
Format:	Preprint
Publié:	2024
Sujets:	Artificial Intelligence Programming Languages
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Distribution Semantics for Probabilistic Term Rewriting
par: Vidal, Germán
Publié: (2024)

Probabilistic Programs of Thought
par: Garg, Poorva, et autres
Publié: (2026)

Data Petri Nets meet Probabilistic Programming (Extended version)
par: Kuhn, Martin, et autres
Publié: (2024)

Probabilistic Programming with Programmable Variational Inference
par: Becker, McCoy R., et autres
Publié: (2024)

Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus
par: Rocha, Filipe Marinho, et autres
Publié: (2024)

A Reversible Semantics for Janus
par: Lanese, Ivan, et autres
Publié: (2026)

A Machine Learning-based Approach for Solving Recurrence Relations and its use in Cost Analysis of Logic Programs
par: Rustenholz, Louis, et autres
Publié: (2024)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
par: Hansen, Zachary
Publié: (2025)

Modeling Open-World Cognition as On-Demand Synthesis of Probabilistic Models
par: Wong, Lionel, et autres
Publié: (2025)

Modelling Program Spaces in Program Synthesis with Constraints
par: Hinnerichs, Tilman, et autres
Publié: (2025)

Improving LLM Classification of Logical Errors by Integrating Error Relationship into Prompts
par: Lee, Yanggyu, et autres
Publié: (2024)

FuzzyLogic.jl: a Flexible Library for Efficient and Productive Fuzzy Inference
par: Ferranti, Luca, et autres
Publié: (2023)

ScenicNL: Generating Probabilistic Scenario Programs from Natural Language
par: Elmaaroufi, Karim, et autres
Publié: (2024)

Relational Programming with Foundation Models
par: Li, Ziyang, et autres
Publié: (2024)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
par: Nerode, Anil, et autres
Publié: (2024)

Amortizing Pragmatic Program Synthesis with Rankings
par: Pu, Yewen, et autres
Publié: (2024)

Sharing State Between Prompts and Programs
par: Cheng, Ellie Y., et autres
Publié: (2025)

PDL: A Declarative Prompt Programming Language
par: Vaziri, Mandana, et autres
Publié: (2024)

LACUNA: Safe Agents as Recursive Program Holes
par: Zhao, Yaoyu, et autres
Publié: (2026)

SGLang: Efficient Execution of Structured Language Model Programs
par: Zheng, Lianmin, et autres
Publié: (2023)

Can Language Models Solve Olympiad Programming?
par: Shi, Quan, et autres
Publié: (2024)

HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis
par: Barke, Shraddha, et autres
Publié: (2024)

Grammar-Aware Literate Generative Mathematical Programming with Compiler-in-the-Loop
par: Rossi, Roberto, et autres
Publié: (2026)

MTP: A Meaning-Typed Language Abstraction for AI-Integrated Programming
par: Dantanarayana, Jayanaka L., et autres
Publié: (2024)

Oracular Programming: A Modular Foundation for Building LLM-Enabled Software
par: Laurent, Jonathan, et autres
Publié: (2025)

LLMs versus the Halting Problem: Characterizing Program Termination Reasoning
par: Sultan, Oren, et autres
Publié: (2026)

SEMBridge: Tagless-Final Program Semantics with Weakest-Precondition and Bounded-Checking Interpretations
par: Liang, Eric
Publié: (2026)

WatChat: Explaining perplexing programs by debugging mental models
par: Chandra, Kartik, et autres
Publié: (2024)

Compiler-Guided Inference-Time Adaptation: Improving GPT-5 Programming Performance in Idris
par: Li, Minda, et autres
Publié: (2026)

DriftScript: A Domain-Specific Language for Programming Non-Axiomatic Reasoning Agents
par: Brady, Seamus
Publié: (2026)

Program Skeletons for Automated Program Translation
par: Wang, Bo, et autres
Publié: (2025)

Logic-Q: Improving Deep Reinforcement Learning-based Quantitative Trading via Program Sketch-based Tuning
par: Li, Zhiming, et autres
Publié: (2023)

An Asynchronous Scheme for Rollback Recovery in Message-Passing Concurrent Programming Languages
par: Vidal, Germán
Publié: (2023)

DeepLL: Considering Linear Logic for the Analysis of Deep Learning Experiments
par: Papoulias, Nick
Publié: (2024)

Emergent Representations of Program Semantics in Language Models Trained on Programs
par: Jin, Charles, et autres
Publié: (2023)

Teaching Programming in the Age of Generative AI: Insights from Literature, Pedagogical Proposals, and Student Perspectives
par: Rubio-Manzano, Clemente, et autres
Publié: (2025)

AIOS Compiler: LLM as Interpreter for Natural Language Programming and Flow Programming of AI Agents
par: Xu, Shuyuan, et autres
Publié: (2024)

The Elements of Differentiable Programming
par: Blondel, Mathieu, et autres
Publié: (2024)

EnCompass: Enhancing Agent Programming with Search Over Program Execution Paths
par: Li, Zhening, et autres
Publié: (2025)

LecPrompt: A Prompt-based Approach for Logical Error Correction with CodeBERT
par: Xu, Zhenyu, et autres
Publié: (2024)