887 search results - page 37 / 178 » A Science of Reasoning |
HICSS
2003
IEEE
14 years 2 months ago
2003
IEEE
Case-based reasoning and multicriteria decision making have common grounds: they are both problem solving methodologies; both involve the selection, ranking and aggregation of bes...
CCA
2009
Springer
14 years 3 months ago
2009
Springer
d Abstract) Robert Rettinger1 Department of Mathematics and Computer Science University of Hagen, Germany Abstract. We show that under reasonable assumptions there exist Riemann ma...
CAV
2010
Springer
14 years 5 days ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
LICS
2006
IEEE
14 years 2 months ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
ICCS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from si...