• About Us
  • Gifts
  • AITopics
  • AI Magazine
  • Conferences
  • Library
  • Membership
  • Publications
  • Symposia
  • Contact

Logical Formalizations of Commonsense Reasoning

Papers from the 2015 AAAI Spring Symposium

Leora Morgenstern, Theodore Patkos, Robert Sloan, Program Chair

Technical Report SS-15-04
Published by The AAAI Press, Palo Alto, California.
168 pp.

Electronic Version of the Technical Report (Download only): $10.00 (Special Introductory Price)

Softcover version of the technical report: $35.00 softcover
(For international orders please shipping options before ordering on website.)
ISBN 978-1-57735-708-4

[View Cart]

Endowing computers with common sense is one of the major long-term goals of Artificial Intelligence research. One approach to this problem is to formalize commonsense reasoning using representations based on formal logic or other formal theories. The challenges to creating such formalizations include the accumulation of large amounts of knowledge about our everyday world, the representation of this knowledge in suitable formal languages, the integration of different representations in a coherent way, and the development of reasoning methods that use these representations.

AAAI Press

Ordering Information

Conference Reports

EAAI Symposium Reports

Fall Symposium Reports

Spring Symposium Reports

Workshop Reports

Press Books

Press Proceedings

Journals

For Authors

Permissions Requests

Other Links

AAAI Home Page

Awards

Calendar

Jobs

Meetings

AAAI Press

Resources

AAAI Workshops

Follow @RealAAAI

This site is protected by copyright and trademark laws under US and International law. All rights reserved. Copyright © 1995–2020 Association for the Advancement of Artificial Intelligence.
Your use of this site is subject to our Terms and Conditions and Privacy Policy | Home | About AAAI | Search | Contact AAAI
AAAI Conferences | AI Magazine | AITopics | Awards | Calendar | Digital Library | Jobs | Meetings | Membership | Press | Press Room | Publications | Resources | Symposia | Workshops