Search results
From MaRDI portal
- dynamic approach to abductive reasoning: abductive problem and abductive solution 2014-04-17 Paper Tableaux for structural abduction 2012-09-06 Paper A...10 bytes (18 words) - 12:29, 28 January 2024
- Obligations in Abductive Logic Programming 2022-07-01 Paper https://portal.mardi4nfdi.de/entity/Q5079779 2022-05-28 Paper Nonground Abductive Logic Programming...10 bytes (17 words) - 15:06, 9 December 2023
- 2014-04-30 Paper An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution 2014-04-17 Paper A colouring protocol for...10 bytes (18 words) - 18:02, 11 December 2023
- 2010-02-23 Paper Using abduction and induction for operational requirements elaboration 2009-08-14 Paper Nonmonotonic abductive inductive learning 2009-08-14...10 bytes (16 words) - 02:33, 13 December 2023
- Constraints: a General Framework based on Abductive Reasoning* 2018-10-02 Paper Evaluating Compliance: From LTL to Abductive Logic Programming 2018-05-03 Paper...10 bytes (16 words) - 15:06, 9 December 2023
- 2015-01-06 Paper An epistemic and dynamic approach to abductive reasoning: abductive problem and abductive solution 2014-04-17 Paper Explicit and Implicit Knowledge...10 bytes (21 words) - 05:12, 12 December 2023
- Programs from Context Dependent Examples 2017-11-09 Paper Probabilistic abductive logic programming using Dirichlet priors 2016-10-17 Paper Automated Inference...10 bytes (17 words) - 02:43, 9 December 2023
- Publication Date of Publication Type An abductive framework for extended logic programming 2022-08-30 Paper https://portal.mardi4nfdi.de/entity/Q5116415...10 bytes (16 words) - 08:53, 13 December 2023
- Programs from Context Dependent Examples 2017-11-09 Paper Probabilistic abductive logic programming using Dirichlet priors 2016-10-17 Paper Automated Inference...10 bytes (18 words) - 02:32, 11 December 2023
- Publication Date of Publication Type Indirect reciprocity with abductive reasoning 2024-02-13 Paper A cognitive-evolutionary model for the evolution of...10 bytes (17 words) - 14:53, 6 December 2023
- reasoning 2000-12-12 Paper Computing extended abduction through transaction programs 2000-06-07 Paper Abductive logic programming and disjunctive logic programming:...10 bytes (16 words) - 20:33, 11 December 2023
- Constraints: a General Framework based on Abductive Reasoning* 2018-10-02 Paper Evaluating Compliance: From LTL to Abductive Logic Programming 2018-05-03 Paper...10 bytes (16 words) - 03:36, 25 September 2023
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF 2009-07-24 Paper Specification and Verification of Agent Interaction Using Abductive Reasoning...10 bytes (16 words) - 12:43, 7 October 2023
- indeterminacy: A model of the KT(Kahneman-Tversky)-man 2009-12-11 Paper Abductive logics in a belief revision framework 2005-06-16 Paper Metaconfirmation...10 bytes (18 words) - 09:12, 13 December 2023
- de/entity/Q6182226 2024-01-23 Paper An abductive framework for extended logic programming 2022-08-30 Paper Dischargeable Obligations in Abductive Logic Programming 2022-07-01...10 bytes (16 words) - 09:44, 25 September 2023
- Publication Date of Publication Type Williamson's abductive case for the material conditional account 2023-08-10 Paper Inferential conditionals and evidentiality...10 bytes (16 words) - 21:09, 12 December 2023
- Programming and Nonmonotonic Reasoning 2007-11-07 Paper Application of abductive ILP to learning metabolic network inhibition from temporal data 2006-10-27...10 bytes (19 words) - 06:49, 12 December 2023
- de/entity/Q6182226 2024-01-23 Paper Dischargeable Obligations in Abductive Logic Programming 2022-07-01 Paper Abduction with probabilistic logic programming under the distribution...10 bytes (17 words) - 18:53, 24 September 2023
- Partial abductive inference in Bayesian belief networks by simulated annealing 2001-10-10 Paper Accelerating chromosome evaluation for partial abductive inference...10 bytes (18 words) - 06:55, 9 December 2023
- Approximating cost-based abduction is NP-hard 2006-02-07 Paper An efficient LP-based admissible heuristic for cost-based abduction 2005-11-15 Paper Recurrent...10 bytes (18 words) - 02:23, 13 December 2023