Online Learning of Logic Based Neural Network Structures

von Guimarães, Victor
Veröffentlicht in ILP (30. : 2021 : Online) Inductive Logic Programming (2022)

Typed SLD-Resolution: Dynamic Typing for Logic Programming

von Barbosa, João
Veröffentlicht in LOPSTR (32. : 2022 : Tiflis) Logic-based program synthesis and transformation (2022)

Euro-Par 2014 parallel processing : 20th international conference, Porto, Portugal, August 25-29, 2014 ; proceedings

Veröffentlicht 2014

Data Type Inference for Logic Programming

von Barbosa, João
Veröffentlicht in LOPSTR (31. : 2021 : Online; Tallinn) Logic-based program synthesis and transformation (2022)

Overcoming Reinforcement Learning Limits with Inductive Logic Programming

von Rocha, Filipe Marinho
Veröffentlicht in World Conference on Information Systems and Technologies (8. : 2020 : Budva) Trends and innovations in information systems and technologies ; Volume 2 (2020)

From Reinforcement Learning Towards Artificial General Intelligence

von Rocha, Filipe Marinho
Veröffentlicht in World Conference on Information Systems and Technologies (8. : 2020 : Budva) Trends and innovations in information systems and technologies ; Volume 2 (2020)