Actor Prolog. Programming language definition.

Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.cplire.ru/Lab144/1251/02005000.html
Дата изменения: Mon Sep 24 14:54:40 2007
Дата индексирования: Tue Oct 2 02:45:53 2012
Кодировка: Windows-1251
Поисковые слова: п п п п п п п п п п п п п п п п п п п п п п п п п

Actor Prolog. Programming language definition.
ПРИЛОЖЕНИЕ 5. СПИСОК ЛИТЕРАТУРЫ

(Данное приложение не является частью определения языка.)

Морозов А.А. Акторный Пролог // Программирование. - 1994. - N5. - C.66-78.
Морозов А.А., Обухов Ю.В., Олейников А.Я. Логическое программирование открытых систем // Логика, методология, философия науки: Тез. докл. XI межд. конф. - Обнинск, 1995. - Т.2. - С.153-156.
(http: // www.cplire.ru / Lab144 / obninsk.html)
Морозов А.А., Обухов Ю.В. Акторный Пролог. Определение языка программирования. - Москва, 1996. - Препринт ИРЭ РАН 2(613). - 57с.
(http: // www.cplire.ru / Lab144 / index.html)
Морозов А.А. Акторный Пролог // Дискретные модели в теории управляющих систем: Тез. докл. II межд. конф. - М.: Диалог-МГУ, 1997. - С.42.
(http: // www.cplire.ru / Lab144 / report1.html)
Морозов А.А., Обухов Ю.В. Семантический анализ функциональных диаграмм информационных систем средствами объектно-ориентированного логического программирования // Развитие и применение открытых систем: Тез. докл. IV межд. конф. - Нижний Новгород, 1997. - С.61-64.
(http: // www.rapros97.nnov.ru / reports / 9.html)
Морозов А.А. Логический анализ функциональных диаграмм в процессе интерактивного проектирования информационных систем: Диссертация на соискание ученой степени кандидата физико-математических наук. - М., 1998. - 199с. (Автореферат http: // www.cplire.ru / Lab144 / auto.html, полный текст http: // www.cplire.ru / Lab144 / thesis.pdf)
Morozov A.A. Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics // Proc. of IDL'99 workshop. - Paris, France, September 27-28, 1999.
(http: // www.cplire.ru / Lab144 / paris.pdf)
Morozov A.A., Obukhov Yu.V., Gulyaev Yu.V. On The Problem of Using Logic Object-Oriented Programming in the World Wide Web // Proc. of the Special Russian Session "The Internet Developments in Russia" (October 28, 1999). First IEEE/Popov Workshop on Internet Technologies and Services. - Moscow, Russia, 1999. - pp.54-59.
(http: // www.cplire.ru / Lab144 / internet.pdf) (HTML)
Morozov A.A., Obukhov Yu.V. On the Problem of Logical Recognition in the Dynamic Internet Environment // Pattern Recognition and Image Analysis. - 2001. - Vol.11. - N2. - pp.454-457.
(http: // www.cplire.ru / Lab144 / pria5.pdf)
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 Analysis. - 2001. - Vol.11. - No.3. - pp.570-582.
(http: // www.cplire.ru / Lab144 / pria570m.pdf)
Morozov A.A. On Semantic Link Between Logic, Object-Oriented, Functional and Constraint Programming // Proc. of MultiCPL'02 workshop. - Ithaca, USA, September 8, 2002. - pp.43-57.
(http: // www.cplire.ru / Lab144 / multicpl.pdf)
Морозов А.А. Введение в Акторный Пролог. - Москва: 2002.
(http: // www.cplire.ru / Lab144 / start / r_index.html)
Морозов А.А., Обухов Ю.В. Разработка математического аппарата логического программирования интеллектуальных агентов Интернет // Искусственный интеллект - 2002: Материалы межд. научно-практической конф. 16-20 сентября 2002 г., п. Кацивели, Крым, Украина. - Таганрог-Донецк, 2002. - Т.2. - С.270-273.
Морозов А.А., Обухов Ю.В. Разработка математического аппарата логического программирования интеллектуальных агентов Интернет // Интеллектуальные роботы ИР-2002: Материалы научной молодежной школы. 16-20 сентября 2002 г., п. Кацивели, Крым, Украина. - Таганрог: Изд-во ТРТУ. - С.261-264.
Морозов А.А., Обухов Ю.В. Разработка математического аппарата логического программирования интеллектуальных агентов Интернета // Искусственный интеллект. - 2002. - N4. - С.580-587.
(http: // www.cplire.ru / Lab144 / ai2002.pdf)
Morozov A.A., Obukhov Yu.V. Development of the Methods and Tools for Mathematically Correct Logic Programming of Internet Agents // Pattern Recognition and Image Analysis. - 2003. - Vol.13. - No.2. - pp.225-227.
(http: // www.cplire.ru / Lab144 / pria225.pdf)
Morozov A.A. Logic Object-Oriented Model of Asynchronous Concurrent Computations // Pattern Recognition and Image Analysis. - 2003. - Vol.13. - No.4. - pp.640-649.
(http: // www.cplire.ru / Lab144 / pria640.pdf)
Morozov A.A. Development and Application of Logical Actors Mathematical Apparatus for Logic Programming of Web Agents / Catuscia Palamidessi (Ed.), Logic Programming: 19th International Conference, ICLP 2003 (Mumbai, India, December 9-13, 2003) Proceedings. - Springer-Verlag, 2003. - LNCS 2916. - pp.494-495.
(http: // www.cplire.ru / Lab144 / iclp03.pdf)
(The poster: http: // www.cplire.ru / Lab144 / poster_07.ppt)
Морозов А.А. Об одном подходе к логическому программированию интеллектуальных агентов для поиска и распознавания информации в Интернет // Журнал радиоэлектроники. - 2003. - Ноябрь. -
http: // jre.cplire.ru / jre / nov03 / 1 / text.html .
Morozov A.A. Operational Approach to the Modified Reasoning, Based on the Concept of Repeated Proving and Logical Actors / Salvador Abreu, Vitor Santos Costa (Eds.), Proc. of the Seventh Colloquium on Implementation of Constraint and Logic Programming. - Porto, Portugal, September 8, 2007. - pp.1-15.
(http: // www.cplire.ru / Lab144 / ciclops07.pdf)
Morozov A.A. Visual Logic Programming Method Based on Structural Analysis and Design Technique / Veronica Dahl, Ilkka Niemela (Eds.), Logic Programming: 23rd International Conference, ICLP 2007 (Porto, Portugal, September 2007) Proceedings. - Springer-Verlag, 2007. - LNCS 4670. - pp.436-437.
(http: // www.cplire.ru / Lab144 / iclp07.pdf)

КОРНЕВАЯ СТРАНИЦА
ОГЛАВЛЕНИЕ