Image de couverture de livre

From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Vitali, Fabio
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Epistemic Skills: Reasoning about Knowledge and Oblivion
par: Liang, Xiaolong, et autres
Publié: (2025)

Logic of Hypotheses: from Zero to Full Knowledge in Neurosymbolic Integration
par: Bizzaro, Davide, et autres
Publié: (2025)

Abductive Reasoning in a Paraconsistent Framework
par: Bienvenu, Meghyn, et autres
Publié: (2024)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
par: Howlader, Prosenjit, et autres
Publié: (2025)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
par: Arisaka, Ryuta
Publié: (2024)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing
par: Alhessi, Yousef, et autres
Publié: (2025)

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
par: Bhat, Vishak K, et autres
Publié: (2026)

The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents
par: Guasch, Antoni, et autres
Publié: (2025)

Constrained Assumption-Based Argumentation Frameworks
par: De Angelis, Emanuele, et autres
Publié: (2026)

On Probabilistic and Causal Reasoning with Summation Operators
par: Ibeling, Duligur, et autres
Publié: (2024)

Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
par: Ghosh, Avijeet, et autres
Publié: (2025)

Knowledge and Common Knowledge of Strategies
par: Miranda, Borja Sierra, et autres
Publié: (2025)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
par: Rashid, Adnan
Publié: (2026)

Neurosymbolic AI for Reasoning over Knowledge Graphs: A Survey
par: DeLong, Lauren Nicole, et autres
Publié: (2023)

Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds
par: Nepvou, Alexandre Le
Publié: (2025)

Differentiable Modal Logic for Multi-Agent Diagnosis, Orchestration and Communication
par: Sulc, Antonin
Publié: (2026)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
par: Srbinovska, Anita, et autres
Publié: (2026)

Permissible Knowledge Pooling
par: Dong, Huimin
Publié: (2024)

Reasoning in Neurosymbolic AI
par: Tran, Son, et autres
Publié: (2025)

Defeasible Reasoning on Concepts
par: Ding, Yiwen, et autres
Publié: (2024)

A framework for Conditional Reasoning in Answer Set Programming
par: Alviano, Mario, et autres
Publié: (2025)

Enhancing Analogical Reasoning in the Abstraction and Reasoning Corpus via Model-Based RL
par: Lee, Jihwan, et autres
Publié: (2024)

Generative Logic: A New Computer Architecture for Deterministic Reasoning and Knowledge Generation
par: Sergeev, Nikolai
Publié: (2025)

On the Logical Content of Knowledge Bases
par: Gheorghiu, Alexader V., et autres
Publié: (2025)

Common Knowledge Always, Forever
par: Diéguez, Martín, et autres
Publié: (2026)

Recursive Decomposition of Logical Thoughts: Framework for Superior Reasoning and Knowledge Propagation in Large Language Models
par: Qasim, Kaleem Ullah, et autres
Publié: (2025)

A Translation of Probabilistic Event Calculus into Markov Decision Processes
par: Xu, Lyris, et autres
Publié: (2025)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
par: Gupta, Gopal, et autres
Publié: (2025)

Fully Geometric Multi-Hop Reasoning on Knowledge Graphs with Transitive Relations
par: Zhapa-Camacho, Fernando, et autres
Publié: (2025)

Scalable Knowledge Refactoring using Constrained Optimisation
par: Liu, Minghao, et autres
Publié: (2024)

Knowledge Base Embeddings: Semantics and Theoretical Properties
par: Bourgaux, Camille, et autres
Publié: (2024)

A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
par: Zang, Zhengqing, et autres
Publié: (2026)

A Strategy for Implementing description Temporal Dynamic Algorithms in Dynamic Knowledge Graphs by SPIN
par: Shahbazi, Alireza, et autres
Publié: (2024)

Representing Pedagogic Content Knowledge Through Rough Sets
par: Mani, A
Publié: (2024)

A Compositional Framework for On-the-Fly LTLf Synthesis
par: Li, Yongkang, et autres
Publié: (2025)

FALCON: Scalable Reasoning over Inconsistent ALC Ontologies
par: Hinnerichs, Tilman, et autres
Publié: (2022)

Eidoku: A Neuro-Symbolic Verification Gate for LLM Reasoning via Structural Constraint Satisfaction
par: Miya, Shinobu
Publié: (2025)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
par: Wang, Ruolin, et autres
Publié: (2024)

Probabilistic Circuits for Knowledge Graph Completion with Reduced Rule Sets
par: Patil, Jaikrishna Manojkumar, et autres
Publié: (2025)

Navigating Taxonomic Expansions of Entity Sets Driven by Knowledge Bases
par: Amendola, Giovanni, et autres
Publié: (2025)