728 search results - page 10 / 146 » A Logical View of Choreography |
FUZZIEEE
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract— Triangular norms or t-norms, in short, and automorphisms are very useful to fuzzy logics in the narrow sense. However, these notions are usually limited to the set [0, ...
ICDE
2008
IEEE
14 years 9 months ago
2008
IEEE
We present a system towards the integration of data mining into relational databases. To this end, a relational database model is proposed, based on the so called virtual mining vi...
ENTCS
2008
13 years 8 months ago
2008
Coequations, which are subsets of a cofree coalgebra, can be viewed as properties of systems. In case of a polynomial functor, a logic of coequations was formulated by J. Ad
AIL
1998
13 years 7 months ago
1998
In the law, it is generally acknowledged that there are intuitive differences between reasoning with rules and reasoning with principles. For instance, a rule seems to lead directl...
AAAI
1990
13 years 9 months ago
1990
In this paper we present a purely semantic view on non-monotonic reasoning. We follow the direction pointed in [16] and claim that any non-monotonic logic can be viewed as a resul...