846 search results - page 69 / 170 » On the Computational Complexity of Spatio-Temporal Logics |
199
click to vote
NMR
2004
Springer
16 years 6 days ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
288
click to vote
ASC
2007
16 years 5 months ago
2007
Credit risk has always been an important issue for banks
and other financial intermediaries. A reliable and consistent
computing system is necessary to simplify the decision
mak...
190
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
180
click to vote
ASP
2003
Springer
16 years 2 days ago
2003
Springer
Default logic is used to describe regular behavior and normal properties. We suggest to exploit the framework of default logic for detecting outliers - individuals who behave in a...
194
click to vote
CHARME
2003
Springer
16 years 2 days ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...