2303 search results - page 166 / 461 » On the logic of argumentation theory |
175
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
In commercial spoken dialog systems, call flows are built by call flow designers implementing a predefined business logic. While it may appear obvious from this logic how the c...
176
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
This project aims to further our understanding of the practice of user-centered design (UCD) by observing the argumentation strategies used by designers in faceto-face meetings in...
247
click to vote
AGI
2011
14 years 10 months ago
2011
Abstract. Recent theories of universal algorithmic intelligence, combined with the view that the world can be completely specified in mathematical terms, have led to claims about ...
154
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Current techniques and tools for automated termination analysis of term rewrite systems (TRSs) are already very powerful. However, they fail for algorithms whose termination is ess...
157
click to vote
BIRTHDAY
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. With the recent trend of analysing the process of computation through the linear logic looking glass, it is well understood that the ability to copy and erase data is ess...