2303 search results - page 146 / 461 » On the logic of argumentation theory |
174
click to vote
TLCA
2005
Springer
15 years 12 months ago
2005
Springer
αProlog is a logic programming language which is well-suited for rapid prototyping of type systems and operational semantics of typed λ-calculi and many other languages involving...
173
click to vote
SLOGICA
2008
15 years 6 months ago
2008
In the paper we explore the idea of describing Pawlak's rough sets using three-valued logic, whereby the value t corresponds to the positive region of a set, the value f -- to...
202
click to vote
MATES
2005
Springer
15 years 12 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
162
click to vote
CSCW
1998
ACM
15 years 10 months ago
1998
ACM
CSCW seems to have a persistent problem of understanding the nature of “cooperative work”. This paper argues that this problem is a direct result of not looking at the dynamic...
149
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Two schools of thoughts have emerged over the recent debate on internet router buffer sizing. One school argues that the presence of a large number of flows leads to traffic desync...