| morozov@mail.cplire.ru 2007-09-28, 7:10 pm |
| Dear colleagues,
It is my pleasure to inform you that compiler of Actor Prolog is
available for testing. Please inform me if you want to get compiler
(morozov@mail.cplire.ru). The first results of testing are published
on our Web Site (http://www.cplire.ru/Lab144/index.html).
I would like to inform you that new papers are published in the
proceedings of ICLP'2007. These papers are available on our Web Site
too:
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)
Sincerely yours,
Dr. Alexei A. Morozov
mailto: morozov@mail.cplire.ru
http://www.cplire.ru/Lab144
Institute of Radio Engineering and Electronics RAS
P.S. The night photos of Porto are not published still, but I am going
to do this. ;)
|