5378 search results - page 116 / 1076 » Base Logics in Argumentation |
187
click to vote
TYPES
1995
Springer
15 years 9 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
144
click to vote
APAL
2010
15 years 6 months ago
2010
The description of resources in game semantics has never achieved the simplicity and precision of linear logic, because of the misleading conception that linear logic is more prim...
210
click to vote
ITS
1998
Springer
15 years 10 months ago
1998
Springer
We present a vision for learning environments, called Science Learning Spaces, that are rich in engaging content and activities, provide constructive experiences in scientific proc...
162
click to vote
CONTEXT
2007
Springer
16 years 8 days ago
2007
Springer
Mechanisms that underlie the inductive reasoning process in risk contexts are investigated. Experimental results indicate that people rate the same inductive reasoning argument dif...
167
click to vote
DAWAK
2009
Springer
15 years 10 months ago
2009
Springer
A process, based on argumentation theory, is described for classifying very noisy data. More specifically a process founded on a concept called “arguing from experience” is des...