Image de couverture de livre

On Trivalent Logics, Compound Conditionals, and Probabilistic Deduction Theorems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gilio, Angelo, Over, David E., Pfeifer, Niki, Sanfilippo, Giuseppe
Format:	Preprint
Publié:	2023
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Checking Trustworthiness of Probabilistic Computations in a Typed Natural Deduction System
par: D'Asaro, Fabio Aurelio, et autres
Publié: (2022)

Deductive Systems for Logic Programs with Counting
par: Fandinno, Jorge, et autres
Publié: (2025)

Revealing Algorithmic Deductive Circuits for Logical Reasoning
par: Nguyen, Phuong Minh, et autres
Publié: (2026)

Theorem-of-Thought: A Multi-Agent Framework for Abductive, Deductive, and Inductive Reasoning in Language Models
par: Abdaljalil, Samir, et autres
Publié: (2025)

Semirings for Probabilistic and Neuro-Symbolic Logic Programming
par: Derkinderen, Vincent, et autres
Publié: (2024)

Declarative Probabilistic Logic Programming in Discrete-Continuous Domains
par: Martires, Pedro Zuidberg Dos, et autres
Publié: (2023)

Explaining Explanations in Probabilistic Logic Programming
par: Vidal, Germán
Publié: (2024)

Revac: A Social Deduction Reasoning Agent
par: Arya, Mihir Shriniwas, et autres
Publié: (2026)

Probabilistic Strategy Logic with Degrees of Observability
par: Mu, Chunyan, et autres
Publié: (2024)

Exploring the Reversal Curse and Other Deductive Logical Reasoning in BERT and GPT-Based Large Language Models
par: Wu, Da, et autres
Publié: (2023)

Inductive or Deductive? Rethinking the Fundamental Reasoning Abilities of LLMs
par: Cheng, Kewei, et autres
Publié: (2024)

Deduction Game Framework and Information Set Entropy Search
par: Meng, Fandi, et autres
Publié: (2024)

Efficiently Learning Probabilistic Logical Models by Cheaply Ranking Mined Rules
par: Feldstein, Jonathan, et autres
Publié: (2024)

JustLogic: A Comprehensive Benchmark for Evaluating Deductive Reasoning in Large Language Models
par: Chen, Michael K., et autres
Publié: (2025)

Neural Probabilistic Logic Learning for Knowledge Graph Reasoning
par: Sun, Fengsong, et autres
Publié: (2024)

Integrating Belief Domains into Probabilistic Logic Programs
par: Azzolini, Damiano, et autres
Publié: (2025)

Lattice Deduction Transformers
par: Davis, Liam, et autres
Publié: (2026)

DELE: Deductive $\mathcal{EL}^{++}$ Embeddings for Knowledge Base Completion
par: Mashkova, Olga, et autres
Publié: (2024)

DVM: Towards Controllable LLM Agents in Social Deduction Games
par: Zhang, Zheng, et autres
Publié: (2025)

The Stackelberg Speaker: Optimizing Persuasive Communication in Social Deduction Games
par: Zheng, Zhang, et autres
Publié: (2025)

Data-Driven Probabilistic Evaluation of Logic Properties with PAC-Confidence on Mealy Machines
par: Plambeck, Swantje, et autres
Publié: (2025)

To Neuro-Symbolic Classification and Beyond by Compiling Description Logic Ontologies to Probabilistic Circuits
par: Lazzari, Nicolas, et autres
Publié: (2026)

Boosting Deductive Reasoning with Step Signals In RLHF
par: Li, Jialian, et autres
Publié: (2024)

Teaching Probabilistic Logical Reasoning to Transformers
par: Nafar, Aliakbar, et autres
Publié: (2023)

Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation
par: Hillerstrom, Fieke, et autres
Publié: (2024)

EXPLAIN, AGREE, LEARN: Scaling Learning for Neural Probabilistic Logic
par: Verreet, Victor, et autres
Publié: (2024)

What Will Happen Next: Large Models-Driven Deduction for Emergency Instances
par: Hu, Zhengqing, et autres
Publié: (2026)

Unifying Deductive and Abductive Reasoning in Knowledge Graphs with Masked Diffusion Model
par: Gao, Yisen, et autres
Publié: (2025)

Correctness Learning: Deductive Verification Guided Learning for Human-AI Collaboration
par: Jin, Zhao, et autres
Publié: (2025)

Learning Probabilistic Temporal Logic Specifications for Stochastic Systems
par: Roy, Rajarshi, et autres
Publié: (2025)

Toward Mechanistic Explanation of Deductive Reasoning in Language Models
par: Maltoni, Davide, et autres
Publié: (2025)

Investigating the Robustness of Deductive Reasoning with Large Language Models
par: Hoppe, Fabian, et autres
Publié: (2025)

Towards Generating Controllable and Solvable Geometry Problem by Leveraging Symbolic Deduction Engine
par: Jiang, Zhuoxuan, et autres
Publié: (2025)

FGeo-DRL: Deductive Reasoning for Geometric Problems through Deep Reinforcement Learning
par: Zou, Jia, et autres
Publié: (2024)

REASON: Accelerating Probabilistic Logical Reasoning for Scalable Neuro-Symbolic Intelligence
par: Wan, Zishen, et autres
Publié: (2026)

AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning
par: Ping, Bowen, et autres
Publié: (2025)

Enhancing Geometric Ontology Embeddings for $\mathcal{EL}^{++}$ with Negative Sampling and Deductive Closure Filtering
par: Mashkova, Olga, et autres
Publié: (2024)

Data Analysis and Performance Evaluation of Simulation Deduction Based on LLMs
par: Zhang, Shansi, et autres
Publié: (2025)

Abduction-Deduction Entanglement: Domain Generalization via Representation Transplants
par: Jalaldoust, Kasra, et autres
Publié: (2026)

Inductive-Deductive Strategy Reuse for Multi-Turn Instructional Dialogues
par: Ou, Jiao, et autres
Publié: (2024)