Reasoning with Forest Logic Programs and f-hybrid knowledge bases (Q5298799): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.2773
@@ Property / arXiv ID: 1110.2773 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3750100
@@ Property / cites work: Q3750100 / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction in logic programming: A new definition and an abductive procedure based on rewriting
+Normal rank
@@ Property / cites work @@
+Open answer set programming for the semantic web
@@ Property / cites work: Open answer set programming for the semantic web / rank @@
+Normal rank
@@ Property / cites work @@
+Web reasoning and rule systems. Third international conference, RR 2009, Chantilly, VA, USA, October 25--26, 2009, Proceedings
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Complexity results for answer set programming with bounded predicate arities and implications
+Normal rank
@@ Property / cites work @@
+Description logics of minimal knowledge and negation as failure
+Normal rank
@@ Property / OpenAlex ID @@
+W2963884565
@@ Property / OpenAlex ID: W2963884565 / rank @@
+Normal rank