375 search results - page 7 / 75 » Group announcement logic |
AIML
2008
13 years 9 months ago
2008
We provide proof-theoretic results about deliberative STIT logic. First we present STIT logic for individual agents without time, where the problem of satisfiability has recently b...
IDMS
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. This paper presents a system, called mTunnel, for application level tunneling of multicast trac in a lightweight manner, where the end-user is responsible for deciding w...
PADS
1997
ACM
13 years 11 months ago
1997
ACM
In traditional optimistic distributed simulation protocols, a logical process(LP) receiving a straggler rolls back and sends out anti-messages. Receiver of an anti-message may als...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
We present the first version of a comprehensive conformance test suite for reasoners implementing the OWL 2 RL/RDF rules language and compliant super languages, up to the scale of...
JSYML
2010
13 years 2 months ago
2010
We develop several aspects of local and global stability in continuous first order logic. In particular, we study type-definable groups and genericity.