Some more theorems on structural entailment relations and non-deterministic semantics.
Carlos CaleiroSérgio MarcelinoUmberto RivieccioPublished in: CoRR (2023)
Keyphrases
- database languages
- programming language
- database systems
- logic programming
- structural information
- monotonicity constraints
- binary relations
- temporal relations
- lexico syntactic
- relational data model
- probabilistic logic
- conceptual graphs
- data model
- structural analysis
- formal semantics
- logical structure
- rdf graphs
- structural constraints
- digital topology
- logic programs
- co occurrence