4978 search results - page 75 / 996 » Logical models of argument |
132
Voted
EUROCRYPT
2000
Springer
15 years 7 months ago
2000
Springer
We show that if any one-way function exists, then 3-round concurrent zero-knowledge arguments for all NP problems can be built in a model where a short auxiliary string with a pres...
106
Voted
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
Understanding knowledge transfer using computer-mediated context is becoming essential given that organizations are spread more and more globally. In this paper, we adopt elaborat...
115
Voted
RULEML
2010
Springer
15 years 1 months ago
2010
Springer
We investigate the concept of norm compliance in business process modeling. In particular we propose an extension of Formal Contract Logic (FCL), a combination of defeasible logic ...
125
Voted
TREC
2003
15 years 4 months ago
2003
After retrieval, this simple strategy yield to an important improvement of the average precision: from 17.02 up to 35.80. Task II. Our approach is based on argumentative structurin...
165
Voted
LPNMR
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, we continue to explore many-valued disjunctive logic programs with probabilistic semantics. In particular, we newly introduce the least model state semantics for suc...