Back to Results
First PageMeta Content
O0 / Control theory / Disjunctive normal form / Economic model / Logic / Science / Mathematics / Algebraic logic / Boolean algebra / Adnan Darwiche


Microsoft Word - ijcai05d.doc
Add to Reading List

Document Date: 2007-06-28 00:31:02

Open Document

File Size: 252,42 KB

Share Result on Facebook

City

Improving Model / Edmonton / Portland / Seattle / Whistler / Sky / Nagoya / Durham / /

Company

CNF / Jet Propulsion Laboratory / Reactive Self-Configuring Systems / AAAI Press / Feedback Anthony Barrett Jet Propulsion Laboratory / /

Country

Japan / Canada / United Kingdom / /

/

Facility

Jet Propulsion Laboratory / California Institute of Technology / Feedback Anthony Barrett Jet Propulsion Laboratory California Institute of Technology / /

IndustryTerm

recovery systems / probabilistic min-cut algorithm / step solutions / example device / Online/Offline architecture / online performance guarantee / evaluation systems / /

Organization

Mars Science Lab / California Institute of Technology / National Aeronautics and Space Administration / Freie Universität Berlin / /

Person

Thomas Lockhart / Pierre Marquis / Regina Klimmek / Daniel Weld / Brian Williams / Marco Roveri / Michel Ingham / Adnan Darwiche / Compilation / John Van Eepoel / Amalaye Oyake / P. Pandurang Nayak / Chung / Nicholas Kushmerick / Seung Chung / Abdullah Aljabri / Daniel Dvorak / Steve Hanks / Micah Clarke / Alan Oursland / Mitch Ingham / Anthony Barrett / Alessandro Cimatti / Morgan Kaufmann / Frank Wagner / /

/

Position

author / implemented micro executive / desired target Offline Compiler Online Evaluator / COLLECTOR / model / Burton reconfiguration planner / Modelbased Executive / online evaluator / micro executive / symbolic model / rule evaluator / Planner / simple rule evaluator / /

ProgrammingLanguage

Allegro Common LISP / /

ProvinceOrState

Alberta / Oregon / British Columbia / /

PublishedMedium

Journal of Artificial Intelligence Research / /

Technology

Laser / artificial intelligence / probabilistic min-cut algorithm / caching / /

SocialTag