2303 search results - page 34 / 461 » On the logic of argumentation theory |
TPHOL
1996
IEEE
15 years 6 months ago
1996
IEEE
We will present a Logic of Computable Functions based on the idea of Synthetic Domain Theory such that all functions are automatically continuous. Its implementation in the Lego pr...
140
Voted
ICAIL
2005
ACM
15 years 7 months ago
2005
ACM
d on Dung’s [4] abstract argumentation system • arguments: trees of chained defeasible inferences • aim: determine the status of a query given a belief base • incorporation...
MLQ
2006
15 years 1 months ago
2006
117
click to vote
SYNTHESE
2008
15 years 1 months ago
2008
The present paper offers some remarks on the significance of first order model theory for our understanding of theories, and more generally, for our understanding of the "stru...
240
Voted
TAGT
1998
Springer
15 years 6 months ago
1998
Springer