Sciweavers

329 search results - page 6 / 66
» Towards a Theory of Actor Computation
Sort
View
81
Voted
ICAIL
2003
ACM
15 years 5 months ago
Towards a Computational Account of Persuasion in Law
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...
Katie Greenwood, Trevor J. M. Bench-Capon, Peter M...
ENTCS
2006
156views more  ENTCS 2006»
14 years 11 months ago
Computational Effects in Topological Domain Theory
This paper contributes towards establishing the category QCB, of topological quotients of countably based spaces, and its subcategory TP, of topological predomains, as a flexible ...
Ingo Battenfeld
IJCINI
2007
139views more  IJCINI 2007»
14 years 11 months ago
AURELLIO: A Cognitive Computational Knowledge Representation Theory
: Cognitive informatics (CI) studies the natural intelligence and internal information processing mechanisms of the brain, as well as the processes involved in perception and cogni...
Mehdi Najjar, André Mayers
128
Voted
ACL2
2006
ACM
15 years 5 months ago
Towards a formal theory of on chip communications in the ACL2 logic
Julien Schmaltz, Dominique Borrione
BIRTHDAY
2004
Springer
15 years 5 months ago
Towards a Theory of Information
Wolfgang Lenski