scientific article; zbMATH DE number 7453141
From MaRDI portal
Publication:5020582
Publication date: 6 January 2022
Full work available at URL: https://arxiv.org/abs/1909.09017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Uses Software
Cites Work
- Unnamed Item
- ILP turns 20. Biography and future challenges
- An interpolating theorem prover
- Knowledge Representation, Reasoning and Declarative Problem Solving
- A new algorithm to automate inductive learning of default theories
- Induction from answer sets in nonmonotonic logic programs
- Inductive logic programming
This page was built for publication:
