A rational reconstruction of nonmonotonic truth maintenance systems (Q2638808): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3829533
@@ Property / cites work: Q3829533 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3667969
@@ Property / cites work: Q3667969 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+On the Complexity of Timetable and Multicommodity Flow Problems
+Normal rank
@@ Property / cites work @@
+On the relation between default and autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Q3198885
@@ Property / cites work: Q3198885 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750427
@@ Property / cites work: Q5750427 / 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 @@
+Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0004-3702(90)90086-f
+Normal rank
@@ Property / OpenAlex ID @@
+W136379439
@@ Property / OpenAlex ID: W136379439 / rank @@
+Normal rank