852 search results - page 118 / 171 » entcs 2010 |
108
Voted
ENTCS
2002
15 years 8 days 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 ...
ENTCS
2002
15 years 7 days ago
2002
We investigate a variant of dense-time Duration Calculus which permits model checking using timed/hybrid automata. We define a variant of the Duration Calculus, called Interval Du...
116
click to vote
ENTCS
2002
15 years 7 days ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
106
click to vote
ENTCS
2002
15 years 7 days ago
2002
The Ambient Calculus has been recently proposed as a model of mobility of agents in a dynamically changing hierarchy of domains. In this paper, we describe the implementation of t...
136
Voted
ENTCS
2002
15 years 7 days ago
2002
In this paper, we develop the notion of fuzzy unification and incorporate it into a novel fuzzy argumentation framework for extended logic programming. We make the following contri...