527 search results - page 13 / 106 » Towards a Natural Way of Reasoning |
WWW
2008
ACM
14 years 8 months ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
VMCAI
2010
Springer
14 years 4 months ago
2010
Springer
We propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations wh...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
We propose a concept that combines the cognitive with the computational approaches to experience-based trust reasoning. We emphasize that a cognitive component is vital for computa...
IFIP12
2010
13 years 5 months ago
2010
We are interested in developing tools to support the activities of lawyers in corporate litigation. In current applications, information such as characters that have played a signi...
ICAIL
2003
ACM
14 years 18 days ago
2003
ACM
In this paper we attempt to give an account of reasoning with legal cases contextualised within a general theory of persuasion in practical reasoning. We begin by presenting our g...