MLnetOiS Logo left

MLnetOiS Logo right

Resources:Datasets:Add/Update

 

Index
Resources
* Bibliography
* Courses
* Datasets
* Links
* Showcases
* Software

 


Add/Update Dataset

Modify the existing entry and click the "Update" button to submit your changes, or use "Add new" to newly register a dataset. For the multiple-selection fields (e.g. members) hold down the control key of your keyboard (<Ctrl>) and click with the (left) mouse button to select multiple entries.

 

 

 

Back

up arrow

 

b D, Y

up arrow

 

up arrow

 

 

 

up arrow

 

up arrow

 

 

 

up arrow

 

 

  • some characteristics of the target predicate, e.g. its i/o mode, type declarations
  • and the integrity constraints.
Auxiliary predicates are provided in the background theory (environment files). The present dataset includes training and testing data used for verification of functionality of SkilIt when inducing simple arithmetic and list processing concepts (e.g. sorting).

 

 

 

 

 

up arrow

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Index
Resources
* Bibliography
* Courses
* Datasets
* Links
* Showcases
* Software

 

 

 

Supported by EU project Esprit No. 29288, University of Magdeburg Logo Uni Magdeburg and GMD Logo GMD
© ECSC - EC - EAEC, Brussels-Luxembourg, 2000