2500 search results - page 100 / 500 » Logical Semantics of Modularisation |
170
click to vote
TOCL
2012
13 years 5 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
106
click to vote
IWINAC
2007
Springer
15 years 9 months 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...
113
Voted
FUZZY
2001
Springer
15 years 7 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...
113
click to vote
ENTCS
2002
15 years 2 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...
124
click to vote
MFCS
1998
Springer
15 years 7 months ago
1998
Springer
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...