86 search results - page 18 / 18 » Exploring inconsistencies between modal transition systems |
NIPS
2007
13 years 7 months ago
2007
Much of human knowledge is organized into sophisticated systems that are often called intuitive theories. We propose that intuitive theories are mentally represented in a logical ...