846 search results - page 66 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
140
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. de nite clause programs containing probabilistic facts with a ...
150
click to vote
KI
2010
Springer
14 years 7 months ago
2010
Springer
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equa...
111
click to vote
MMMACNS
2005
Springer
15 years 6 months ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
123
click to vote
DBPL
2005
Springer
15 years 6 months ago
2005
Springer
We study peer-to-peer ðP2PÞ data integration, where each peer models an autonomous system that exports data in terms of its own schema, and data interoperation is achieved by me...
98
Voted
IJCAI
2007
15 years 2 months ago
2007
Temporal reasoning is widely used within both Computer Science and A.I. However, the underlying complexity of temporal proof in discrete temporal logics has led to the use of simp...