Data graphs with incomplete information (and a way to complete them)
From MaRDI portal
Publication:6545578
DOI10.1007/978-3-031-43619-2_49MaRDI QIDQ6545578
Valentin Cassano, Danae Dutto, Carlos Areces, Raul Fervari
Publication date: 29 May 2024
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Pure extensions, proof rules, and hybrid axiomatics
- Complete axiomatizations for XPath fragments
- Axiomatizations for downward XPath on data trees
- Logics of public communications
- Regular Expressions for Data Words
- Some modal aspects of XPath
- Decidability of Downward XPath
- Querying Graphs with Data
- The Voynich Manuscript: Evidence of the Hoax Hypothesis
- Querying Regular Graph Patterns
- Two-variable logic on data trees and XML reasoning
- On the Complexity of Verifying Consistency of XML Specifications
- Bisimulations on Data Graphs
- Modal logics of sabotage revisited
- Relation-changing modal operators: Fig. 1.
- Logic and structure
- Hybrid logic and its proof-theory
- An epistemic approach to model uncertainty in data-graphs
This page was built for publication: Data graphs with incomplete information (and a way to complete them)
