3994 search results - page 420 / 799 » A Linear Logical Framework |
199
click to vote
FUIN
2008
15 years 7 months ago
2008
We are concerned with the problem of defining a complex, hybrid, agent based discrete system in a modular way. The modularity results from looking at the system from a number of di...
164
click to vote
CMOT
2006
15 years 7 months ago
2006
We extend the logical model of agency known as the KGP model, to support agents with normative concepts, based on the roles an agent plays and the obligations and prohibitions tha...
184
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this paper we show that it is possible to model observable behaviour of coalgebras independently from their internal dynamics, but within the general framework of representing ...
186
click to vote
ISCI
2010
15 years 5 months ago
2010
The t-concept lattice is introduced as a set of triples associated to graded tabular information interpreted in a non-commutative fuzzy logic. Following the general techniques of ...
180
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Consideration sets provide a standard tool for the exploration of consumer choice. It is appropriate to analyze it as a fuzzy set because not all the brands of a certain category o...