Funder
Agence Nationale de la Recherche
Publisher
Springer Science and Business Media LLC
Reference78 articles.
1. Alur, R., Henzinger, T. A., & Kupferman, O. (2002). Alternating-time temporal logic. Journal of the ACM, 49(5), 672–713.
2. Badica, A., & Badica, C. (2010). Specification and verification of an agent-based auction service. In G. A. Papadopoulos, W. Wojtkowski, G. Wojtkowski, S. Wrycza, & J. Zupancic (Eds.), Information systems development: Towards a service provision society (pp. 239–248). Boston: Springer.
3. Bădică, C., Ganzha, M., & Paprzycki, M. (2006). Rule-based automated price negotiation: Overview and experiment. In L. Rutkowski, R. Tadeusiewicz, L. A. Zadeh, & J. M. Żurada (Eds.), Artificial intelligence and soft computing—ICAISC 2006 (pp. 1050–1059). Berlin, Heidelberg: Springer Berlin Heidelberg.
4. Baral, C., & Uyan, C. (2001). Declarative specification and solution of combinatorial auctions using logic programming. In T. Eiter, W. Faber, & M. I. Truszczyński (Eds.), Logic programming and nonmotonic reasoning (pp. 186–199). Berlin: Springer Berlin Heidelberg.
5. Barthe, G., Gaboardi, M., Arias, E., Hsu, J., Roth, A., & Strub, P. Y. (2016). Computer-aided verification for mechanism design. In Conference on web and internet economics.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献