3053 search results - page 79 / 611 » A Logic of Abstract Argumentation |
149
click to vote
LPNMR
2009
Springer
16 years 29 days ago
2009
Springer
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random “sparse” and “dense” pr...
157
click to vote
ICWL
2007
Springer
16 years 17 days ago
2007
Springer
Intelligent Tutoring Systems have made great strides in recent years. Many of these gains have been achieved for welldefined problems. However, solving ill-defined problems is imp...
174
click to vote
DEON
2010
Springer
15 years 8 months ago
2010
Springer
We provide a logical analysis of private international law, the body of law establishing when courts of a country should decide a case (jurisdiction) and what legal system they sho...
181
click to vote
CSFW
2006
IEEE
16 years 14 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
133
click to vote
BSL
2010
15 years 3 months ago
2010
This paper discusses certain problems arising within the treatment of the senses of functions in Alonzo Church's Logic of Sense and Denotation. Church understands such senses ...