] Filters: First Letter Of Title is A [Clear All Filters]
"Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes",
Fundamenta Informaticae, vol. 102, issue 3-4: IOS Press, pp. 325-361, 11/2010.
"Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, Gdynia, Poland, June 23-25, 2010, Proceedings. Part I",
KES-AMSTA (1), vol. 6070: Springer, 2010.
"Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation",
Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, pp. 107-121, 2005.
"Allocation and Scheduling for MPSoCs via decomposition and no-good generation",
IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, pp. 1517-1518, 2005.
"Allocation and scheduling of Conditional Task Graphs",
Artificial Intelligence, vol. 174, no. 7-8, pp. 500-529, 2010.
"Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs",
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, pp. 44-58, 2006.
"An Application of Fuzzy Logic to Strategic Environmental Assessment",
XII-th Conference of the Italian Association for Artificial Intelligence, Palermo, Springer Verlag, 2011.
"Argumentation in the Semantic Web",
Intelligent Systems, IEEE, vol. 22, no. 6, pp. 66 -74, nov.-dec., 2007.
"Automated SLA Monitoring for Web Services",
Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2002), vol. 2506: Springer, pp. 28-41, 2002.