Author:
Alberti Marco,Dell’Acqua Pierangelo,Pereira Luís Moniz
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Artificial Intelligence
Reference41 articles.
1. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Trans. Comput. Log. (TOCL) 9(4), 1–41 (2008)
2. Alferes, J.J., Pereira, L.M., Swift, T.: Abduction in well-founded semantics and generalized stable models via tabled dual programs. Theory Pract. Log. Program. 4(4), 383–428 (2004)
3. Alon, N., Moshkovitz, D., Safra, S.: Algorithmic construction of sets for k-restrictions. ACM Trans. Algorithms 2(2), 153–177 (2006)
4. Anh, H.T., Pereira, L.M.: Collective intention recognition and elder care. In: Proactive Assistant Agents: Papers from the AAAI Fall Symposium (FS-10-07), pp. 26–31. AAAI (2010)
5. Bauer, A., Leucker, M., Schallhart, S.: Comparing LTL semantics for runtime verification. J. Log. Comput. 20, 651–674 (2010)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献