Why-provenance information for RDF, rules, and negation (Q2248547): Difference between revisions

@@ Property / DOI @@
-.1007/s10472-013-9396-0
@@ Property / DOI: 10.1007/s10472-013-9396-0 / rank @@
-Normal rank
@@ Property / author @@
-Grigoris Antoniou
@@ Property / author: Grigoris Antoniou / rank @@
-Normal rank
@@ Property / author @@
+Grigoris Antoniou
@@ Property / author: Grigoris Antoniou / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Smodels
@@ Property / describes a project that uses: Smodels / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPARQL
@@ Property / describes a project that uses: SPARQL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XSB
@@ Property / describes a project that uses: XSB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TRIPLE
@@ Property / describes a project that uses: TRIPLE / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-013-9396-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2149965081
@@ Property / OpenAlex ID: W2149965081 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q58198064
@@ Property / Wikidata QID: Q58198064 / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for modular ERDF ontologies
@@ Property / cites work: A framework for modular ERDF ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Extended RDF: computability and complexity issues
@@ Property / cites work: Extended RDF: computability and complexity issues / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624127
@@ Property / cites work: Q3624127 / rank @@
+Normal rank
@@ Property / cites work @@
+On database query languages for K-relations
@@ Property / cites work: On database query languages for K-relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473278
@@ Property / cites work: Q4473278 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical foundations of object-oriented and frame-based languages
+Normal rank
@@ Property / cites work @@
+Tabled evaluation with delaying for general logic programs
+Normal rank
@@ Property / cites work @@
+Justifications for Logic Programming
@@ Property / cites work: Justifications for Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4739566
@@ Property / cites work: Q4739566 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with abstract constraint atoms: the role of computations
+Normal rank
@@ Property / cites work @@
+Complexity results for answer set programming with bounded predicate arities and implications
+Normal rank
@@ Property / cites work @@
+Conflict-Driven Answer Set Enumeration
@@ Property / cites work: Conflict-Driven Answer Set Enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Structures for Capturing the Provenance of SPARQL Queries
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Reconcilable differences
@@ Property / cites work: Reconcilable differences / rank @@
+Normal rank
@@ Property / cites work @@
+On negation in Hilog
@@ Property / cites work: On negation in Hilog / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715521
@@ Property / cites work: Q2715521 / rank @@
+Normal rank
@@ Property / cites work @@
+Making prolog more expressive
@@ Property / cites work: Making prolog more expressive / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+XSB: Extending Prolog with Tabled Logic Programming
+Normal rank
@@ Property / DOI @@
+.1007/S10472-013-9396-0
@@ Property / DOI: 10.1007/S10472-013-9396-0 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/amai/AnalytiDAP14
@@ Property / DBLP publication ID: journals/amai/AnalytiDAP14 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2248547