579 search results - page 84 / 116 » Combined reasoning by automated cooperation |
189
click to vote
LICS
2005
IEEE
15 years 11 months ago
2005
IEEE
Games played on graphs may have qualitative objectives, such as the satisfaction of an ω-regular property, or quantitative objectives, such as the optimization of a realvalued re...
147
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
152
click to vote
CSL
2005
Springer
15 years 11 months ago
2005
Springer
We give a Natural Deduction formulation of an adaptation of G¨odel’s functional (Dialectica) interpretation to the extraction of (more) efficient programs from (classical) proof...
156
click to vote
ECSQARU
2005
Springer
15 years 11 months ago
2005
Springer
The Transferable Belief Model is a general framework for managing imprecise and uncertain information using belief functions. In this framework, the discounting operation allows to...
169
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
Although Semantic Web service discovery has been extensively studied in the literature ([7], [12], [15] and [10]), we are far from achieving an effective, complete and automated di...