LiU Electronic Press
Full-text not available in DiVA
Author:
Haslum, Patrik (Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab) (Linköping University, The Institute of Technology)
Title:
Partial State Progression: An Extension to the Bacchus-Kabanza Algorithm, with Applications to Prediction and MITL Consistency
Department:
Linköping University, Department of Computer and Information Science, KPLAB - Knowledge Processing Lab
Linköping University, The Institute of Technology
Publication type:
Conference paper (Refereed)
Language:
English
In:
Proceedings of the AIPS 2002 workshop on Planning via Model Checking
Year of publ.:
2002
URI:
urn:nbn:se:liu:diva-59895
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-59895
Subject category:
Computer Science
SVEP category:
Computer science
Available from:
2010-09-29
Created:
2010-09-29
Last updated:
2010-10-22
Statistics:
9 hits