1445 search results - page 119 / 289 » Abstract Interpretation of Logic Programs |
121
click to vote
FSTTCS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
126
click to vote
TSD
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Rhetorical structuring is field approached mostly by research in natural language (pragmatic) interpretation. However, in natural language generation (NLG) the rhetorica...
107
click to vote
CSL
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We consider two systems of constructive modal logic which are computationally motivated. Their modalities admit several computational interpretations and are used to capt...
119
click to vote
AUSAI
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Logics of knowledge have important applications for reasoning about security protocols and multi-agent systems. We extend the semantics for the logic of necessity with lo...
143
click to vote
CSL
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Milner introduced action calculi as a framework for investigating models of interactive behaviour. We present a type-theoretic account of action calculi using the proposi...