A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules (Q3455758): 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-319-24312-2_2
+Normal rank
@@ Property / OpenAlex ID @@
+W2235995182
@@ Property / OpenAlex ID: W2235995182 / 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 @@
+Analytic tableaux for default logics
@@ Property / cites work: Analytic tableaux for default logics / rank @@
+Normal rank
@@ Property / cites work @@
+A proof theoretical approach to default reasoning I: tableaux for default logic
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3455758