852 search results - page 139 / 171 » entcs 2010 |
111
click to vote
ENTCS
2006
15 years 12 days ago
2006
Mobile Ambients (MA) have acquired a fundamental role in modelling mobility in systems with mobile code and mobile devices, and in computation over administrative domains. We pres...
121
Voted
ENTCS
2006
15 years 11 days ago
2006
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical for...
168
click to vote
ENTCS
2006
15 years 11 days ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
120
click to vote
ENTCS
2006
15 years 11 days ago
2006
In this paper we introduce a new approach to formalizing certain type operations in type theory. Traditionally, many type constructors in type theory are independently axiomatized...
102
Voted
ENTCS
2007
15 years 10 days ago
2007
Strategies are a powerful mechanism to control rule application in rule-based systems. For instance, different transition relations can be defined and then combined by means of ...