8 search results - page 2 / 2 » AOL: A logic of Acting, Sensing, Knowing, and Only Knowing |
SIGCSE
2000
ACM
13 years 10 months ago
2000
ACM
Classifying is a central activity in object-oriented programming and distinguishes it from procedural programming. Traditional logic, initiated by Aristotle, assigns classificatio...
DIS
1999
Springer
13 years 9 months ago
1999
Springer
After two decades of research on automated discovery, many principles are shaping up as a foundation of discovery science. In this paper we view discovery science as automation of ...
BSL
2006
13 years 5 months ago
2006
Schemata have played important roles in logic since Aristotle's Prior Analytics. The syllogistic figures and moods can be taken to be argument schemata as can the rules of the...