Logic Object-Oriented Model of Asynchronous Concurrent Computations 1
作者： A. A. Morozov
DOI:
关键词:
摘要: In this paper, we consider the model of concurrent computations developed for logic programming Internet agents. The purpose creating is to ensure mathematical strictness searching and recognizing information on Internet. computations, inter- acting processes have classical model-theoretic semantics. based new principle interaction processes, which do not require delay synchronization. On basis model, implemented object-oriented language also tools visual
参考文章(16)
Craig A. Knoblock, Greg Barish, Speculative execution for information gathering plans international conference on artificial intelligence planning systems. pp. 184- 193 ,(2002)
Jean G. Vaucher, Jacques Malenfant, Guy Lapalme, ObjVProlog-D: distributed object-oriented programming in logic. Object Oriented Systems. ,vol. 3, pp. 61- 86 ,(1996)
A. A. Morozov, Yu . V. Obukhov, An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information on the Internet 1 ,(2001)
Jürgen Dix, Ulrich Furbach, Ilkka Niemelä, Gerd Brewka, Mirek Truszczyński, Nonmonotonic reasoning: towards efficient calculi and implementations Handbook of automated reasoning. pp. 1241- 1354 ,(2001) , 10.1016/B978-044450813-3/50021-7
José Júlio Alferes, Luís Moniz Pereira, Logic Programming Updating - A Guided Approach Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II. pp. 382- 412 ,(2002) , 10.1007/3-540-45632-5_15
Andrew Davison, Logic Programming Languages for the Internet Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I. pp. 66- 104 ,(2002) , 10.1007/3-540-45628-7_5
Theodore W. Hong, Concurrent programming on the web with Webstream ,(2001)
Yin Zhang, WebScript -- A Scripting Language for the Web arXiv: Networking and Internet Architecture. ,(1999)
L. Cardelli, R. Davies, Service combinators for Web computing conference on domain specific languages. ,vol. 25, pp. 309- 316 ,(1999) , 10.1109/32.798321