Ciampolini, A.; Lamma, E.; Mello, P.; Stefanelli, C.; Torroni, P. An implementation for abductive logic agents. (English) Zbl 0970.68615 Lamma, Evelina (ed.) et al., AI*IA 99: Advances in artificial intelligence. 6th congress of Italian Association for Artificial Intelligence. Bologna, Italy, September 14-17, 1999. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1792, 61-71 (2000). MSC: 68U99 68T35 PDFBibTeX XMLCite \textit{A. Ciampolini} et al., Lect. Notes Comput. Sci. 1792, 61--71 (2000; Zbl 0970.68615)
Lamma, Evelina; Mello, Paola; Stefanelli, Cesare; Van Hentenryck, Pascal Exploiting type analysis for unification in a distributed environment. (English) Zbl 0990.68032 Comput. Artif. Intell. 18, No. 5, 447-465 (1999). MSC: 68N17 PDFBibTeX XMLCite \textit{E. Lamma} et al., Comput. Artif. Intell. 18, No. 5, 447--465 (1999; Zbl 0990.68032)
Lamma, Evelina; Mello, Paola; Stefanelli, Cesare; Van Hentenryck, Pascal Improving distributed unification through type analysis. (English) Zbl 0996.68667 Lengauer, Christian (ed.) et al., Euro-par ’97 parallel processing. 3rd international Euro-Par conference, Passau, Germany, August 26-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1300, 1181-1190 (1997). MSC: 68U99 68N17 68M14 PDFBibTeX XMLCite \textit{E. Lamma} et al., Lect. Notes Comput. Sci. 1300, 1181--1190 (1997; Zbl 0996.68667)
Ciampolini, Anna; Lamma, Evelina; Stefanelli, Cesare; Mello, Paola Blackboard- and object-based systems via multi-head clauses. (English) Zbl 0888.68030 Comput. Artif. Intell. 16, No. 4, 401-423 (1997). MSC: 68N17 68N15 68T35 PDFBibTeX XMLCite \textit{A. Ciampolini} et al., Comput. Artif. Intell. 16, No. 4, 401--423 (1997; Zbl 0888.68030)
Ciampolini, Anna; Lamma, Evelina; Mello, Paola; Stefanelli, Cesare Distributed logic objects: A fragment of rewriting logic and its implementation. (English) Zbl 0912.68090 Meseguer, J. (ed.), Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3–6, 1996. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 4, 16 p. (1996). MSC: 68Q42 68N99 PDFBibTeX XMLCite \textit{A. Ciampolini} et al., in: Rewriting logic and its applications. Proceedings of the 1st international workshop, Pacific Grove, CA, USA, September 3--6, 1996. Amsterdam: Elsevier. 16 p. (1996; Zbl 0912.68090) Full Text: Link