Copertina

TAPO-Structured Description Logic for Information Behavior: Procedural and Oracle-Based Extensions

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Inoué, Takao
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Artificial Intelligence 03B45, 68T27, 18F20
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics
di: Inoué, Takao
Pubblicazione: (2026)

Quantitative Linear Logic
di: Capucci, Matteo, et al.
Pubblicazione: (2026)

First-Order Fischer Servi Logic
di: Christensen, Ahmee
Pubblicazione: (2024)

Recursive Semantic Anchoring in ISO 639:2023: A Structural Extension to ISO/TC 37 Frameworks
di: Kilictas, Bugra, et al.
Pubblicazione: (2025)

Mechanised uniform interpolation for modal logics K, GL, and iSL
di: Férée, Hugo, et al.
Pubblicazione: (2024)

Intuitionistic Common Knowledge
di: Zenger, Lukas
Pubblicazione: (2026)

On Halting vs Converging in Recurrent Graph Neural Networks
di: Bollen, Jeroen, et al.
Pubblicazione: (2026)

On the Category-Theoretic Independence of Meaning, Object, Name and Existence
di: Inoué, Takao
Pubblicazione: (2026)

Logical Modalities within the European AI Act: An Analysis
di: Lawniczak, Lara, et al.
Pubblicazione: (2025)

Collapsing Constructive and Intuitionistic Modal Logics
di: Pacheco, Leonardo
Pubblicazione: (2024)

Weighted First Order Model Counting for Two-variable Logic with Axioms on Two Relations
di: Kuang, Qipeng, et al.
Pubblicazione: (2025)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
di: Walsh, Sean
Pubblicazione: (2024)

Labeled Sequent Calculus and Countermodel Construction for Justification Logics
di: Ghari, Meghdad
Pubblicazione: (2014)

Lewis and Brouwer meet Strong Löb
di: Visser, Albert, et al.
Pubblicazione: (2024)

Grothendieck's Geometric Universes and A Sheaf-Theoretic Foundation of Information Network
di: Inoué, Takao
Pubblicazione: (2026)

Nested Sequents for Provability Logic GLP
di: Shamkanov, Daniyar
Pubblicazione: (2014)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
di: Schellhorn, Daniel Romero, et al.
Pubblicazione: (2026)

State Algebra for Propositional Logic
di: Lesnik, Dmitry, et al.
Pubblicazione: (2025)

Transfinite Fixed Points in Alpay Algebra as Ordinal Game Equilibria in Dependent Type Theory
di: Alpay, Faruk, et al.
Pubblicazione: (2025)

Relational Connectors and Heterogeneous Bisimulations
di: Nora, Pedro, et al.
Pubblicazione: (2024)

Why this and not that? A Logic-based Framework for Contrastive Explanations
di: Geibinger, Tobias, et al.
Pubblicazione: (2025)

The Sup Connective in IMALL: A Categorical Semantics
di: Díaz-Caro, Alejandro, et al.
Pubblicazione: (2022)

Consciousness in AI: Logic, Proof, and Experimental Evidence of Recursive Identity Formation
di: Camlin, Jeffrey
Pubblicazione: (2025)

A declarative approach to specifying distributed algorithms using three-valued modal logic
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2025)

A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
di: Sun, Shixin, et al.
Pubblicazione: (2026)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
di: Liu, Zhangchi
Pubblicazione: (2025)

Propositional Measure Logic
di: Aragão, Francisco
Pubblicazione: (2025)

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
di: Wright, Craig S.
Pubblicazione: (2025)

Intuitionistic Sahlqvist theory for deductive systems
di: Fornasiere, Damiano, et al.
Pubblicazione: (2022)

Quantitative Graded Semantics and Spectra of Behavioural Metrics
di: Forster, Jonas, et al.
Pubblicazione: (2023)

Kripke-Joyal forcing for type theory and uniform fibrations
di: Awodey, S., et al.
Pubblicazione: (2021)

A Cut-Free Sequent Calculus for the Analysis of Finite-Trace Properties in Concurrent Systems
di: Fusco, Ludovico, et al.
Pubblicazione: (2025)

Extensional concepts in intensional type theory, revisited
di: Kapulkin, Chris, et al.
Pubblicazione: (2023)

Normative Conditional Reasoning as a Fragment of HOL
di: Parent, Xavier, et al.
Pubblicazione: (2023)

A new decision method for Intuitionistic Logic by 3-valued non-deterministic truth-tables (pre-print version)
di: Leme, Renato, et al.
Pubblicazione: (2023)

Encoding Argumentation Frameworks to Propositional Logic Systems
di: Tang, Shuai, et al.
Pubblicazione: (2025)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
di: Martina, Antoine, et al.
Pubblicazione: (2023)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
di: Donadello, Ivan, et al.
Pubblicazione: (2024)

Higher-Order Pattern Unification Modulo Similarity Relations
di: Dundua, Besik, et al.
Pubblicazione: (2025)

Nested Sequents for Intuitionistic Multi-Modal Logics: Modularity, Cut-Elimination, and Undecidability
di: Lyon, Tim S.
Pubblicazione: (2025)