3515 search results - page 615 / 703 » On the semantics of Strategy Logic |
200
click to vote
IFIP
2004
Springer
16 years 13 days ago
2004
Springer
Ensuring correctness of software by formal methods is a very relevant and widely studied problem. Automatic verification of software using model checkers from the state space exp...
229
click to vote
JELIA
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Often, decision making involves autonomous agents that are structured in a complex hierarchy, representing e.g. authority. Typically the agents share the same body of kno...
230
click to vote
MKM
2004
Springer
16 years 12 days ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
187
click to vote
PROMAS
2004
Springer
16 years 12 days ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
202
click to vote
VLDB
2004
ACM
16 years 12 days ago
2004
ACM
SQL in the IBM® DB2® Universal Database™ for Linux®, UNIX®, and Windows® (DB2 UDB) database management product has been extended to support nested INSERT, UPDATE, and DELET...