Disjunctive logic programming with types and objects: the \(\mathrm{DLV}^{+}\) system (Q2372203): Difference between revisions

@@ Property / DOI @@
-.1016/j.jal.2006.02.002
@@ Property / DOI: 10.1016/j.jal.2006.02.002 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2006.02.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2126260950
@@ Property / OpenAlex ID: W2126260950 / rank @@
+Normal rank
@@ Property / cites work @@
+HiLog: A foundation for higher-order logic programming
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Discovery Science
@@ Property / cites work: Discovery Science / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734932
@@ Property / cites work: Q2734932 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Logical foundations of object-oriented and frame-based languages
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.JAL.2006.02.002
@@ Property / DOI: 10.1016/J.JAL.2006.02.002 / rank @@
+Normal rank