Automated Deduction in Nonstandard Logics:
Papers from the AAAI Fall Symposium
Peter Jackson and Rich Scherl, Cochairs
Technical Report FS-93-01
169 pp., $30.00
ISBN 978-0-929280-50-9
[Add to Cart] [View Cart]
Papers in this technical report concern conditional, autoepistemic, linear, default, modal, temporal, and multivalued logics. Applications covered include planning, common sense reasoning, reasoning about actions, and modeling belief.