Back to Results
First PageMeta Content
Formal languages / Propositional calculus / Logical syntax / Logic in computer science / Well-formed formula / Natural deduction / Method of analytic tableaux / Function / Formula / Logic / Mathematics / Mathematical logic


Bounded-Resource Reasoning as (Strong or Classical) Planning A. Albore1 , N. Alechina2 , P. Bertoli3 , C. Ghidini3 , and B. Logan2 Universitat Pompeu Fabra, pg.Circumval·laci´o[removed], Barcelona, Spain School of Compu
Add to Reading List

Document Date: 2009-09-21 08:27:09

Open Document

File Size: 1,33 MB

Share Result on Facebook

City

Trento / Barcelona / /

Country

United Kingdom / Italy / /

/

Facility

University of Nottingham / /

IndustryTerm

order proof systems / deductive systems / proof systems / proof search / classical planning algorithms / /

Organization

Spain School of Computer Science / University of Nottingham / Nottingham / Universitat Pompeu Fabra / /

Position

MP / A1 MP / planner / correspondent / B2 MP / MBP planner / /

ProgrammingLanguage

K / /

Technology

classical planning algorithms / /

SocialTag