×

Found 5 Documents (Results 1–5)

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

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

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
Full Text: Link

Filter Results by …

Document Type

Year of Publication

Main Field