1943 search results - page 77 / 389 » Ordering Default Theories |
107
click to vote
DALT
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We propose an extension of action theories to intention theories in the framework of situation calculus. Moreover the method for implementing action theories is adapted t...
MFPS
1993
15 years 3 months ago
1993
All known structures involving a constructively obtainable fixed point (or iteration) operation satisfy the equational laws defining iteration theories. Hence, there seems to be...
106
click to vote
FROCOS
2009
Springer
15 years 6 months ago
2009
Springer
Deduction modulo consists in applying the inference rules of a deductive system modulo a rewrite system over terms and formulæ. This is equivalent to proving within a so-called co...
ICALP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
107
click to vote
ICNP
1998
IEEE
15 years 3 months ago
1998
IEEE
Flow Theory is a rich, effective theory introduced in order to study real-time network protocols. It is based on discrete mathematics in which a flow of data is represented by an ...