@inproceedings{edee57f36508456ebf2d86b4bee8683a,
title = "Type System Based Rational Lazy IDA",
abstract = "Meta-reasoning can improve numerous search algorithms, but necessitates collection of statistics to be used as probability distributions, and involves restrictive meta-reasoning assumptions. The recently suggested scheme of type systems in search algorithms is used in this paper for collecting these statistics. The statistics are then used to better estimate the unknown quantity of expected regret of computing a heuristic in Rational Lazy IDA* (RLIDA*), and also facilitate a second improvement due to relaxing one of the unrealistic meta-reasoning assumptions in RLIDA*.",
author = "Oded Betzalel and Ariel Felner and Shimony, {Solomon Eyal}",
note = "Publisher Copyright: Copyright {\textcopyright} 2015, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.; 8th Annual Symposium on Combinatorial Search, SoCS 2015 ; Conference date: 11-06-2015 Through 13-06-2015",
year = "2015",
month = jan,
day = "1",
language = "الإنجليزيّة",
series = "Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015",
pages = "151--155",
editor = "Levi Lelis and Roni Stern",
booktitle = "Proceedings of the 8th Annual Symposium on Combinatorial Search, SoCS 2015",
}