10568 search results - page 140 / 2114 » Computer Intelligence and Formalization |
100
click to vote
ECAI
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. Defeasible reasoning is a direction in nonmonotonic reasoning that is based on the use of rules that may be defeated by other rules. It is a simple, but often more effic...
AAMAS
2004
Springer
14 years 9 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
ASIAN
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper is concerned about relating formal and computational models of cryptography in case of active adversaries when formal security analysis is done with first ord...
EDOC
2005
IEEE
15 years 3 months ago
2005
IEEE
ICCS
2005
Springer
15 years 3 months ago
2005
Springer