3515 search results - page 207 / 703 » On the semantics of Strategy Logic |
168
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
In this paper an approach for combining online signature authentication experts will be proposed. The different experts are based on one feature extraction method presented in our...
195
click to vote
LPNMR
2004
Springer
16 years 23 days ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
169
click to vote
DEON
2004
Springer
15 years 11 months ago
2004
Springer
Often a set of imperatives or norms seems satisfiable from the outset, but conflicts arise when ways to fulfill all are ruled out by unfortunate circumstances. Semantic methods to ...
175
click to vote
EMNLP
2007
15 years 8 months ago
2007
We consider the problem of learning to parse sentences to lambda-calculus representations of their underlying semantics and present an algorithm that learns a weighted combinatory...
211
click to vote
NJC
2002
15 years 7 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...