Automatic Conjecturing of P-Recursions Using Lifted Inference

Bibliographische Detailangaben

Veröffentlicht in:	ILP (30. : 2021 : Online) Inductive Logic Programming
1. Verfasser:	Barvínek, Jáchym (VerfasserIn)
Weitere Verfasser:	Bremen, Timothy van (VerfasserIn), Wang, Yuyi (VerfasserIn), Železný, Filip (VerfasserIn), Kuželka, Ondřej (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2022
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!