Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Open Access
Logical reduction of metarules
Machine learning, 2020-07, Vol.109 (7), p.1323-1369
2020
Link zum Volltext

Open Access
Superposition with Lambdas
Journal of automated reasoning, 2021-10, Vol.65 (7), p.893-940
2021
Link zum Volltext

Journal of automated reasoning, 2022-11, Vol.66 (4), p.575-584
2022
Link zum Volltext

Inductive Logic Programming, 2018, Vol.10759, p.124-139
2018
Link zum Volltext

Open Access
Unifying Splitting
Journal of automated reasoning, 2023-06, Vol.67 (2), p.16-16, Article 16
2023
Link zum Volltext

Logics in Artificial Intelligence, p.259-276
Link zum Volltext

Open Access
Superposition for Higher-Order Logic
Journal of automated reasoning, 2023-03, Vol.67 (1), p.10, Article 10
2023
Link zum Volltext

Journal of automated reasoning, 2022-11, Vol.66 (4), p.499-539
2022
Link zum Volltext

The Journal of artificial intelligence research, 2017-01, Vol.60, p.827-880
2017
Link zum Volltext

Journal of automated reasoning, 2022-11, Vol.66 (4), p.541-564
2022
Link zum Volltext


Automated Deduction - CADE-25, 2015, p.311-325
2015
Link zum Volltext

Open Access
Superposition with Lambdas
Automated Deduction – CADE 27, 2019, p.55-73
2019
Link zum Volltext


Inductive Logic Programming, 2018, Vol.11105, p.1-21
2018
Link zum Volltext










Suchergebnisse filtern
Filter anzeigen
Publikationsform
Erscheinungsjahr
n.n
n.n