380 search results - page 11 / 76 » Operational Semantics for Declarative Networking |
69
Voted
IWINAC
2007
Springer
15 years 3 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...
COOPIS
2003
IEEE
15 years 2 months ago
2003
IEEE
Abstract. In [11], we proposed an algebra with four algebraic operators, whose composition can be used to generate valid compound terms in a given faceted taxonomy in an efficient ...
93
Voted
LOPSTR
1994
Springer
15 years 1 months ago
1994
Springer
The unfold/fold transformation system defined by Tamaki and Sato was meant for definite programs. It transforms a program into an equivalent one in the sense of both the least tter...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
Instant Messaging is in addition to Web and Email the most popular service on the Internet. With xOperator we demonstrate the implementation of a strategy which deeply integrates I...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
Instant Messaging (IM) is in addition to Web and Email the most popular service on the Internet. With xOperator we present a strategy and implementation which deeply integrates Ins...