Davison, A., Logic Programming Languages for the Internet, in Kakas, A. and Sadri, F., Eds., Invited Submissions for Computational Logic: From Logic Programming into the Future, Springer, 2001; available at http://fivedots.coe.psu.ac.th/~ad/papers/summBob.ps.gt. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Development of the Methods and Tools for Mathematically.. - Morozov, Obukhov (2003) (Correct)
.... external stimuli) proactive (e.g. capable of planning further actions) and exhibit a social behavior (if there are many agents in a system) are called intelligent agents [1, 2] One of the most interesting and promising approaches to programming Internet agents is logic programming of agents [1, 3]. This approach has good prospects, because the ideology and principles of logic programming are very convenient for searching, recognition, and analysis of unstructured, poorly structured, and hypertext information [7, 9] Many ideas and methods of logic programming of Internet agents based on ....
....and analysis of unstructured, poorly structured, and hypertext information [7, 9] Many ideas and methods of logic programming of Internet agents based on various modifications and extensions of Prolog and nonclassical logic (linear, modal, F logic, etc. were developed during the last decade [1, 3, 7]. Nevertheless, there is still no mathematical apparatus providing This work was supported by the Russian Foundation for Basic Research, project no. 00 01 00560. sound and complete operation of logic programs in the dynamic Internet environment (i.e. under conditions of permanent update and ....
Davison, A., Logic Programming Languages for the Internet, in Invited Submission for Computational Logic: From Logic Programming into the Future, Kakas,A. and Sadri, F. (Eds.), Springer, 2001 (available at http://fivedots. coe.psu.ac.th/~ad/papers/summBob.ps.gz).
Logic Object-Oriented Model of Asynchronous Concurrent Computations - Morozov (2003) (Correct)
No context found.
Davison, A., Logic Programming Languages for the Internet, in Kakas, A. and Sadri, F., Eds., Invited Submissions for Computational Logic: From Logic Programming into the Future, Springer, 2001; available at http://fivedots.coe.psu.ac.th/~ad/papers/summBob.ps.gt.
An Approach to Logic Programming of Intelligent Agents for.. - Morozov, Obukhov (2001) (Correct)
No context found.
9. Davison, A., Logic Programming Languages for the Internet, in: Kakas, A., and Sadri, F., Eds., Invited Submission for Computational Logic: from Logic Programming into the Future, Springer, 2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC