Notions of sameness by default and their application to anaphora, vagueness, and uncertain reasoning (Q1024815): 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/s10849-008-9057-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2030379410
@@ Property / OpenAlex ID: W2030379410 / rank @@
+Normal rank
@@ Property / cites work @@
+Positive unit hyperresolution tableaux and their application to minimal model generation
+Normal rank
@@ Property / cites work @@
+Q3007253
@@ Property / cites work: Q3007253 / rank @@
+Normal rank
@@ Property / cites work @@
+The mathematics of non-monotonic reasoning
@@ Property / cites work: The mathematics of non-monotonic reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A comparative study of open default theories
@@ Property / cites work: A comparative study of open default theories / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the stable model semantics for logic programs
+Normal rank
@@ Property / cites work @@
+Open default theories over closed domains
@@ Property / cites work: Open default theories over closed domains / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions for open default theories via the domain closure assumption
+Normal rank
@@ Property / cites work @@
+Q4507867
@@ Property / cites work: Q4507867 / rank @@
+Normal rank
@@ Property / cites work @@
+Rules in incomplete information systems
@@ Property / cites work: Rules in incomplete information systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4229041
@@ Property / cites work: Q4229041 / 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 @@
+Rough sets
@@ Property / cites work: Rough sets / rank @@
+Normal rank
@@ Property / cites work @@
+A logical framework for default reasoning
@@ Property / cites work: A logical framework for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Equality and Domain Closure in First-Order Databases
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank