The rise and fall of semantic rule updates based on<tt>SE</tt>-models (Q2933088): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3884
@@ Property / arXiv ID: 1306.3884 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong equivalence made easy: nested expressions and weight constraints
+Normal rank
@@ Property / cites work @@
+Propositional theories are strongly equivalent to logic programs
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Q3477931
@@ Property / cites work: Q3477931 / rank @@
+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 @@
+Logics in artificial intelligence. 10th European conference, JELIA 2006, Liverpool, UK, September 13--15, 2006. Proceedings
+Normal rank
@@ Property / cites work @@
+Progress in artificial intelligence. 11th Portuguese conference on artificial intelligence, EPIA 2003, Beja, Portugal, December 4--7, 2003. Proceedings
+Normal rank
@@ Property / cites work @@
+An abductive framework for computing knowledge base updates
+Normal rank
@@ Property / cites work @@
+The refinement extension principle for semantics of dynamic logic programming
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Updates in answer set programming: An approach based on basic structural properties
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+The polynomial-time hierarchy
@@ Property / cites work: The polynomial-time hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Artificial intelligence and mathematics. 1
@@ Property / cites work: Artificial intelligence and mathematics. 1 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional belief base update and minimal change
+Normal rank
@@ Property / cites work @@
+Logic program-based updates
@@ Property / cites work: Logic program-based updates / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and nonmonotonic reasoning. 9th international conference, LPNMR 2007, Tempe, AZ, USA, May 15--17, 2007. Proceedings
+Normal rank
@@ Property / cites work @@
+Q3995235
@@ Property / cites work: Q3995235 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2933088