2303 search results - page 57 / 461 » On the logic of argumentation theory |
140
click to vote
ARGMAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics ...
166
click to vote
AAMAS
2005
Springer
15 years 6 months ago
2005
Springer
Communication between agents needs to be flexible enough to encompass together a variety of different aspects such as, conformance to society protocols, private tactics of the indi...
151
click to vote
SYNTHESE
2008
15 years 6 months ago
2008
This article identifies problems with regard to providing criteria that regulate the matching of logical formulae and natural language. We then take on to solve these problems by d...
203
click to vote
PLPV
2009
ACM
16 years 3 months ago
2009
ACM
We propose a new way to reason about general recursive functional programs in the dependently typed programming language Agda, which is based on Martin-L¨of’s intuitionistic ty...
162
click to vote
ARITH
2005
IEEE
15 years 11 months ago
2005
IEEE
— The Residue Logarithmic Number System (RLNS) represents real values as quantized logarithms which, in turn, are represented using the Residue Number System (RNS). Compared to t...