Author:
Gavanelli Marco,Rossi Francesca
Publisher
Springer Berlin Heidelberg
Reference141 articles.
1. Alberti, M., Cattafi, M., Gavanelli, M., Lamma, E., Chesani, F., Montali, M., Mello, P., Torroni, P.: Integrating abductive logic programming and description logics in a dynamic contracting architecture. In: IEEE Int. Conf. on Web Services (2009)
2. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M.: An abductive framework for a-priori verification of web services. In: PPDP (2006)
3. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logics 9(4) (2008)
4. Alberti, M., Lamma, E.: Synthesis of object models from partial models: A CSP perspective. In: van Harmelen, F. (ed.) ECAI, pp. 116–120. IOS Press, Amsterdam (2002)
5. Alpuente, M., Sessa, M. (eds.): GULP-PRODE 1995 (1995)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献