On reasoning and planning in real-time: An LDS-based approach
Författare
Redaktör
- Mike Anderson
- Tim Oates
Summary, in English
Avdelning/ar
- Computer Science
Publiceringsår
2005
Språk
Engelska
Sidor
30-35
Publikation/Tidskrift/Serie
AAAI Spring Symposium - Technical Report
Volym
SS-05-04
Dokumenttyp
Konferensbidrag
Förlag
American Association for Artificial Intelligence
Ämne
- Computer Science
Nyckelord
- Metamathematical methodology
- LDS-based approach
- Active logics
Conference name
2005 AAAI Spring Symposium
Conference date
2005-03-21 - 2005-03-23
Conference place
Stanford, CA, United States
Status
Published
ISBN/ISSN/Övrigt
- ISBN: 978-1-57735-230-3