STRIPS - PDFSEARCH.IO - Document Search Engine

STRIPS
Results: 907

#	Item
321	ARTIFIC~L r~rELUOE~CE 189 STRIPS: A New Approach to the Application of .Theorem Proving to Add to Reading List Source URL: ai.stanford.edu Language: English - Date: 2004-11-22 14:26:00 Automated theorem proving Metalogic Rules of inference Logical syntax First-order logic Logic programming Resolution STRIPS Algorithm Logic Mathematical logic Mathematics
322	Journal of Artificial Intelligence Research328 Submitted 07/11; publishedSAS+ Planning as Satisfiability Ruoyun Huang Add to Reading List Source URL: www.jair.org Language: English - Date: 2012-03-13 19:59:19 SAS Limit Software Computing Artificial intelligence Automated planning and scheduling STRIPS
323	Boxy Stars Boxy Stars Workshop Class Supply List: This quick star block is made from scrap 2 1/2" strips! I made 12 quick star blocks for a bright and fun snuggle-sized quilt. Approximate size: 54"X68". Add to Reading List Source URL: quiltville.com Language: English - Date: 2013-07-30 23:20:57 Quilt Rectangle Needlework Culture Quilting Blankets Folk art
324	Journal of Artificial Intelligence Research314 Submitted 09/02; publishedCompiling Causal Theories to Successor State Axioms and STRIPS-Like Systems Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2003-10-09 01:39:43 Logic programming Automated planning and scheduling Situation calculus Functions and mappings Action description language STRIPS Function FO First-order logic Mathematics Mathematical logic Abstract algebra
325	Just Kisses Celebration Featuring Designed by Valori Wells Add to Reading List Source URL: www.robertkaufman.com Language: English Comics terminology Blankets Quilting Seam Quilt Comic strip formats Clothing Culture Visual arts Needlework Comic strips
326	Microsoft PowerPoint - figures3.ppt Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:19:12 Mathematics Automated planning and scheduling Linear programming Linear programming relaxation Relaxation Action Causality STRIPS Mathematical optimization Operations research Physics
327	Learning High-Level Planning from Text S.R.K. Branavan, Nate Kushman, Tao Lei, Regina Barzilay Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology {branavan, nkushman, taolei, re Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2012-05-11 11:57:26 Automated planning and scheduling STRIPS Planning Domain Definition Language
328	OneMansBlog.com/Signs FREE CHICKEN STRIPS (Take One) Add to Reading List Source URL: static.onemansblog.com - Date: 2012-08-16 10:39:38
329	LEARN INSTANTLY...WITH 1. in Add to Reading List Source URL: www.insta-learn.com Language: English - Date: 2015-01-13 11:49:12 Comics Automated planning and scheduling STRIPS Garfield Multiplication Mathematics American culture Artificial intelligence
330	To appear in the Proceedings of ICAPS2006. 1 Durative Planning in HTNs∗ Robert P. Goldman Add to Reading List Source URL: rpgoldman.goldman-tribe.org Language: English - Date: 2009-08-06 12:04:58 Hierarchical task network Dana S. Nau STRIPS Planning Job shop scheduling Time management Windows Task Scheduler Automated planning and scheduling Artificial intelligence Planning Domain Definition Language

UPDATE