1346 search results - page 29 / 270 » Alternating-time dynamic logic |
ECAI
2010
Springer
13 years 4 months ago
2010
Springer
Abstract. Statistical relational models, such as Markov logic networks, seek to compactly describe properties of relational domains by representing general principles about objects...
AUTOMATICA
1999
13 years 7 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
JANCL
2007
13 years 7 months ago
2007
ABSTRACT. Statements not only update our current knowledge, but also have other dynamic effects. In particular, suggestions or commands ‘upgrade’ our preferences by changing th...
VTC
2010
IEEE
13 years 5 months ago
2010
IEEE
1The classic Dynamic Source Routing (DSR) protocol opts for the route requiring the lowest number of hops for transmitting data from the source to the destination. However, owing t...
AMAI
2006
Springer
13 years 7 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B