3831 search results - page 103 / 767 » Dynamic Context Logic |
155
Voted
ICFCA
2007
Springer
15 years 7 months ago
2007
Springer
Recent advances in data and knowledge engineering have emphasized the need for formal concept analysis (FCA) tools taking into account structured data. There are a few adaptations ...
116
Voted
CORR
2000
Springer
15 years 3 months ago
2000
Springer
We study the dynamics of the so-called Game of Cards by using tools developed in the context of discrete dynamical systems. We extend a result of [4] and [10] (the last one in the ...
134
Voted
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abramsky’s logical formulation of domain theory is extended to encompass the domain theoretic model for picalculus processes of Stark and of Fiore, Moggi and Sangiorgi. This is ...
141
Voted
FMOODS
2000
15 years 5 months ago
2000
This paper presents a logic, called BOTL (Object-Based Temporal Logic), that facilitates the specification of dynamic and static properties of object-based systems. The logic is ba...
131
Voted
GRAMMARS
2000
15 years 3 months ago
2000
Inthis paper, we aim at giving alogical account of the representationalist view on minimalist grammars by refering to the notion of Proof-Net in Linear Logic. We propose at the sam...