6355 search results - page 952 / 1271 » From Logic to Games |
223
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
179
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
This paper proposes that social network data should be assumed public but treated private. Assuming this rather confusing requirement means that anonymity models such as kanonymity...
180
click to vote
DLOG
2009
15 years 4 months ago
2009
The CEL system is known for its scalability of reasoning in the lightweight DL EL++ which has been proved suitable for several ontology applications, most notably from the life sci...
191
click to vote
EMNLP
2009
15 years 4 months ago
2009
Many statistical translation models can be regarded as weighted logical deduction. Under this paradigm, we use weights from the expectation semiring (Eisner, 2002), to compute fir...
257
click to vote
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...