:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Gilio, Angelo, Over, David E., Pfeifer, Niki, Sanfilippo, Giuseppe
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2303.10268
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

Revealing Algorithmic Deductive Circuits for Logical Reasoning
by: Nguyen, Phuong Minh, et al.
Published: (2026)

Theorem-of-Thought: A Multi-Agent Framework for Abductive, Deductive, and Inductive Reasoning in Language Models
by: Abdaljalil, Samir, et al.
Published: (2025)

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

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

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

Exploring the Reversal Curse and Other Deductive Logical Reasoning in BERT and GPT-Based Large Language Models
by: Wu, Da, et al.
Published: (2023)

Revac: A Social Deduction Reasoning Agent
by: Arya, Mihir Shriniwas, et al.
Published: (2026)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
by: Chen, Michael K., et al.
Published: (2025)

Probabilistic Strategy Logic with Degrees of Observability
by: Mu, Chunyan, et al.
Published: (2024)

Lattice Deduction Transformers
by: Davis, Liam, et al.
Published: (2026)

Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs
by: Cheng, Kewei, et al.
Published: (2024)

Deduction Game Framework and Information Set Entropy Search
by: Meng, Fandi, et al.
Published: (2024)

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

Neural Probabilistic Logic Learning for Knowledge Graph Reasoning
by: Sun, Fengsong, et al.
Published: (2024)

Teaching Probabilistic Logical Reasoning to Transformers
by: Nafar, Aliakbar, et al.
Published: (2023)

Efficiently Learning Probabilistic Logical Models by Cheaply Ranking Mined Rules
by: Feldstein, Jonathan, et al.
Published: (2024)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
by: Roy, Rajarshi, et al.
Published: (2025)

Boosting Deductive Reasoning with Step Signals In RLHF
by: Li, Jialian, et al.
Published: (2024)

DELE: Deductive $\mathcal{EL}^{++}$ Embeddings for Knowledge Base Completion
by: Mashkova, Olga, et al.
Published: (2024)

DVM: Towards Controllable LLM Agents in Social Deduction Games
by: Zhang, Zheng, et al.
Published: (2025)

The Stackelberg Speaker: Optimizing Persuasive Communication in Social Deduction Games
by: Zheng, Zhang, et al.
Published: (2025)

Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy Machines
by: Plambeck, Swantje, et al.
Published: (2025)

To Neuro-Symbolic Classification and Beyond by Compiling Description Logic Ontologies to Probabilistic Circuits
by: Lazzari, Nicolas, et al.
Published: (2026)

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
by: Hillerstrom, Fieke, et al.
Published: (2024)

EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
by: Verreet, Victor, et al.
Published: (2024)

What Will Happen Next: Large Models-Driven Deduction for Emergency Instances
by: Hu, Zhengqing, et al.
Published: (2026)

Unifying Deductive and Abductive Reasoning in Knowledge Graphs with Masked Diffusion Model
by: Gao, Yisen, et al.
Published: (2025)

Correctness Learning: Deductive Verification Guided Learning for Human-AI Collaboration
by: Jin, Zhao, et al.
Published: (2025)

Toward Mechanistic Explanation of Deductive Reasoning in Language Models
by: Maltoni, Davide, et al.
Published: (2025)

Investigating the Robustness of Deductive Reasoning with Large Language Models
by: Hoppe, Fabian, et al.
Published: (2025)

Signature Kernel Conditional Independence Tests in Causal Discovery for Stochastic Processes
by: Manten, Georg, et al.
Published: (2024)

REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence
by: Wan, Zishen, et al.
Published: (2026)

A Foundational Theory of Quantitative Abstraction: Adjunctions, Duality, and Logic for Probabilistic Systems
by: Anwer, Nivar, et al.
Published: (2025)

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine
by: Jiang, Zhuoxuan, et al.
Published: (2025)

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
by: Zou, Jia, et al.
Published: (2024)

Data Analysis and Performance Evaluation of Simulation Deduction Based on LLMs
by: Zhang, Shansi, et al.
Published: (2025)

Abduction-Deduction Entanglement: Domain Generalization via Representation Transplants
by: Jalaldoust, Kasra, et al.
Published: (2026)

Inductive-Deductive Strategy Reuse for Multi-Turn Instructional Dialogues
by: Ou, Jiao, et al.
Published: (2024)