Back to Results
First PageMeta Content
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


Journal of Artificial Intelligence Research314 Submitted 09/02; publishedCompiling Causal Theories to Successor State Axioms and STRIPS-Like Systems
Add to Reading List

Document Date: 2003-10-09 01:39:43

Open Document

File Size: 292,04 KB

Share Result on Facebook

Company

STRIPS-Like Systems / CCP / /

/

Facility

Computer Science The Hong Kong University of Science / /

NaturalFeature

Technology Clear Water Bay / /

Organization

AI Access Foundation / Hong Kong University of Science and Technology Clear Water Bay / /

PublishedMedium

Journal of Artificial Intelligence Research / /

Technology

artificial intelligence / /

SocialTag