3005 search results - page 101 / 601 » Logical Information Systems: from Taxonomies to Logics |
174
click to vote
NIPS
2003
15 years 7 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
158
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
In some application domains as composite software, ranging from search engines, to more general applications, like cooperative and distributed applications or e-business and e-comm...
209
click to vote
BTW
2007
Springer
16 years 17 days ago
2007
Springer
Abstract: We propose a new system that is able to handle the entire Personal Dataspace of a user. A Personal Dataspace includes all data pertaining to a user on all his disks and o...
154
click to vote
ACIIDS
2010
IEEE
15 years 11 months ago
2010
IEEE
This article investigates the role of common-knowledge in the principal-agent model under asymmetric information. We treat the problem: How the common-knowledge condition will be a...
160
click to vote
FSTTCS
2009
Springer
16 years 29 days ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...