Search Results for author: Sophie Tourret

Found 4 papers, 0 papers with code

Connection-minimal Abduction in EL via Translation to FOL -- Technical Report

no code implementations17 May 2022 Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach

We consider TBox abduction in the lightweight description logic EL, where the observation is a concept inclusion and the background knowledge is a TBox, i. e., a set of concept inclusions.

Translation

Superposition with Lambdas

no code implementations31 Jan 2021 Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirović, Uwe Waldmann

We designed a superposition calculus for a clausal fragment of extensional polymorphic higher-order logic that includes anonymous functions but excludes Booleans.

Signature-Based Abduction for Expressive Description Logics -- Technical Report

no code implementations1 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.

Logical reduction of metarules

no code implementations25 Jul 2019 Andrew Cropper, Sophie Tourret

In general, derivation reduced sets of metarules outperforms subsumption and entailment reduced sets, both in terms of predictive accuracies and learning times.

Inductive logic programming

Cannot find the paper you are looking for? You can Submit a new open access paper.