Copertina

Incremental, inconsistency-resilient reasoning over Description Logic Abox streams

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Proost, Cas, Bonte, Pieter
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Queries With Exact Truth Values in Paraconsistent Description Logics
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2024)

Spectra of Cardinality Queries over Description Logic Knowledge Bases
di: Manière, Quentin, et al.
Pubblicazione: (2024)

Model Change for Description Logic Concepts
di: Ozaki, Ana, et al.
Pubblicazione: (2026)

Fuzzy Lattice-based Description Logic
di: Ding, Yiwen, et al.
Pubblicazione: (2025)

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

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
di: Lyon, Tim S., et al.
Pubblicazione: (2024)

Evaluating Datalog Tools for Meta-reasoning over OWL 2 QL
di: Qureshi, Haya Majid, et al.
Pubblicazione: (2024)

Robustness of Constraint Automata for Description Logics with Concrete Domains
di: Demri, Stéphane, et al.
Pubblicazione: (2026)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
di: Bourgaux, Camille, et al.
Pubblicazione: (2025)

Exploiting Uncertainty for Querying Inconsistent Description Logics Knowledge Bases
di: Zese, Riccardo, et al.
Pubblicazione: (2023)

A New Tractable Description Logic under Categorical Semantics
di: Duc, Chan Le, et al.
Pubblicazione: (2025)

Semiring Provenance for Lightweight Description Logics
di: Bourgaux, Camille, et al.
Pubblicazione: (2023)

Utilizing Description Logics for Global Explanations of Heterogeneous Graph Neural Networks
di: Köhler, Dominik, et al.
Pubblicazione: (2024)

Data Complexity in Expressive Description Logics With Path Expressions
di: Bednarczyk, Bartosz
Pubblicazione: (2024)

Dynamic Logic of Trust-Based Beliefs
di: Jiang, Junli, et al.
Pubblicazione: (2025)

Minimal Model Reasoning in Description Logics: Don't Try This at Home!
di: Di Stefano, Federica, et al.
Pubblicazione: (2025)

Dual Box Embeddings for the Description Logic EL++
di: Jackermeier, Mathias, et al.
Pubblicazione: (2023)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
di: Bloch, Isabelle, et al.
Pubblicazione: (2025)

Order-Sorted Intensional Logic: Expressing Subtyping Polymorphism with Typing Assertions and Quantification over Concepts
di: Marković, Đorđe, et al.
Pubblicazione: (2025)

Delta1 with LLM: symbolic and neural integration for credible and explainable reasoning
di: Xu, Yang, et al.
Pubblicazione: (2026)

Incremental Neural Network Verification via Learned Conflicts
di: Elsaleh, Raya, et al.
Pubblicazione: (2026)

Towards Projected and Incremental Pseudo-Boolean Model Counting
di: Yang, Suwei, et al.
Pubblicazione: (2024)

Temporal Inductive Logic Reasoning over Hypergraphs
di: Yang, Yuan, et al.
Pubblicazione: (2022)

A Logic of Uncertain Interpretation
di: Bjorndahl, Adam
Pubblicazione: (2025)

Metric Dynamic Equilibrium Logic
di: Becker, Arvid, et al.
Pubblicazione: (2024)

Logical foundations of Smart Contracts
di: Kalala, Kalonji
Pubblicazione: (2025)

On the Logical Content of Knowledge Bases
di: Gheorghiu, Alexader V., et al.
Pubblicazione: (2025)

Existential Notation3 Logic
di: Arndt, Dörthe, et al.
Pubblicazione: (2023)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
di: Wang, Ruolin, et al.
Pubblicazione: (2024)

Probabilistic Strategy Logic with Degrees of Observability
di: Mu, Chunyan, et al.
Pubblicazione: (2024)

Extending Defeasibility for Propositional Standpoint Logics
di: Leisegang, Nicholas, et al.
Pubblicazione: (2025)

Logical Characterizations of GNNs with Mean Aggregation
di: Schönherr, Moritz, et al.
Pubblicazione: (2025)

Deductive Systems for Logic Programs with Counting
di: Fandinno, Jorge, et al.
Pubblicazione: (2025)

On the Trap Space Semantics of Normal Logic Programs
di: Trinh, Van-Giang, et al.
Pubblicazione: (2026)

Logic Synthesis with Generative Deep Neural Networks
di: Li, Xihan, et al.
Pubblicazione: (2024)

Integrating Belief Domains into Probabilistic Logic Programs
di: Azzolini, Damiano, et al.
Pubblicazione: (2025)

Categorical Construction of Logically Verifiable Neural Architectures
di: Nye, Logan
Pubblicazione: (2025)

Dsat: A Native SAT Solver for Discrete Logic
di: Zhang, Yaofang, et al.
Pubblicazione: (2026)

Static Analysis of Logic Programs via Boolean Networks
di: Trinh, Van-Giang, et al.
Pubblicazione: (2024)

Proceedings 40th International Conference on Logic Programming
di: Cabalar, Pedro, et al.
Pubblicazione: (2025)