536 search results - page 49 / 108 » From Formal Concept Analysis to Contextual Logic |
155
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
In this paper we discuss the question which properties of a formally verified component are preserved when the component is changed due to an adaption to a new use. More specific...
184
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Structural analysis of cellular interaction networks contributes to a deeper understanding of network-wide interdependencies, causal relationships, and basic functiona...
167
click to vote
AI
2000
Springer
15 years 6 months ago
2000
Springer
We introduce an alternative conceptual basis for default reasoning in Reiter's default logic. In fact, most formal or computational treatments of default logic suffer from th...
160
click to vote
IJCNN
2007
IEEE
16 years 13 days ago
2007
IEEE
— The relationship between subsymbolic neural networks and symbolic logical systems is discussed from the point of view of the account of computational science by Paul Humphreys ...
163
click to vote
WCRE
2006
IEEE
16 years 3 days ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...