4978 search results - page 75 / 996 » Logical models of argument |
EUROCRYPT
2000
Springer
14 years 1 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...
HICSS
2008
IEEE
14 years 4 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...
RULEML
2010
Springer
13 years 8 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 ...
TREC
2003
13 years 11 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...
LPNMR
2001
Springer
14 years 2 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...