no code implementations • 1 Jul 2020 • Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt
Signature-based abduction aims at building hypotheses over a specified set of names, the signature, that explain an observation relative to some background knowledge.
no code implementations • 13 Nov 2018 • Warren Del-Pinto, Renate A. Schmidt
Abductive reasoning generates explanatory hypotheses for new observations using prior knowledge.
no code implementations • 28 Nov 2016 • Peter Baumgartner, Renate A. Schmidt
Overall, the results showed bottom-up model generation methods were good for disproving theorems and generating models for satisfiable problems, but less efficient than SPASS in auto mode for unsatisfiable problems.