3658 search results - page 242 / 732 » The logic of proofs, semantically |
169
click to vote
ICIW
2009
IEEE
16 years 1 months ago
2009
IEEE
Today’s cross-organizations are increasingly coordinating their capabilities in the quest of dynamically adaptable and thus highly competitive realistic services. Unfortunately,...
200
click to vote
TLDI
2010
ACM
15 years 7 months ago
2010
ACM
Interactive programs, such as GUIs or spreadsheets, often maintain dependency information over dynamically-created networks of objects. That is, each imperative object tracks not ...
156
click to vote
IWINAC
2007
Springer
16 years 26 days ago
2007
Springer
We consider a notion of morphism of neural networks and develop its properties. We show how, given any definite logic program P, the least fixed point of the immediate consequenc...
165
Voted
FUZZY
2001
Springer
15 years 11 months ago
2001
Springer
The paper presents the results of experiments of usage of LSA for analysis of textual data. The method is explained in brief and special attention is pointed on its potential for c...
174
click to vote
ENTCS
2002
15 years 6 months ago
2002
We compare Meyer and Routley's minimal relevant logic B+ with the recent semanticsbased approach to subtyping introduced by Frisch, Castagna and Benzaken in the definition of...