Author:
Alberti Marco,Chesani Federico,Gavanelli Marco,Lamma Evelina,Mello Paola,Torroni Paolo
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. LNAI;P. Davidsson,2002
2. Guerin, F., Pitt, J.: Proving properties of open agent systems. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Part II, Bologna, Italy, pp. 557–558. ACM Press, New York (2002)
3. Societies Of ComputeeS (SOCS): a computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees. IST-2001-32530 (2001), Home Page: http://lia.deis.unibo.it/Research/SOCS/
4. LNAI;M. Alberti,2003
5. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. Electronic Notes in Theoretical Computer Science 85 (2003)
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Tabling Optimization for Contextual Abduction;Electronic Proceedings in Theoretical Computer Science;2020-09-19
2. Accountable Protocols in Abductive Logic Programming;ACM Transactions on Internet Technology;2018-11-30
3. Reasoning on Datalog± Ontologies with Abductive Logic Programming;Fundamenta Informaticae;2018-03-07
4. Abductive Logic Programming for Normative Reasoning and Ontologies;New Frontiers in Artificial Intelligence;2017
5. The Individual Realm of Machine Ethics: A Survey;Studies in Applied Philosophy, Epistemology and Rational Ethics;2016