3831 search results - page 326 / 767 » Dynamic Context Logic |
165
click to vote
WOA
2007
15 years 7 months ago
2007
—Reasoning by interrogation is one of the most ancient and experimented ways of reasoning. Originated by the Aristotelian elenchus, it has been used for many purposes, such as th...
174
click to vote
AAI
2004
15 years 6 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
165
click to vote
COLING
2002
15 years 6 months ago
2002
A methodology is proposed for taking queries and requests expressed in natural language as input and answering them in charts through organizing that interaction into felicitous d...
191
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
In this paper we consider physical systems and the concept of their states in the context of the theory of fuzzy sets and systems. In section 1 we give a brief sketch on the fundam...
157
click to vote
ICFP
2005
ACM
16 years 6 months ago
2005
ACM
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...