2611 search results - page 132 / 523 » A Logic for Concepts and Similarity |
283
click to vote
FSKD
2011
Springer
14 years 1 months ago
2011
Springer
—This paper describes a model of a hierarchical, heterogeneous knowledge-base. The proposed model consists of an associative level that is implemented by a Kanerva-like sparse di...
105
Voted
ICSM
2002
IEEE
15 years 6 months ago
2002
IEEE
Incremental changes add new functionality and properties to software. They are the core of software evolution, maintenance, iterative development, agile development, and similar s...
100
Voted
ATAL
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...
143
click to vote
DLOG
2007
15 years 4 months ago
2007
In Description Logics (DLs), both tableau-based and automata-based algorithms are frequently used to show decidability and complexity results for basic inference problems such as c...
125
click to vote
TPHOL
2008
IEEE
15 years 8 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...