19 search results - page 4 / 4 » Defeasible Reasoning in Web-Based Forms through Argumentatio... |
ICS
2010
Tsinghua U.
14 years 7 months ago
2010
Tsinghua U.
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
ECIS
2001
13 years 11 months ago
2001
Decision making, whether by an individual or a group, can be substantially enhanced by a "systems thinking" approach. Because groups are often challenged to justify thei...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Many semantical aspects of programming languages are specified through calculi for constructing proofs: consider, for example, the specification of structured operational semantic...
SCAI
1993
13 years 11 months ago
1993
Among the most important challenges for contemporary AI research are the development of methods for improved robustness, adaptability, and overall interactiveness of systems. Inter...