Image de couverture de livre

On the Logical Content of Knowledge Bases

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Gheorghiu, Alexader V., Gu, Tao
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

Proof-theoretic Semantics for the Logic of Bunched Implications
par: Gu, Tao, et autres
Publié: (2023)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
par: Gheorghiu, Alexander V., et autres
Publié: (2023)

Proof-theoretic Semantics for First-order Logic
par: Gheorghiu, Alexander V.
Publié: (2024)

A Note on the Practice of Logical Inferentialism
par: Gheorghiu, Alexander V., et autres
Publié: (2024)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2022)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Dynamic Logic of Trust-Based Beliefs
par: Jiang, Junli, et autres
Publié: (2025)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
par: Zese, Riccardo, et autres
Publié: (2023)

Robustness of Constraint Automata for Description Logics with Concrete Domains
par: Demri, Stéphane, et autres
Publié: (2026)

Spectra of Cardinality Queries over Description Logic Knowledge Bases
par: Manière, Quentin, et autres
Publié: (2024)

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

Support is Search
par: Gheorghiu, Alexander V.
Publié: (2026)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
par: Lyon, Tim S., et autres
Publié: (2024)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
par: Bloch, Isabelle, et autres
Publié: (2025)

A Logic for Policy Based Resource Exchanges in Multiagent Systems
par: Ceragioli, Lorenzo, et autres
Publié: (2024)

Queries With Exact Truth Values in Paraconsistent Description Logics
par: Bienvenu, Meghyn, et autres
Publié: (2024)

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

Enhancing Framingham Cardiovascular Risk Score Transparency through Logic-Based XAI
par: Bezerra, Emannuel L. de A., et autres
Publié: (2026)

Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
par: Bednarczyk, Bartosz
Publié: (2023)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
par: Spaans, Jeroen, et autres
Publié: (2025)

Inferentialist Resource Semantics
par: Gheorghiu, Alexander V., et autres
Publié: (2024)

A Logic of Uncertain Interpretation
par: Bjorndahl, Adam
Publié: (2025)

Logical foundations of Smart Contracts
par: Kalala, Kalonji
Publié: (2025)

Metric Dynamic Equilibrium Logic
par: Becker, Arvid, et autres
Publié: (2024)

Existential Notation3 Logic
par: Arndt, Dörthe, et autres
Publié: (2023)

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

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

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

Extending Defeasibility for Propositional Standpoint Logics
par: Leisegang, Nicholas, et autres
Publié: (2025)

Logical Characterizations of GNNs with Mean Aggregation
par: Schönherr, Moritz, et autres
Publié: (2025)

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

Fuzzy Lattice-based Description Logic
par: Ding, Yiwen, et autres
Publié: (2025)

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

Model Change for Description Logic Concepts
par: Ozaki, Ana, et autres
Publié: (2026)

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

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

Categorical Construction of Logically Verifiable Neural Architectures
par: Nye, Logan
Publié: (2025)

On the Trap Space Semantics of Normal Logic Programs
par: Trinh, Van-Giang, et autres
Publié: (2026)

Logic Synthesis with Generative Deep Neural Networks
par: Li, Xihan, et autres
Publié: (2024)