Abductive inference in defeasible reasoning: a model for research programmes (Q2565607): 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.1016/j.jal.2004.07.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2088384424
@@ Property / OpenAlex ID: W2088384424 / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction in well-founded semantics and generalized stable models via tabled dual programs
+Normal rank
@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Cumulative default logic: In defense of nonmonotonic inference rules
+Normal rank
@@ Property / cites work @@
+Q2735819
@@ Property / cites work: Q2735819 / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of pragmatic truth
@@ Property / cites work: The logic of pragmatic truth / rank @@
+Normal rank
@@ Property / cites work @@
+Artificial intelligence: methodology, systems, and applications. 8th international conference, AIMSA '98. Sozopol, Bulgaria, September 21--23, 1998. Proceedings
+Normal rank
@@ Property / cites work @@
+Special issue: abductive logic programming
@@ Property / cites work: Special issue: abductive logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
+Normal rank
@@ Property / cites work @@
+Q3248911
@@ Property / cites work: Q3248911 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional entailment: bridging two approaches to default reasoning.
+Normal rank
@@ Property / cites work @@
+Abductive Logic Programming
@@ Property / cites work: Abductive Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Propagating imprecise probabilities in Bayesian networks
+Normal rank
@@ Property / cites work @@
+Abduction versus closure in causal theories.
@@ Property / cites work: Abduction versus closure in causal theories. / rank @@
+Normal rank
@@ Property / cites work @@
+Abduction aiming at empirical progress or even truth approximation leading to a challenge for computational modelling
+Normal rank
@@ Property / cites work @@
+Q4099559
@@ Property / cites work: Q4099559 / rank @@
+Normal rank
@@ Property / cites work @@
+Abductive consequence relations
@@ Property / cites work: Abductive consequence relations / rank @@
+Normal rank
@@ Property / cites work @@
+SLDNFA: An abductive procedure for abductive logic programs
+Normal rank
@@ Property / cites work @@
+Pragmatic truth and approximation to truth
@@ Property / cites work: Pragmatic truth and approximation to truth / rank @@
+Normal rank
@@ Property / cites work @@
+How to reason defeasibly
@@ Property / cites work: How to reason defeasibly / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998374
@@ Property / cites work: Q3998374 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4003913
@@ Property / cites work: Q4003913 / 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 @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning with inconsistent knowledge
@@ Property / cites work: A logic for reasoning with inconsistent knowledge / rank @@
+Normal rank
@@ Property / cites work @@
+A mathematical treatment of defeasible reasoning and its implementation.
+Normal rank
@@ Property / cites work @@
+Defeasible reasoning + partial models: A formal framework for the methodology of research programs
+Normal rank
@@ Property / cites work @@
+Constructivism in mathematics. An introduction. Volume I
+Normal rank
@@ Property / cites work @@
+Abstract argumentation systems
@@ Property / cites work: Abstract argumentation systems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2565607