Author:
Ghidini Chiara,Serafini Luciano
Reference25 articles.
1. Amir, E., Mcilraith, S.: Partition-based logical reasoning for first-order and propositional theories. Artif. Intell.162, 49–88 (2000)
2. Benerecetti, M., Bouquet, P., Ghidini, C.: Formalizing belief reports – The approach and a case study. In: Giunchiglia, F. (ed.) Proceedings AIMSA'98, 8th International Conference on Artificial Intelligence, Methodology, Systems, and Applications,LNAI, vol. 1480, pp. 62–75. Springer, Sozopol (1998a)
3. Benerecetti, M., Giunchiglia, F., Serafini, L.: Model checking multiagent systems. J. Logic Comput.8(3), 401–423 (1998b)
4. Borgida, A., Serafini, L.: Distributed description logics: Assimilating information from peer sources. J. Data Semantics1, 153–184 (2003)
5. Bozzato, L., Serafini, L.: Materialization calculus for contexts in the semantic web. In: Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, 23–26 July 2013, pp. 552–572 (2013)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献