Revision programming (Q1389448): Difference between revisions

@@ Property / author @@
+Victor W. Marek
@@ Property / author: Victor W. Marek / rank @@
+Normal rank
@@ Property / author @@
+Miroslaw Truszczynski
@@ Property / author: Miroslaw Truszczynski / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ 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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(97)00092-3
+Normal rank
@@ Property / OpenAlex ID @@
+W2914023676
@@ Property / OpenAlex ID: W2914023676 / rank @@
+Normal rank