<--- Back to Details
First PageDocument Content
Artificial intelligence / Mathematics / Decomposition method / Precondition / Algorithm / Applied mathematics / Automated planning and scheduling / Hierarchical task network / Constraint programming
Date: 2009-07-14 20:12:38
Artificial intelligence
Mathematics
Decomposition method
Precondition
Algorithm
Applied mathematics
Automated planning and scheduling
Hierarchical task network
Constraint programming

Learning HTN Method Preconditions and Action Models from Partial Observations

Add to Reading List

Source URL: www.cse.ust.hk

Download Document from Source Website

File Size: 501,81 KB

Share Document on Facebook

Similar Documents

http://www.motomed.com/en.html Movement therapy for a better quality of life Physical movement is the precondition for your well-being. Let the MOTOmed bring movement into your life. It does not matter if you do passive

DocID: 1sDzq - View Document

Formal methods / Theoretical computer science / Software engineering / Mathematics / Hoare logic / Static program analysis / Algorithm / Precondition / Predicate transformer semantics / Loop invariant

Let tests drive or let Dijkstra derive? Presented at ALE2014 in Krakow Poland on August 21, 2014 Author: Sander Kooijmans Date: November 3, 2014 Why this document?

DocID: 1qWor - View Document

Filchner-Ronne Ice Shelf / British Antarctic Territory / Antarctica / Argentine Antarctica / Chilean Antarctic Territory / Water ice / Queen Elizabeth Land / Ronne / Ice shelf / Ice rise / Berkner Island / Wilhelm Filchner

Propagation of cracks through an ice shelf as precondition for calving: numerical experiments with an idealised glacial system

DocID: 1qFgu - View Document

Formal methods / Logic in computer science / Object-oriented programming / Postcondition / Precondition / Class invariant / Design by contract / Assertion / Constructor / Class / Invariant / Loop invariant

Inference of Necessary Field Conditions with Abstract Interpretation Mehdi Bouaziz 1 , Francesco Logozzo 2 , Manuel F¨ahndrich 2 ´ Ecole Normale Sup´erieure, Paris

DocID: 1px9E - View Document

Teacher training / Recruitment / Education in the United Kingdom / Formal methods / Induction / Credentialing / Precondition / Mathematical induction / Teacher induction

COMMISSION ON TEACHER CREDENTIALING General Education Induction Webinar: Preconditions, Standards,

DocID: 1oWwH - View Document