10568 search results - page 140 / 2114 » Computer Intelligence and Formalization |
147
Voted
ECAI
2000
Springer
15 years 7 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...
119
Voted
AAMAS
2004
Springer
15 years 2 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...
117
Voted
ASIAN
2007
Springer
15 years 9 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...
98
Voted
EDOC
2005
IEEE
15 years 8 months ago
2005
IEEE
88
Voted
ICCS
2005
Springer
15 years 8 months ago
2005
Springer