443 search results - page 15 / 89 » Logics and Networks for Human Reasoning |
HICSS
1999
IEEE
15 years 1 months ago
1999
IEEE
This paper presents a judgement and decision making analysis of collaborative problem solving. This analysis is done with respect to the Raven and CoRaven decision-making tools fo...
CADE
1990
Springer
15 years 1 months ago
1990
Springer
In automated deduction systems that are intended for human use, the presentation of a proof is no less important than its discovery. For most of today's automated theorem pro...
IEICET
2006
14 years 9 months ago
2006
Abstract--We propose several heuristic algorithms that reconfigure logical topologies in wide-area wavelength-routed optical networks. Our reconfiguration algorithms attempt to kee...
ENTCS
2007
14 years 9 months ago
2007
The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specificatio...
HUC
2007
Springer
15 years 3 months ago
2007
Springer
We describe our experience building and using a reasoning system for providing context-based prompts to elders to take their medication. We describe the process of specification, ...