319 search results - page 15 / 64 » atal 2008 |
ATAL
2008
Springer
15 years 3 days ago
2008
Springer
ended abstract provides an overview of my research towards a dissertation thesis in the context of programming cognitive agents with non-monotonic reasoning capabilities. Categori...
107
click to vote
ATAL
2008
Springer
15 years 3 days ago
2008
Springer
Software maintenance and evolution is arguably a lengthy and expensive phase in the life cycle of a software system. A critical issue at this phase is change propagation: given a ...
ATAL
2008
Springer
15 years 3 days ago
2008
Springer
Faced with the ongoing evolution of software agents from mere passive tools to e-tailers acting autonomously for their human owners (principals), new legal challenges appear on th...
ATAL
2008
Springer
15 years 3 days ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
ATAL
2008
Springer
15 years 3 days ago
2008
Springer
In the last years, distributed coordinator-free systems, e.g., peerto-peer systems (P2P systems), have attracted much interest among researchers and practitioners. In these system...