Model-Checking Memory Requirements of Resource-Bounded Reasoners

Has publishing details , 2006

Has title Model-Checking Memory Requirements of Resource-Bounded Reasoners

Has url http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2006.html#AlboreABGLS06

Has where published AAAI

Has year 2006

Has author Alexandre Albore +, Natasha Alechina +, Piergiorgio Bertoli +, Chiara Ghidini +, Brian Logan +, Luciano Serafini +

Has identifier Model-Checking Memory Requirements of Resource-Bounded Reasoners +

Categories Proceeding Paper +