Open answer set programming for the semantic web (Q881833): Difference between revisions

@@ Property / describes a project that uses @@
+swrl
@@ Property / describes a project that uses: swrl / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Racer
@@ Property / describes a project that uses: Racer / 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.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2106354297
@@ Property / OpenAlex ID: W2106354297 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+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 @@
+Reasoning with infinite stable models
@@ Property / cites work: Reasoning with infinite stable models / rank @@
+Normal rank
@@ Property / cites work @@
+On the relative expressiveness of description logics and predicate logics
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539653
@@ Property / cites work: Q4539653 / rank @@
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-19
@@ Property / cites work: Automated Deduction – CADE-19 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938424
@@ Property / cites work: Q4938424 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation as failure in the head
@@ Property / cites work: Negation as failure in the head / rank @@
+Normal rank
@@ Property / cites work @@
+The Computational Complexity of Provability in Systems of Modal Propositional Logic
+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 @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / 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 @@
+Q4353561
@@ Property / cites work: Q4353561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:881833