23 search results - page 5 / 5 » A Hybrid Public Announcement Logic with Distributed Knowledg... |
AC
2005
Springer
13 years 5 months ago
2005
Springer
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...
CADE
2011
Springer
12 years 5 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
AO
2007
13 years 5 months ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...