2646 search results - page 127 / 530 » Local Type Inference |
119
click to vote
VTC
2006
IEEE
15 years 10 months ago
2006
IEEE
— The dynamic nature of ad hoc networks advocates the use of adaptive schemes to optimize network performance. Such adaptive schemes require local observations of prevailing netw...
132
click to vote
LPAR
2005
Springer
15 years 10 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
162
click to vote
MATES
2005
Springer
15 years 10 months ago
2005
Springer
Defeasible Logic is extended to programming languages for cognitive agents with preferences and actions for planning. We define rule-based agent theories that contain preferences ...
158
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the ...
133
click to vote
LOGCOM
2008
15 years 4 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...