Publisher
Springer Nature Switzerland
Reference20 articles.
1. Balduccini, M., Gelfond, M.: The AAA architecture: an overview. In: Architectures for Intelligent Theory-Based Agents, Papers from the 2008 AAAI Spring Symposium, 2008, pp. 1–6. AAAI Press (2008)
2. Blount, J., Gelfond, M., Balduccini, M.: A theory of intentions for intelligent agents - (extended abstract). In: Calimeri, F., Ianni, G., Truszczynski, M. (eds.) Logic Programming and Nonmonotonic Reasoning. LPNMR 2015. LNCS, vol. 9345, pp. 134–142. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-23264-5_12
3. Calimeri, F., et al.: ASP-Core-2 input language format. Theory Pract. Log. Program. 20(2), 294–309 (2020)
4. Craven, R., Lobo, J., Ma, J., Russo, A., Lupu, E., Bandara, A.: Expressive policy analysis with enhanced system dynamicity. In: Proceedings of the 4th International Symposium on Information, Computer, and Communications Security, pp. 239–250. ASIACCS ’09, Association for Computing Machinery, New York, NY, USA (2009)
5. Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning, II: the DLV$${}^{\text{ k }}$$ system. Artif. Intell. 144(1–2), 157–211 (2003)