A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
Fuente:
arXiv
Salvato in:
| Autori principali: | Howlader, Prosenjit, Liau, Churn-Jung |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
di: Howlader, Prosenjit, et al.
Pubblicazione: (2024)
di: Howlader, Prosenjit, et al.
Pubblicazione: (2024)
Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
di: Howlader, Prosenjit, et al.
Pubblicazione: (2026)
di: Howlader, Prosenjit, et al.
Pubblicazione: (2026)
Analysing Temporal Reasoning in Description Logics Using Formal Grammars
di: Bourgaux, Camille, et al.
Pubblicazione: (2025)
di: Bourgaux, Camille, et al.
Pubblicazione: (2025)
First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
di: Bloch, Isabelle, et al.
Pubblicazione: (2025)
di: Bloch, Isabelle, et al.
Pubblicazione: (2025)
Fuzzy Lattice-based Description Logic
di: Ding, Yiwen, et al.
Pubblicazione: (2025)
di: Ding, Yiwen, et al.
Pubblicazione: (2025)
Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
di: Farjami, Ali, et al.
Pubblicazione: (2026)
di: Farjami, Ali, et al.
Pubblicazione: (2026)
$Π$-NeSy: A Possibilistic Neuro-Symbolic Approach
di: Baaj, Ismaïl, et al.
Pubblicazione: (2025)
di: Baaj, Ismaïl, et al.
Pubblicazione: (2025)
Formalizing Kantian Ethics: Formula of the Universal Law Logic (FULL)
di: Olson, Taylor
Pubblicazione: (2026)
di: Olson, Taylor
Pubblicazione: (2026)
Integrating Fuzzy Logic into Deep Symbolic Regression
di: Gerdes, Wout, et al.
Pubblicazione: (2024)
di: Gerdes, Wout, et al.
Pubblicazione: (2024)
Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds
di: Nepvou, Alexandre Le
Pubblicazione: (2025)
di: Nepvou, Alexandre Le
Pubblicazione: (2025)
Differentiable Modal Logic for Multi-Agent Diagnosis, Orchestration and Communication
di: Sulc, Antonin
Pubblicazione: (2026)
di: Sulc, Antonin
Pubblicazione: (2026)
Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
di: Wang, Ruolin, et al.
Pubblicazione: (2024)
di: Wang, Ruolin, et al.
Pubblicazione: (2024)
APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
di: Ospanov, Azim, et al.
Pubblicazione: (2025)
di: Ospanov, Azim, et al.
Pubblicazione: (2025)
Reasoning Systems as Structured Processes: Foundations, Failures, and Formal Criteria
di: Nikooroo, Saleh, et al.
Pubblicazione: (2025)
di: Nikooroo, Saleh, et al.
Pubblicazione: (2025)
Stress-Testing the Reasoning Competence of LLMs With Proofs Under Minimal Formalism
di: Arkoudas, Konstantine, et al.
Pubblicazione: (2026)
di: Arkoudas, Konstantine, et al.
Pubblicazione: (2026)
Dynamic Logic of Trust-Based Beliefs
di: Jiang, Junli, et al.
Pubblicazione: (2025)
di: Jiang, Junli, et al.
Pubblicazione: (2025)
Large Language Models Imitate Logical Reasoning, but at what Cost?
di: McGinness, Lachlan, et al.
Pubblicazione: (2025)
di: McGinness, Lachlan, et al.
Pubblicazione: (2025)
A Syllogistic Probe: Tracing the Evolution of Logic Reasoning in Large Language Models
di: Zang, Zhengqing, et al.
Pubblicazione: (2026)
di: Zang, Zhengqing, et al.
Pubblicazione: (2026)
Logical Phase Transitions: Understanding Collapse in LLM Logical Reasoning
di: Zhang, Xinglang, et al.
Pubblicazione: (2026)
di: Zhang, Xinglang, et al.
Pubblicazione: (2026)
From Knowledge to Conjectures: A Modal Framework for Reasoning about Hypotheses
di: Vitali, Fabio
Pubblicazione: (2025)
di: Vitali, Fabio
Pubblicazione: (2025)
Possibilistic Computation Tree Logic: Decidability and Complete Axiomatization
di: Li, Yongming
Pubblicazione: (2025)
di: Li, Yongming
Pubblicazione: (2025)
Reasoning About Probabilities, Actions, and Knowledge in Fuzzy Modal Logic
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2026)
di: Kozhemiachenko, Daniil, et al.
Pubblicazione: (2026)
Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
di: Gupta, Gopal, et al.
Pubblicazione: (2025)
di: Gupta, Gopal, et al.
Pubblicazione: (2025)
Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
di: Schön, Oliver, et al.
Pubblicazione: (2026)
di: Schön, Oliver, et al.
Pubblicazione: (2026)
Advocate for Complete Benchmarks for Formal Reasoning with Formal/Informal Statements and Formal/Informal Proofs
di: Yousefzadeh, Roozbeh, et al.
Pubblicazione: (2025)
di: Yousefzadeh, Roozbeh, et al.
Pubblicazione: (2025)
A Comprehensive Survey of Fuzzy Implication Functions
di: Fernandez-Peralta, Raquel
Pubblicazione: (2025)
di: Fernandez-Peralta, Raquel
Pubblicazione: (2025)
Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation
di: Arisaka, Ryuta
Pubblicazione: (2024)
di: Arisaka, Ryuta
Pubblicazione: (2024)
Technical Report -- A Context-Sensitive Multi-Level Similarity Framework for First-Order Logic Arguments: An Axiomatic Study
di: David, Victor, et al.
Pubblicazione: (2026)
di: David, Victor, et al.
Pubblicazione: (2026)
Relating Answer Set Programming and Many-sorted Logics for Formal Verification
di: Hansen, Zachary
Pubblicazione: (2025)
di: Hansen, Zachary
Pubblicazione: (2025)
Formal Mathematical Reasoning: A New Frontier in AI
di: Yang, Kaiyu, et al.
Pubblicazione: (2024)
di: Yang, Kaiyu, et al.
Pubblicazione: (2024)
A Logic of Uncertain Interpretation
di: Bjorndahl, Adam
Pubblicazione: (2025)
di: Bjorndahl, Adam
Pubblicazione: (2025)
Fuzzy Datalog$^\exists$ over Arbitrary t-Norms
di: Lanzinger, Matthias, et al.
Pubblicazione: (2024)
di: Lanzinger, Matthias, et al.
Pubblicazione: (2024)
Queries With Exact Truth Values in Paraconsistent Description Logics
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)
Minimal Model Reasoning in Description Logics: Don't Try This at Home!
di: Di Stefano, Federica, et al.
Pubblicazione: (2025)
di: Di Stefano, Federica, et al.
Pubblicazione: (2025)
Dissecting Logical Reasoning in LLMs: A Fine-Grained Evaluation and Supervision Study
di: Zhou, Yujun, et al.
Pubblicazione: (2025)
di: Zhou, Yujun, et al.
Pubblicazione: (2025)
Abductive Reasoning in a Paraconsistent Framework
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)
Mediative Fuzzy Logic: From Type-1 Foundations to Type-2, Type-3 and Quantum Extensions
di: Ross, Oscar Montiel
Pubblicazione: (2026)
di: Ross, Oscar Montiel
Pubblicazione: (2026)
VEL: A Formally Verified Reasoner for OWL2 EL Profile
di: Ileri, Atalay Mert, et al.
Pubblicazione: (2024)
di: Ileri, Atalay Mert, et al.
Pubblicazione: (2024)
Temporal Inductive Logic Reasoning over Hypergraphs
di: Yang, Yuan, et al.
Pubblicazione: (2022)
di: Yang, Yuan, et al.
Pubblicazione: (2022)
Can Transformers Reason Logically? A Study in SAT Solving
di: Pan, Leyan, et al.
Pubblicazione: (2024)
di: Pan, Leyan, et al.
Pubblicazione: (2024)
Documenti analoghi
-
On the Logical and Algebraic Aspects of Reasoning with Formal Contexts
di: Howlader, Prosenjit, et al.
Pubblicazione: (2024) -
Towards a Simplified Theory of Double Boolean Algebras: Axioms and Topological Representation
di: Howlader, Prosenjit, et al.
Pubblicazione: (2026) -
Analysing Temporal Reasoning in Description Logics Using Formal Grammars
di: Bourgaux, Camille, et al.
Pubblicazione: (2025) -
First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
di: Bloch, Isabelle, et al.
Pubblicazione: (2025) -
Fuzzy Lattice-based Description Logic
di: Ding, Yiwen, et al.
Pubblicazione: (2025)