1941 search results - page 263 / 389 » Reasoning about Computations Using Two-Levels of Logic |
135
Voted
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The paper presents the methodology and the results of checking consistency of the knowledge base of CADIAG-2, a large-scale medical expert system. Such knowledge base con...
132
Voted
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper presents a prototype implementation of an intelligent assistance architecture for data-driven simulation specialising in qualitative data in the social science...
113
Voted
HIS
2007
15 years 5 months ago
2007
This paper proposes a new approach for multicriteria optimization which aggregates the objective functions and uses a line search method in order to locate an approximate efficien...
132
Voted
LOGCOM
2007
15 years 3 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
125
Voted
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...