7961 search results - page 1410 / 1593 » Input-Output Model Programs |
139
click to vote
CIA
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
136
click to vote
CONCUR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Control synthesis is slowly transcending its traditional application domain within engineering to find interesting and useful applications in computer science. Synthesis...
124
click to vote
CSL
2004
Springer
15 years 8 months ago
2004
Springer
We consider the problem of providing formal support for working tract syntax involving variable binders. Gabbay and Pitts have shown in their work on Fraenkel-Mostowski (FM) set th...
138
Voted
DFG
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Today's manufacturing industry demands flexible and decentralized production control systems to avoid hours of down time of the production line in case of a failure ...
124
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...