Copertina

Paraconsistent logic and query answering in inconsistent databases

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Middelburg, C. A.
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Databases Logic in Computer Science F.4.1; H.2.3; H.2.4
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Belnap-Dunn logic and query answering in inconsistent databases with null values
di: Middelburg, C. A.
Pubblicazione: (2023)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
di: Arndt, Dörthe, et al.
Pubblicazione: (2025)

Multiset semantics in SPARQL, Relational Algebra and Datalog
di: Angles, Renzo, et al.
Pubblicazione: (2026)

A Coq-based Axiomatization of Tarski's Mereogeometry
di: Barlatier, Patrick, et al.
Pubblicazione: (2025)

A Sequent Calculus for General Inductive Definitions
di: Eede, Robbe Van den, et al.
Pubblicazione: (2026)

The Equivalence Theorem: First-Class Relationships for Structurally Complete Database Systems
di: Alford, Matthew
Pubblicazione: (2026)

Degree-preserving Godel logics with an involution: intermediate logics and (ideal) paraconsistency
di: Coniglio, M. E., et al.
Pubblicazione: (2026)

Executable First-Order Queries in the Logic of Information Flows
di: Aamer, Heba, et al.
Pubblicazione: (2022)

Revisiting Conjunctive Query Entailment for $\mathcal S$
di: Ibáñez-García, Yazmín, et al.
Pubblicazione: (2025)

Complementing an imperative process algebra with a rely/guarantee logic
di: Middelburg, C. A.
Pubblicazione: (2025)

Inclusion with repetitions and Boolean constants -- implication problems revisited
di: Häggblom, Matilda
Pubblicazione: (2025)

Axiomatization of approximate exclusion
di: Häggblom, Matilda
Pubblicazione: (2024)

Axiomatizing approximate inclusion
di: Häggblom, Matilda
Pubblicazione: (2025)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
di: Tsamoura, Efthymia, et al.
Pubblicazione: (2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
di: Jung, Jean Christoph, et al.
Pubblicazione: (2023)

TPTP World Infrastructure for Non-classical Logics
di: Steen, Alexander, et al.
Pubblicazione: (2025)

Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics
di: Figueira, Santiago, et al.
Pubblicazione: (2023)

Proving correctness for SQL implementations of OCL constraints
di: Nguyen, Hoang, et al.
Pubblicazione: (2024)

Automating the Derivation of Unification Algorithms: A Case Study in Deductive Program Synthesis
di: Waldinger, Richard
Pubblicazione: (2025)

Refactoring-as-Propositions: Proved Refactoring of Hybrid Systems via Proved Refinements
di: Prebet, Enguerrand, et al.
Pubblicazione: (2026)

Uniform Substitution for Differential Refinement Logic
di: Prebet, Enguerrand, et al.
Pubblicazione: (2024)

Mechanized HOL Reasoning in Set Theory
di: Guilloud, Simon, et al.
Pubblicazione: (2024)

Incomplete Descriptions and Qualified Definiteness
di: Więckowski, Bartosz
Pubblicazione: (2024)

Term Orders for Optimistic Lambda-Superposition
di: Bentkamp, Alexander, et al.
Pubblicazione: (2025)

Metric Equational Theories
di: Mardare, Radu, et al.
Pubblicazione: (2025)

Canonical for Automated Theorem Proving in Lean
di: Norman, Chase, et al.
Pubblicazione: (2025)

Implementing Dependent Type Theory Inhabitation and Unification
di: Norman, Chase, et al.
Pubblicazione: (2026)

Locality in Residuated-Lattice Structures
di: Carr, James
Pubblicazione: (2025)

Space-time process algebra with asynchronous communication
di: Bergstra, J. A., et al.
Pubblicazione: (2024)

Discernment is all you need
di: Fuenmayor, David
Pubblicazione: (2026)

A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
di: Klaus, Natalia, et al.
Pubblicazione: (2026)

Robust Computation Tree Logic
di: Nayak, Satya Prakash, et al.
Pubblicazione: (2022)

Modal Logics -- RNmatrices vs. Nmatrices
di: Coniglio, Marcelo E., et al.
Pubblicazione: (2024)

On Angels and Demons: Strategic (De)Construction of Dynamic Models
di: Catta, Davide, et al.
Pubblicazione: (2026)

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

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs
di: de Rezende, Susanna F., et al.
Pubblicazione: (2019)

Semantics out of context: nominal absolute denotations for first-order logic and computation
di: Gabbay, Murdoch J.
Pubblicazione: (2013)

Denotational Semantics for ODRL: Knowledge-Based Constraint Conflict Detection
di: Mustafa, Daham, et al.
Pubblicazione: (2026)

Probabilistic imperative process algebra
di: Middelburg, C. A.
Pubblicazione: (2026)

The temporal conceptual data modelling language TREND
di: Berman, Sonia, et al.
Pubblicazione: (2024)