887 search results - page 1 / 178 » A Science of Reasoning |
SIGCSE
2006
ACM
14 years 25 days ago
2006
ACM
The statistics show that the number of Computer Science majors is dropping across the United States. Possible reasons include a reduced number of jobs in the field, an incorrect p...
ARTMED
2006
13 years 7 months ago
2006
The Health Sciences provide a lively niche for case based reasoning applications. The main justification for this is that case based reasoning is a unique methodology in artificial...
CADE
2006
Springer
14 years 7 months ago
2006
Springer
CEL (Classifier for EL) is a reasoner for the small description logic EL+ which can be used to compute the subsumption hierarchy induced by EL+ ontologies. The most distinguishing ...
COSIT
2009
Springer
13 years 4 months ago
2009
Springer
People intuitively understand that function and purpose are critical parts of what human-configured entities are about, but these notions have proved difficult to capture formally....
FECS
2006
13 years 8 months ago
2006
This paper discusses infusing the critical thinking skill of finding reasons and conclusions in a basic