Extended RDF: computability and complexity issues (Q905991): Difference between revisions

@@ Property / cites work @@
+A framework for modular ERDF ontologies
@@ Property / cites work: A framework for modular ERDF ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+MWeb
@@ Property / cites work: MWeb / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624127
@@ Property / cites work: Q3624127 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficiently Querying RDF(S) Ontologies with Answer Set Programming
+Normal rank
@@ Property / cites work @@
+HiLog: A foundation for higher-order logic programming
+Normal rank
@@ Property / cites work @@
+The undecidability of the domino problem
@@ Property / cites work: The undecidability of the domino problem / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+N3Logic: A logical framework for the World Wide Web
+Normal rank
@@ Property / cites work @@
+Complexity results for answer set programming with bounded predicate arities and implications
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Q3112629
@@ Property / cites work: Q3112629 / rank @@
+Normal rank
@@ Property / cites work @@
+Stable models and circumscription
@@ Property / cites work: Stable models and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-driven answer set solving: from theory to practice
+Normal rank
@@ Property / cites work @@
+Conflict-Driven Answer Set Enumeration
@@ Property / cites work: Conflict-Driven Answer Set Enumeration / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2715521
@@ Property / cites work: Q2715521 / rank @@
+Normal rank
@@ Property / cites work @@
+Cheap Boolean Role Constructors for Description Logics
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Combining Horn rules and description logics in CARIN
+Normal rank
@@ Property / cites work @@
+Q4012230
@@ Property / cites work: Q4012230 / rank @@
+Normal rank
@@ Property / cites work @@
+Answer set programming and plan generation
@@ Property / cites work: Answer set programming and plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling description logics and rules
@@ Property / cites work: Reconciling description logics and rules / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4739566
@@ Property / cites work: Q4739566 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank