439 search results - page 67 / 88 » Instantiation-Based Automated Reasoning: From Theory to Prac... |
ECSQARU
2009
Springer
15 years 4 months ago
2009
Springer
Many computational problems linked to reasoning under uncertainty can be expressed in terms of computing the marginal(s) of the combination of a collection of (local) valuation fun...
TIME
2008
IEEE
15 years 4 months ago
2008
IEEE
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
TIME
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...
ILP
2007
Springer
15 years 3 months ago
2007
Springer
In reinforcement learning problems, an agent has the task of learning a good or optimal strategy from interaction with his environment. At the start of the learning task, the agent...
CAV
1998
Springer
15 years 2 months ago
1998
Springer
Assume-guarantee reasoning has long been advertised as an important method for decomposing proof obligations in system veri cation. Re nement mappings (homomorphisms) have long bee...