Belief Base Change Operations for Answer Set Programming (Q2915080): Difference between revisions

@@ 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.1007/978-3-642-33353-8_23
+Normal rank
@@ Property / OpenAlex ID @@
+W1748075248
@@ Property / OpenAlex ID: W1748075248 / rank @@
+Normal rank
@@ Property / cites work @@
+AGM 25 years. Twenty-five years of research in belief change
+Normal rank
@@ Property / cites work @@
+On properties of update sequences  based on causal rejection
+Normal rank
@@ Property / cites work @@
+Merging Logic Programs under Answer Set Semantics
@@ Property / cites work: Merging Logic Programs under Answer Set Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+On Semantic Update Operators for Answer-Set Programs
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation---The A-Prolog perspective
+Normal rank
@@ Property / cites work @@
+A program-level approach to revising logic programs under the answer set semantics
+Normal rank
@@ Property / cites work @@
+Updates in answer set programming: An approach based on basic structural properties
+Normal rank
@@ Property / cites work @@
+A common view on strong, uniform, and other notions of equivalence in answer-set programming
+Normal rank
@@ Property / cites work @@
+The refinement extension principle for semantics of dynamic logic programming
+Normal rank
@@ Property / cites work @@
+Semi-revision
@@ Property / cites work: Semi-revision / rank @@
+Normal rank
@@ Property / cites work @@
+Dependency semantics for sequences of extended logic programs
+Normal rank
@@ Property / cites work @@
+Q4494325
@@ Property / cites work: Q4494325 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2915080