3994 search results - page 550 / 799 » A Linear Logical Framework |
225
click to vote
AMAI
2006
Springer
15 years 7 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
248
click to vote
ENTCS
2008
15 years 7 months ago
2008
Transformation systems such as Stratego/XT provide powerful analysis and transformation frameworks and concise languages for language processing, but instantiating them for every ...
168
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
168
click to vote
JAPLL
2008
15 years 7 months ago
2008
In human social interaction, the notions of commitment and trust are strongly interrelated. A formal model for this interrelation will enable artificial agents to benefit from the...
182
click to vote
INFSOF
2006
15 years 7 months ago
2006
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...