2272 search results - page 104 / 455 » A Calculus for |
130
click to vote
IJCAI
2007
15 years 5 months ago
2007
In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, w...
132
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
In the first part, we introduce binary representations of both lambda calculus and combinatory logic terms, and demonstrate their simplicity by providing very compact parser-inter...
109
click to vote
COLING
1996
15 years 5 months ago
1996
This paper extends the calculus of regular expressions with new types of replacement expressions that enhance the expressiveness of the simple replace operator defined in Karttune...
171
click to vote
ASM
2010
ASM
15 years 4 months ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
110
click to vote
IJAR
2008
15 years 4 months ago
2008
The Dempster-Shafer (DS) theory of probabilistic reasoning is presented in terms of a semantics whereby every meaningful formal assertion is associated with a triple (p, q, r) whe...