579 search results - page 84 / 116 » Combined reasoning by automated cooperation |
LICS
2005
IEEE
14 years 1 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...
TPHOL
2005
IEEE
14 years 1 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,...
CSL
2005
Springer
14 years 1 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...
ECSQARU
2005
Springer
14 years 1 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...
SEMWEB
2005
Springer
14 years 1 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...