The pragmatic proof: Hypermedia API composition and execution (Q4593077): Difference between revisions

@@ Property / arXiv ID @@
+.07780
@@ Property / arXiv ID: 1512.07780 / rank @@
+Normal rank
@@ Property / cites work @@
+On rules with existential variables: walking the decidability line
+Normal rank
@@ Property / cites work @@
+N3Logic: A logical framework for the World Wide Web
+Normal rank
@@ Property / cites work @@
+Datalog reloaded. First international workshop, Datalog 2010, Oxford, UK, March 16--19, 2010. Revised selected papers
+Normal rank
@@ Property / cites work @@
+Q4317721
@@ Property / cites work: Q4317721 / rank @@
+Normal rank
@@ Property / cites work @@
+Query Rewriting and Optimization for Ontological Databases
+Normal rank
@@ Property / cites work @@
+Web reasoning and rule systems. Second international conference, RR 2008, Karlsruhe, Germany, October 31--November 1, 2008. Proceedings
+Normal rank
@@ Property / cites work @@
+Logical foundations of object-oriented and frame-based languages
+Normal rank
@@ Property / cites work @@
+Making prolog more expressive
@@ Property / cites work: Making prolog more expressive / rank @@
+Normal rank
@@ Property / cites work @@
+A Deductive Approach to Program Synthesis
@@ Property / cites work: A Deductive Approach to Program Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Web reasoning and rule systems. 5th international conference, RR 2011, Galway, Ireland, August 29--30, 2011. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4536767
@@ Property / cites work: Q4536767 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3106502556
@@ Property / OpenAlex ID: W3106502556 / rank @@
+Normal rank