1364 search results - page 12 / 273 » Comparative Branching-Time Semantics |
IJCAI
2001
13 years 8 months ago
2001
We are interested in semantical underpinnings for existing approaches to preference handling in extended logic programming (within the framework of answer set programming). As a s...
ENTCS
2002
13 years 7 months ago
2002
Meseguer's rewriting logic and the rewriting logic CRWL are two well-known approaches to rewriting as logical deduction that, despite some clear similarities, were designed w...
CSFW
1996
IEEE
13 years 11 months ago
1996
IEEE
In this paper we compare two information flow security properties: the lazy security (L-Sec) [11] and the Bisimulation Non-deducibility on Compositions (BNDC) [4]. To make this we...
DAGM
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Probabilistic models with hidden variables such as probabilistic Latent Semantic Analysis (pLSA) and Latent Dirichlet Allocation (LDA) have recently become popular for so...
ECAI
2004
Springer
13 years 11 months ago
2004
Springer
One important aspect in directing cognitive robots or agents is to formally specify what is expected of them. This is often referred to as goal specification. For agents whose act...