© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Evaluating six candidate solutions for the small-disjunct problem and choosing the best solution via meta-learning
DR Carvalho and AA Freitas
Artificial Intelligence Review, 24(1):182-196, September 2005.Bibtex Record
@article{2227,
author = {DR Carvalho and AA Freitas},
title = {Evaluating six candidate solutions for the small-disjunct problem and choosing the best solution via meta-learning},
month = {September},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2227},
publication_type = {article},
submission_id = {26693_1119536735},
ISSN = {0269-2821},
journal = {Artificial Intelligence Review},
volume = {24},
number = {1},
publisher = {Springer},
}