11436 search results - page 216 / 2288 » Modeling Real Reasoning |
132
click to vote
ICCBR
2001
Springer
15 years 7 months ago
2001
Springer
From some perspectives Automated Collaborative Filtering (ACF) appears quite similar to Case-Based Reasoning (CBR). It works on data organised around users and assets that might be...
120
Voted
OWLED
2008
15 years 4 months ago
2008
Abstract. HermiT is a new OWL reasoner based on a novel "hypertableau" calculus. The new calculus addresses performance problems due to nondeterminism and model size--the...
107
click to vote
IJCAI
1993
15 years 4 months ago
1993
The problem of representing and reasoning about two notions of time that are relevant in the context of knowledge bases is addressed. These are called historical time and belief t...
108
Voted
JOLLI
2008
15 years 3 months ago
2008
Many social situations require a mental model of the knowledge, beliefs, goals, and intentions of others: a Theory of Mind (ToM). If a person can reason about other people's b...
134
click to vote
IGPL
2000
15 years 3 months ago
2000
This paper has two goals. First, we develop frameworks for logical systems which are able to re ect not only nonmonotonic patterns of reasoning, but also paraconsistent reasoning....