Chien S. A. / SAT modulo LP / FF (Hoffmann 2003) LP / MIT Press / T LP / McDermott / Functional STRIPS / AAAI Press / DomainIndependent Planning Systems / Linear Programs C OLIN (Coles et al. 2009) LP / RPG (Coles et al. 2008a) Filuta (Dvorak & Bart´ak 2010) LP / / /
Facility
UK University of Huddersfield / Stanford University / Engineering University of Toronto / Canada King’s College / /
IndustryTerm
image processing / search control knowledge / control-rule guided search / web-services / Web Service Composition / 3d manufacturing problems 3d geometry / potential planning applications / action applications / search space / bioinformatics applications / breadthfirst search / transportation domain / Web Services / Web Engineering / /
Movie
A. I. / /
Organization
UK University of Huddersfield / Fox J. Christopher Beck Mechanical and Industrial Engineering Department of Informatics School of Computing / MIT / Stanford University / US Federal Reserve / Canada King’s College London / Artificial Copyright Intelligence / Logic-Based Artificial Intelligence / Association for the Advancement / University of Toronto / /