1941 search results - page 69 / 389 » Reasoning about Computations Using Two-Levels of Logic |
122
click to vote
COMPSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
With developments in Grid computing and Web based data storage the task of orchestrating computations is becoming ever more difficult. Identifying which of the available computati...
108
click to vote
FMSD
2006
15 years 3 months ago
2006
Multi-valued logics can be effectively used to reason about incomplete and/or inconsistent systems, e.g. during early software requirements or as the systems evolve. In our earlie...
111
click to vote
LICS
2010
IEEE
15 years 1 months ago
2010
IEEE
—We design an intuitionistic predicate logic that supports a limited amount of classical reasoning, just enough to prove a variant of Markov’s principle suited for predicate lo...
143
click to vote
JACM
2010
15 years 1 months ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
115
click to vote
KSEM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Description logics (DLs) are a well-known family of knowledge representation (KR) languages. The notation of DLs has the style of a variable-free first order predicate l...