887 search results - page 34 / 178 » A Science of Reasoning |
CADE
2004
Springer
14 years 9 months ago
2004
Springer
LRR [3] is a rewriting system developed at the Computer Science Department of University of Houston. LRR has two subsystems: Smaran (for tabled rewriting), and TGR (for untabled re...
DIS
2000
Springer
14 years 1 months ago
2000
Springer
With the variety of human life, people are interested in various matters for each one’s unique reason, for which a machine maybe a better counselor than a human. This paper prop...
ATAL
2006
Springer
14 years 18 days ago
2006
Springer
Intelligent agents are typically situated in a social environment and must reason about social cause and effect. Such reasoning is qualitatively different from physical causal rea...
SIGMOD
2008
ACM
14 years 9 months ago
2008
ACM
There are several useful guides available for how to review a paper in Computer Science [10, 6, 12, 7, 2]. These are soberly presented, carefully reasoned and sensibly argued. As ...
DIGRA
2005
Springer
14 years 2 months ago
2005
Springer
We were motivated to consider proposing/adopting a new curriculum by the decrease in student enrolments currently experienced by our computing science programs. This requirement f...