Back to Results
First PageMeta Content
Golden ratio / Mathematics / Differential geometry / Proof theory / Jensen hierarchy / Numbers / Symbol / Constructible universe


First-Order Strong Progression for Local-Effect Basic Action Theories
Add to Reading List

Document Date: 2008-06-18 00:53:43

Open Document

File Size: 295,59 KB

Share Result on Facebook

Company

Multi-Agent Systems / Implementing Dynamical Systems / MIT Press / D0 hF / T (G φ) We / AAAI Press / /

/

Facility

Computer Science University of Toronto Toronto / /

Organization

Local-Effect Basic Action Theories Stavros Vassos Gerhard Lakemeyer Hector J. Levesque Department / Department of Computer Science RWTH Aachen / Computer Science University of Toronto Toronto / Machine Intelligence / MIT / American Association for Artificial IntelliCopyright / /

Person

Dov Gabbay / Hector J. Levesque / Mc / Gerhard Lakemeyer Hector / /

Position

model / /

PublishedMedium

Mathematische Annalen / /

Technology

artificial intelligence / /

URL

www.aaai.org / /

SocialTag