Revision programming (Q1389448): Difference between revisions

@@ Property / cites work @@
+Datalog extensions for database queries and updates
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Q3960112
@@ Property / cites work: Q3960112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385536
@@ Property / cites work: Q4385536 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477998
@@ Property / cites work: Q3477998 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation by default and unstratifiable logic programs
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Q3919704
@@ Property / cites work: Q3919704 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional knowledge base revision and minimal change
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic for default reasoning
@@ Property / cites work: Modal logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4537433
@@ Property / cites work: Q4537433 / rank @@
+Normal rank
@@ Property / cites work @@
+Update by means of inference rules
@@ Property / cites work: Update by means of inference rules / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive powers of the logic programming semantics
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank