3776 search results - page 134 / 756 » Partition-Based Logical Reasoning |
132
click to vote
IPL
2008
15 years 3 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
164
Voted
ECSQARU
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Default logic is one of the best known and most studied of the approaches to nonmonotonic reasoning. Subsequently, several variants of default logic have been proposed to...
114
Voted
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...
133
click to vote
SEMWEB
2004
Springer
15 years 8 months ago
2004
Springer
OWL DL corresponds to a Description Logic (DL) that is a fragment of classical first-order predicate logic (FOL). Therefore, the standard methods of automated reasoning for full F...
113
click to vote
CADE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...