Sciweavers

1540 search results - page 97 / 308
» Deceptive agents and language
Sort
View
CEEMAS
2001
Springer
14 years 18 days ago
On BAN Logics for Industrial Security Protocols
This paper reports on two case-studies of applying BAN logic to industrial strength security protocols. These studies demonstrate the flexibility of the BAN language, as it caters...
Nesria Agray, Wiebe van der Hoek, Erik P. de Vink
AAAI
2008
13 years 10 months ago
ADROIT: Automatic Discourse Relation Organizer of Internet-based Text
The ADROIT system that we are developing allows automatic discourse analysis of information rich natural language texts extracted directly from the web. We use guidelines and rela...
A. S. M. Mahbub Morshed, Mitsuru Ishizuka
AAAI
2008
13 years 10 months ago
Yoopick: A Combinatorial Sports Prediction Market
We describe Yoopick, a combinatorial sports prediction market that implements a flexible betting language, and in turn facilitates fine-grained probabilistic estimation of outcome...
Sharad Goel, David Pennock, Daniel M. Reeves, Cong...
AAAI
2006
13 years 9 months ago
Laughing with HAHAcronym, a Computational Humor System
Computational humor is a challenge with implications for many classical fields in AI such as, for example, natural language processing, intelligent human-computer interaction, rea...
Oliviero Stock, Carlo Strapparava
AAAI
1998
13 years 9 months ago
The Temporal Analysis of Chisholm's Paradox
Deonticlogic, the logic of obligations andpermissions, is plagued by several paradoxes that have to be understood before deontic logic can be used as a knowledge representation la...
Leendert W. N. van der Torre, Yao-Hua Tan