2611 search results - page 81 / 523 » A Logic for Concepts and Similarity |
119
click to vote
VSTTE
2010
Springer
15 years 4 hour ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
120
click to vote
LPNMR
2005
Springer
15 years 7 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
124
click to vote
SYNTHESE
2011
14 years 8 months ago
2011
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
114
click to vote
RULEML
2005
Springer
15 years 7 months ago
2005
Springer
In this paper we evolve a rule based approach to SLA representation and management which allows separating the contractual business logic from the application logic and enables aut...
104
click to vote
JSA
2000
15 years 1 months ago
2000
As the density of VLSI circuits increases it becomes attractive to integrate dedicated test logic on a chip. This Built-in Self-Test (BIST) approach not only offers economic benef...