Sciweavers

9455 search results - page 1488 / 1891
» The Modelling Language Zinc
Sort
View
185
Voted
AOSE
2005
Springer
16 years 12 days ago
Formalisation and Analysis of the Temporal Dynamics of Conditioning
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...
Tibor Bosse, Catholijn M. Jonker, Sander A. Los, L...
171
Voted
CCIA
2005
Springer
16 years 12 days ago
On Warranted Inference in Possibilistic Defeasible Logic Programming
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...
Carlos Iván Chesñevar, Guillermo Ric...
227
Voted
CIKM
2005
Springer
16 years 12 days ago
Finding similar questions in large question and answer archives
There has recently been a significant increase in the number of community-based question and answer services on the Web where people answer other peoples’ questions. These serv...
Jiwoon Jeon, W. Bruce Croft, Joon Ho Lee
228
Voted
ECSQARU
2005
Springer
16 years 12 days ago
Argument-Based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
Carlos Iván Chesñevar, Guillermo Ric...
ICALP
2005
Springer
16 years 11 days ago
Password-Based Encryption Analyzed
Abstract. The use of passwords in security protocols is particularly delicate because of the possibility of off-line guessing attacks. We study password-based protocols in the cont...
Martín Abadi, Bogdan Warinschi
« Prev « First page 1488 / 1891 Last » Next »