1341 search results - page 87 / 269 » Dynamic Testimonial Logic |
IJIT
2004
13 years 10 months ago
2004
This paper presents a new approach for automatic document categorization. Exploiting the logical structure of the document, our approach assigns a HTML document to one or more cate...
ENTCS
2008
13 years 9 months ago
2008
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
WOLLIC
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper presents a new version of the CL contract specification language. CL combines deontic logic with propositional dynamic logic but it applies the modalities exc...
ANSS
2003
IEEE
14 years 2 months ago
2003
IEEE
In this work, we present a computational behavioral model for logic gates called Internode (Internal Node Logic Computational Model) that considers the functionality of the gate a...
TARK
1998
Springer
14 years 1 months ago
1998
Springer
We study the dynamics of information change, using modal logic as a vehicle. Our semantic perspective is that of a supermodel in which a state represents some agent's informa...