Поиск по:www.cplire.ru -
Поискать по всем серверам
На этой странице приведены все страницы сервера www.cplire.ru ,которые мы индексируем. Показаны документы 1201 - 1220 из 2154.
Упорядочить по:
URL
|
дате изменения
1201. Actor Prolog. Programming language definition.
.
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/09010000.html -- 2.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
1202. Actor Prolog. Programming language definition.
. Alt . KOI8 . 1251 . ИРЭ РАН . Содержание . Термины . БНФ . Индекс . Помощь
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/09010300.html -- 2.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
1203. Actor Prolog. Programming language definition.
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/09010400.html -- 1.2 Кб -- 24.09.2007
[ Сохраненная копия ] Ссылки http://www.cplire.ru/Lab144/alt/09010400.html -- 1.2 Кб -- 24.09.2007
[ Сохраненная копия ] Ссылки http://www.cplire.ru/Lab144/koi8/09010400.html -- 1.2 Кб -- 24.09.2007
Похожие документы
[ Сохраненная копия ] Ссылки http://www.cplire.ru/Lab144/alt/09010400.html -- 1.2 Кб -- 24.09.2007
[ Сохраненная копия ] Ссылки http://www.cplire.ru/Lab144/koi8/09010400.html -- 1.2 Кб -- 24.09.2007
Похожие документы
1204. My Ph.D. thesis.
.
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/09030000.html -- 2.3 Кб -- 24.09.2007
Похожие документы
Похожие документы
1205. My Ph.D. thesis.
.
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/09030200.html -- 1.4 Кб -- 24.09.2007
[ Сохраненная копия ] Ссылки http://www.cplire.ru/Lab144/alt/09030200.html -- 1.4 Кб -- 24.09.2007
[ Сохраненная копия ] Ссылки http://www.cplire.ru/Lab144/alt/09030400.html -- 1.4 Кб -- 24.09.2007
Похожие документы
[ Сохраненная копия ] Ссылки http://www.cplire.ru/Lab144/alt/09030200.html -- 1.4 Кб -- 24.09.2007
[ Сохраненная копия ] Ссылки http://www.cplire.ru/Lab144/alt/09030400.html -- 1.4 Кб -- 24.09.2007
Похожие документы
1206. My Ph.D. thesis.
. Alt . KOI8 . 1251 . ИРЭ РАН . Actor Prolog . Помощь
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/1251/09030300.html -- 2.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
1207. http://www.cplire.ru/Lab144/ai2002.pdf
... 1,2]. this article we considered the problem of development of mathematical logic programming of intelligent agents for searching, recognizing, collecting g information in the Internet. ... http://www.cplire.ru/Lab144/index.html) 5. .. : - . ... Moscow, 1999. ґ pp. 54-59. (http://www.cplire.ru/Lab144/internet.pdf) 8. ... Morozov A.A., Obukhov Yu.V. An Approach to Logic Programming of Intelligent Agents for Searching and Recognizing Information on the Internet // Pattern Recognition and Image...
1208. http://www.cplire.ru/Lab144/pria570m.pdf
... A new approach to the object-oriented logic programming of Internet agents is introduced. ... These methods are based on the technique of modifiable reasoning in the dynamic Internet environment and on the Actor Prolog object-oriented logic language that we developed. ... Class instances in Actor Prolog are constructed implicitly as Vol. ... We developed a logic object-oriented model of asynchronous computations for programming the multiagent logic systems and implemented this model in Actor Prolog....
[
Текст
]
Ссылки http://www.cplire.ru/Lab144/pria570m.pdf -- 131.9 Кб -- 24.09.2007
Похожие документы
Похожие документы
1209. http://www.cplire.ru/Lab144/pria640.pdf
SOFTWARE AND HARDWARE IN PATTERN RECOGNITION AND IMAGE ANALYSIS SYSTEMS Logic Object-Oriented Model of Asynchronous Concurrent Computations1 A. A. Morozov Institute of Radio Engineering and Electronics, Russian Academy of Sciences, ul. Mokhovaya 11, Moscow, 125009 Russia e-mail: morozov@mail.cplire.ru Abstract--In this paper, we consider the model of concurrent computations developed for logic programming of Internet agents. ... When a process handles the obtained message, its state changes. ...
1210. Our report in Nizhnii Novgorod
. Back to Research Divisions . IRE RAS Homepage .
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/rapros97.html -- 3.3 Кб -- 24.09.2007
Похожие документы
Похожие документы
1211. My report about the Actor Prolog
. Back to Research Divisions . IRE RAS Homepage .
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/report1.html -- 3.4 Кб -- 24.09.2007
Похожие документы
Похожие документы
1212. The author's summary of Ph.D. thesis
. Back to Research Divisions . IRE RAS Homepage .
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/auto.html -- 3.3 Кб -- 24.09.2007
Похожие документы
Похожие документы
1213. http://www.cplire.ru/Lab144/ciclops07.pdf
Op erational Approach to the Mo dified Reasoning, Based on the Concept of Rep eated Proving and Logical Actors Alexei A. Morozov Institute of Radio Engineering and Electronics RAS Mokhovaya 11, Moscow, Russia, 125009 morozov@cplire.ru http://www.cplire.ru/Lab144/ Abstract. ... In this paper the repeated proving principle is explained with the help of an operational semantics (abstract machine) for sequential logic programs enhanced with logical actors. ... The stages of execution of logical actor. ...
[
Текст
]
Ссылки http://www.cplire.ru/Lab144/ciclops07.pdf -- 161.6 Кб -- 24.09.2007
Похожие документы
Похожие документы
1214. http://www.cplire.ru/Lab144/iclp03.pdf
Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents Alexei A. Morozov Institute of Radio Engineering and Electronics RAS Mokhovaya 11, Moscow 125009, Russia AlexeiMorozov@netscape.net, morozov@mail.cplire.ru One of the most interesting and promising approaches to programming Internet agents is logic programming of agents. ... One of the first control strategies was created for the execution of sequential logic programs with logical actors [2]. ...
1215. http://www.cplire.ru/Lab144/iclp07.pdf
... The distinction of our approach is in that we unite the Actor Prolog concurrent ob ject-oriented logic language [ 1,2,3] with the Structural Analysis and Design Technique (SADT) diagrams to obtain new issues in the following areas: 1. ... Graphic user interface management. ... The individual blocks of visual user interface based on the SADT diagrams are implemented by using parallel processes of Actor Prolog. ... We applied the visual programming method for logic programming of Internet agents [4]. ...
1216. ON THE PROBLEM OF USING LOGIC OBJECT-ORIENTED PROGRAMMING IN THE WORLD WIDE WEB
... LOGIC OBJECT-ORIENTED PROGRAMMING IN . THE WORLD WIDE WEB . ... The idea of Internet/Web logic programming is based on the application of logic languages (Prolog and its modern descendants) that are very useful tools for representation, search and analysis of information because of their mathematical basis and ideology. ... Damiani E., Tanca L. WG-LOG: A Graph-Oriented Language for the World Wide Web // Proc. of the 2 nd Int. Workshop on Logic Programming Tools for Internet Applications. ...
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/internet.html -- 28.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
1217. http://www.cplire.ru/Lab144/internet.pdf
ON THE PROBLEM OF USING LOGIC OBJECT-ORIENTED PROGRAMMING IN THE WORLD WIDE WEB A. A. Morozov, Yu. ... Introduction The idea of Internet/Web logic programming is based on the application of logic languages (Prolog and its modern descendants) that are very useful tools for representation, search and analysis of information because of their mathematical basis and ideology. ... The third one is the using the logic languages as a text format for representing information in the Internet [33]. ...
[
Текст
]
Ссылки http://www.cplire.ru/Lab144/internet.pdf -- 174.1 Кб -- 24.09.2007
Похожие документы
Похожие документы
1218. http://www.cplire.ru/Lab144/multicpl.pdf
On Semantic Link Between Logic, Ob ject-Oriented, Functional and Constraint Programming Alexei A. Morozov Institute of Radio Engineering and Electronics Russian Academy of Sciences ul. ... In the article I investigate semantic and operational links among ob ject-oriented, logic, functional and constraint programming paradigms by an example of implementing them in logic language Actor Prolog. ... Actor Prolog. ... Actor Prolog: an ob ject-oriented language with the classical declarative semantics. ...
[
Текст
]
Ссылки http://www.cplire.ru/Lab144/multicpl.pdf -- 129.5 Кб -- 24.09.2007
Похожие документы
Похожие документы
1219. Our report in Obninsk
. Back to Research Divisions . IRE RAS Homepage .
[
Сохраненная копия
]
Ссылки http://www.cplire.ru/Lab144/obninsk.html -- 3.2 Кб -- 24.09.2007
Похожие документы
Похожие документы
1220. http://www.cplire.ru/Lab144/paris.pdf
... This article considers the following central ideas underlying Actor Prolog: the classes and worlds, the mechanism of repetitive proof of subgoals, the underdetermined sets. The logical means of Actor Prolog cover the definitional possibilities of structural, dynamic and information aspects of the ob ject-oriented programming. ... 2 Classes, Worlds and Inheritance In Actor Prolog the mechanism of classes is used to control the topology of the search space of the program. ... of Actor Prolog. ...