4978 search results - page 25 / 996 » Logical models of argument |
COMMA
2008
13 years 10 months ago
2008
ITS
2010
Springer
13 years 7 months ago
2010
Springer
Being able to argue with a student to convince her or him about the rationale of tutoring hints is an important component of pedagogy. In this paper we present an argumentation fra...
KI
2009
Springer
14 years 3 months ago
2009
Springer
As a tractable description logic, DL-Lite provides a good compromise between expressive power and computational complexity of inference. It is therefore important to study ways of ...
TPHOL
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper addresses the crucial issue in the design of a proof development system of how to deal with partial functions and the related question of how to treat undefined terms. ...
JAPLL
2008
13 years 8 months ago
2008
In traditional mathematical models of argumentation an argument often consists of a chain of rules or reasons, beginning with premisses and leading to a conclusion that is endorse...