A program-level approach to revising logic programs under the answer set semantics (Q3585168): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5024
@@ Property / arXiv ID: 1007.5024 / rank @@
+Normal rank
@@ Property / cites work @@
+On properties of update sequences  based on causal rejection
+Normal rank
@@ Property / cites work @@
+A consistency-based approach for belief change
@@ Property / cites work: A consistency-based approach for belief change / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Dynamic updates of non-monotonic knowledge bases
@@ Property / cites work: Dynamic updates of non-monotonic knowledge bases / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3585168