Library

Subject
Tags

10,976 matches · Logic, Reasoning, and Knowledge

#
001Answerable Judgment: A Formal Architecture for Decisions That Remain Open to RealityOpenAlexPaperRogério Figurelli4 days ago
002Answerable Judgment: A Formal Architecture for Decisions That Remain Open to RealityOpenAlexPaperRogério Figurelli4 days ago
003Presentation, Comparison, and Optimizer Semantics: Separations in Certification ComplexityOpenAlexPaperTristan Simas4 days ago
004The Open Planner: Certified Analytical Plans from Untrusted Searchers — A Research Program NoteOpenAlexPaperHuayin Wang4 days ago
005The Open Planner: Certified Analytical Plans from Untrusted Searchers — A Research Program NoteOpenAlexPaperHuayin Wang4 days ago
006The Open Planner: Certified Analytical Plans from Untrusted Searchers — A Research Program NoteOpenAlexPaperHuayin Wang4 days ago
007The Open Planner: Certified Analytical Plans from Untrusted Searchers — A Research Program NoteOpenAlexPaperHuayin Wang4 days ago
008Local Constitutional Revision: A Read–Write Decomposition of Locality (KA Constitutional Revision Notes II)OpenAlexPaperKarimov Hikmat5 days ago
009Local Constitutional Revision: A Read–Write Decomposition of Locality (KA Constitutional Revision Notes II)OpenAlexPaperKarimov Hikmat5 days ago
010Minimal Determining Support under Full Mixing Closure (KA Constitutional Revision Notes IV)OpenAlexPaperKarimov Hikmat5 days ago
011Minimal Determining Support under Full Mixing Closure (KA Constitutional Revision Notes IV)OpenAlexPaperKarimov Hikmat5 days ago
012The Weight Algebra of Information States: A Two-Layer Commutative Semiring for Superposition and PruningOpenAlexPaperAjax Benander5 days ago
013The Weight Algebra of Information States: A Two-Layer Commutative Semiring for Superposition and PruningOpenAlexPaperAjax Benander5 days ago
014The Δ = 0 Seepage Protocol, Version 2.2 — A Two-Channel Fixture for Detecting Exact-Zero Assumptions in Tolerance-Band ReasoningOpenAlexPaperAnderson leveille5 days ago
015The Δ = 0 Seepage Protocol, Version 2.2 — A Two-Channel Fixture for Detecting Exact-Zero Assumptions in Tolerance-Band ReasoningOpenAlexPaperAnderson leveille5 days ago
016he DLL Laboratory Platform: Status, Methodology, and Empirical Findings Through v9.7 A Bounded, Pre-Geometric Organizational Transition System and Its Evidence-Acquisition InfrastructureOpenAlexPaperStanley Everett Sambey5 days ago
017he DLL Laboratory Platform: Status, Methodology, and Empirical Findings Through v9.7 A Bounded, Pre-Geometric Organizational Transition System and Its Evidence-Acquisition InfrastructureOpenAlexPaperStanley Everett Sambey5 days ago
018Agentic Object-Oriented Programming (AOOP) and Asymmetric Agentic Governance (AAG): A Practical Architecture for System SovereigntyOpenAlexPaperJ. Jesus Terrazas A.6 days ago
019Explicit Two-Sided Variable Elimination in the Logic of Paradox: Uniform Interpolation, a Lyndon Refinement, and Finite Designation DefinabilityOpenAlexPaperJoaquim Reizi Higuchi6 days ago
020Explicit Two-Sided Variable Elimination in the Logic of Paradox: Uniform Interpolation, a Lyndon Refinement, and Finite Designation DefinabilityOpenAlexPaperJoaquim Reizi Higuchi6 days ago
021Extension-ranking Semantics for Abstract ArgumentationOpenAlexPaperKenneth Skiba, Tjitze Rienstra et al.6 days ago
022Gradual Semantics for Weighted Higher-Order Argumentation FrameworksOpenAlexPaperLeïla Amgoud, Dragan Doder et al.6 days ago
023The Weight Algebra of Information States: A Two-Layer Commutative Semiring for Superposition and PruningOpenAlexPaperAjax Benander6 days ago
024Agreement Without Progress: A Preregistered Null for Multi-Agent Drift DetectionOpenAlexPaperDiego Rincon7 days ago
025Agreement Without Progress: A Preregistered Null for Multi-Agent Drift DetectionOpenAlexPaperDiego Rincon7 days ago
026Introduction to the 42 <sup>nd</sup> International Conference on Logic Programming Special IssueOpenAlexPaperLaura Giordano, Wolfgang Faber et al.7 days ago
027On the completeness of the countable fragment of geometric logicOpenAlexPaperMatthew de Brecht7 days ago
028Pluralism in ReasoningOpenAlexPaperJouni-Matti Kuukkanen7 days ago
029Unified Causal Topological Model (U-CTM): A Unified Causal-Topological Substrate for Cross-Domain ReasoningOpenAlexPaperKhalid Hijazy7 days ago
030Unified Causal Topological Model (U-CTM): A Unified Causal-Topological Substrate for Cross-Domain ReasoningOpenAlexPaperKhalid Hijazy7 days ago
031A Revelation Principle for RationalizabilityOpenAlexPaperOlivier Gossner, Rafael VeielJul 23
032Certified Convergence Spaces: The Principle of Naturality, Part IIOpenAlexPaperELIO JAVIER GOGOL MERLETTIJul 23
033Exact-Real Advice and Smale's Seventh Problem: A Formal Construction in the Unrestricted BSS ModelOpenAlexPaperSpyridon Champeris TsanirasJul 23
034Exact-Real Advice and Smale's Seventh Problem: A Formal Construction in the Unrestricted BSS ModelOpenAlexPaperSpyridon Champeris TsanirasJul 23
035Filtro de Realidad v5 + Anti-Sycophancy: A model-agnostic conduct protocol for AI coding assistantsOpenAlexPaperItan Homero Ruiz-HernandezJul 23
036Filtro de Realidad v5 + Anti-Sycophancy: A model-agnostic conduct protocol for AI coding assistantsOpenAlexPaperItan Homero Ruiz-HernandezJul 23
037Imprecise Probabilistic Programming, Precisely: Credal Sets via Graded Monads, BDDs, and Semiring-Parametric Inference (Functional Pearl)OpenAlexPaperJack Liell-Cock, Sam StatonJul 23
038Logical Misconceptions, Pragmatic Insufficiencies in LLMs and How to Fix ThemOpenAlexPaperNicholas Asher, Swarnadeep BharJul 23
039Post Completeness in Conditional LogicOpenAlexPaperGiuliano Rosella, Yale WeissJul 23
040TBG-CoT-Bench: A Benchmark for Evaluating Temporal Belief Tracking over Chain-of-Thought Evidence SequencesOpenAlexPaperChae Mun LeeJul 23
041TBG-CoT-Bench: A Benchmark for Evaluating Temporal Belief Tracking over Chain-of-Thought Evidence SequencesOpenAlexPaperChae Mun LeeJul 23
042The Mathematics of Formal Verification in FinanceOpenAlexPaperMiquel Noguer Alonso, Alejandro Roige VazquezJul 23
043The Mathematics of Formal Verification in FinanceOpenAlexPaperMiquel Noguer Alonso, Alejandro Roige VazquezJul 23
044"The Δ = 0 Seepage Protocol, Version 2.1 — A Two-Channel Fixture for Detecting Exact-Zero Assumptions in Tolerance-Band Reasoning"OpenAlexPaperAnderson leveilleJul 22
045An Approach to the Abstract Interpretation of Goal-Directed Answer Set ProgrammingOpenAlexPaperDANIEL JURJO-RIVAS, Joaquín Arias et al.Jul 22
046Certified Convergence Spaces: The Principle of Naturality, Part IIOpenAlexPaperELIO JAVIER GOGOL MERLETTIJul 22
047Filtro de Realidad v5 + Anti-Sycophancy: A model-agnostic conduct protocol for AI coding assistantsOpenAlexPaperItan Homero Ruiz-HernandezJul 22
048Fundamental Propositional Logic with Preconditional: Strong Completeness, Finite Model Property, and Modal TranslationsOpenAlexPaperZhicheng ChenJul 22
049Information Propagation and Contraction in Functional InterpretationsOpenAlexPaperC XuJul 22
050Phase Semantic Cut-elimination for Intuitionistic Linear Logic with Least and Greatest Fixed PointsOpenAlexPaperJun Suzuki, Charles Grellois et al.Jul 22
051Towards Relating Ciao Assertions and LPTP TheoremsOpenAlexPaperMarco Pérez, Pedro López-García et al.Jul 22
052Definable Classes of Models and Frames in Bi-intuitionistic LogicOpenAlexPaperGuillermo Badía, Tomasz Kowalski et al.Jul 21
053ECL₃: Epistemic Causal Logic — Paper I: Core Logic, Semantics, and CompletenessOpenAlexPaperMarkus BauernfeindJul 21
054ECL₃: Epistemic Causal Logic — Paper I: Core Logic, Semantics, and CompletenessOpenAlexPaperMarkus BauernfeindJul 21
055ECL₃: Epistemic Causal Logic — Paper I: Core Logic, Semantics, and CompletenessOpenAlexPaperMarkus BauernfeindJul 21
056Prescriptive Logic as a Tool of Cognition. A Formal Framework for Model DynamicsOpenAlexPaperPavel E. GrigorievJul 21
057Proof-Theoretic Considerations on the Structure of Reasoning with Counterfactuals and KnowledgeOpenAlexPaperBartosz WięckowskiJul 21
058ZTL — Zero-Trust LogicOpenAlexPaperVitaliy ReznikJul 21
059ZTL — Zero-Trust LogicOpenAlexPaperVitaliy ReznikJul 21
060A Counterfactual Cause in Situation CalculusOpenAlexPaperDaxin Liu, Vaishak BelleJul 20

Showing 60 of 10,976 documents · scroll for more