Add a software to the database. Update the entry for this software.
Name (abbrev)
Name (full)
Category
Last update
MARKUS
(not yet available)
b D, Y
WWW
FTP
ftp://ftp.mlnet.org/ml-archive/ILP/public/software/markus
Platforms
Availability
Description
MARKUS is a system for induction of Prolog programs (ILP system) which extends Shapiro's Model Inference System in many directions. The main improvements are the optimal generation of a refinement graph and a more efficient search technique (iterative deepening search). The system is not interactive and employs the `covering' paradigm.
Contact person(s)
Related group(s)
Supported by EU project Esprit No. 29288, University of Magdeburg and GMD © ECSC - EC - EAEC, Brussels-Luxembourg, 2000