6300 search results - page 2 / 1260 » We have it easy, but do we have it right |
SEMWEB
2007
Springer
14 years 11 days ago
2007
Springer
Recent research on model counting in CNF formulas has shown that a certain sampling method can yield results that are sound with a provably high probability. The key idea is to ite...
ECWEB
2001
Springer
13 years 10 months ago
2001
Springer
Information Technology has changed our life and society already to such an extent that even our visions cannot exist without technology and its applications. And this change is acc...
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
This paper is concerned with argumentation-based dialogues between agents. Much work in this area has been based upon an influential taxonomy of dialogue types developed by Walto...
TARK
2005
Springer
13 years 11 months ago
2005
Springer
: Two difficult issues for the logic of knowledge have been logical omniscience and common knowledge. Our existing logics of knowledge based on Kripke structures seem to justify lo...
ACSAC
2002
IEEE
13 years 11 months ago
2002
IEEE
Designers are often faced with difficult tradeoffs between easing the user's burden by making security decisions for them and offering features that ensure that users can mak...