Workshop on: Logical Inference with Artificial Neural Networks
Massimo De Gregorio
massimo at sole.cib.na.cnr.it
Fri Apr 23 04:12:41 AEST 1999
PRELIMINARY CALL FOR PAPERS
ILCP '99
Sixteenth International Conference on Logic Programming
Las Cruces, New Mexico, USA, Nov. 29 - Dec. 4, 1999
http://www.CS.NMSU.Edu/~complog/conferences/iclp99/
Workshop on:
Logical Inference with Artificial Neural Networks
http://marte.cib.na.cnr.it
The crucial role of logic in knowledge representation and
processing is unquestionable. However, mechanical reasoning is
often a computationally expensive task, regardless of whether
deductive or uncertain reasoning is effected. Furthermore, most
reasoningreasoning systems do not exhibit noise tolerance and
learning capabilities.
In recent years, sustained efforts have been made to cope with
some of these difficulties by means of Artificial Neural
Networks (ANN). Contributions in this area range from
theoretical analyses of neural inference processing to the
implementation of a wide variety of purely neural or hybrid
intelligent systems. These works have shown that significant
results can be attained, and brought to light some key issues:
Theoretical and methodological issues
There are crucial aspects of neural inference processing that
require innovative ideas and unifying theoretical frameworks.
The workshop aims at presenting various approaches to the
variable bindings and literal selection problems, as well as the
neural processing of fragments of first-order logic and non-
monotonic inference.
Integration of paradigms
The integration of symbolic and neural systems for inference
processing can be fruitfully pursued at various levels and in a
wide variety of domains. With just mention here the neural
processing of fuzzy logic systems, and the combination of
learning techniques for ANN's with other learning methods that
are based on logic, such as Inductive Logic Programming.
Applications
Is there any practical interest in the models of neurally
inspired, massively parallel processing of rules? New
technologies, such as the PDA's and the FPGA's, suggest now a
viable path for the transition from theory to practice via a
hardware implementation of such models, allowing one to
concretely exploit the computational efficiency of the neural
processing of rules. This clearly bears on Artificial
Intelligence, where rule-based systems play a prominent role,
and provide a practical motivation for exploring further the
logical representation and inferencing capabilities of neural
networks.
Demos
The workshop organisation has also reserved space for the
exhibition of both academic and comercially available software
on the subject. Full paper submissions that also wish to present
a demo should state so. A three-page description is required
for single demo applications. The applicants are requested to
specify any special resources needed for the demos.
Deadlines
Papers due 1st September 1999
Acceptances due 1st October 1999
Final corrections due 15th October 1999
Instructions for authors
The paper must be accompanied by a cover sheet listing the
following information:
1 Paper title
2 Author information (full names and affiliations as they
will appear in the program)
3 Mailing address, telephone, fax, and e-mail for each
author
4 Keywords
The paper (up to 8 pages) must conform to the following
requirements:
1 All text and illustrations must appear within a A4 sized
paper area. Two columns. Set margin to 2 cm left and
right, 3 cm top and bottom, 0.8 cm between columns.
2 Use 10-point Times Roman or equivalent typeface for the
main text. Single space all text, allowing extra space
between paragraphs.
3 Title (18 pt. Bold, centered). Capitalise only first word
and proper names.
4 Author names (14 pt., centered). Omit titles or degrees.
5 Affiliation (12 pt., centered).
(Paper layout: http://marte.cib.na.cnr.it/example.rtf,
http://marte.cib.na.cnr.it/example.doc,
http://marte.cib.na.cnr.it/example.ps.)
Paper submission will occur just in one stage. Papers are due:
1 one copy in camera-ready, hardcopy form to Massimo De
Gregorio
2 two copies via e-mail (attached Word format file) both
to:
Massimo De Gregorio
Istituto di Cibernetica - CNR
Via Toiano, 6
80072 Arco Felice (NAPOLI)
ITALY
Tel.: +39 081 8534228
Fax: +39 081 5267654
e-mail: massimo at sole.cib.na.cnr.it
Priscila Machado Vieira Lima
ILTC - Instituto de Logica, Filosofia e Teoria da Ciencia
R. Almte.Teffe, 637
CEP 24030-080 Niteroi
RJ, BRAZIL
Tel.: +55 21 6221361
Fax: +55 21 7194461
e-mail: priscila at cos.ufrj.br
http://www.iltc.uff.br/~priscila
Before the workshop, each speaker will receive all the other
accepted papers for the general discussion.
Proceedings
A proceedings volume with the papers selected for presentation will be
distributed before the conference.
Workshop site
The 16th International Conference on Logic Programming (the last
LP-conference of the 19-hundreds) will be held on Nov. 29 - Dec.
4, 1999 in Las Cruces, New Mexico, a small desert town in
southern New Mexico; famous for its red and green chilis, hot
Mexican food, and its old western traditions. The weather is
warm and sunny all year round (your chance to escape the cold
Northern winter). Recreational opportunities abound, with ski
resorts, hiking trails, casinos, etc. only short driving
distances away.
Workshop Organisation
Workshop Co-Chairs and Organising Committee
Massimo De Gregorio (Istituto di Cibernetica - CNR, ITALY)
Priscila Machado Vieira Lima (ILTC, BRAZIL)
Program Committee
Antonio C. Branco ( ILTC, BRAZIL)
Ernesto Burattini (Istituto di Cibernetica - CNR, ITALY)
Fatima C.C. Dargam (ILTC, BRAZIL)
Alexandre Evsukoff (ILTC, BRAZIL)
Maria Sessa (Dipartimento di Matematica e Informatica,
Universita' di Salerno, ITALY)
Guglielmo Tamburrini (Dipartimento di Filosofia, Universita' di
Pisa, ITALY)
Workshop Plan
8:30 - 8:45 Chairman introduction to the Workshop
8:45 - 10:25 Paper presentation (4 presentations)
10:25 - 11:00 Coffee break
11:00 - 12:40 Paper presentation (4 presentations)
12:40 - 14:00 Lunch break
14:00 - 15:40 Paper presentation (4 presentations)
15:40 - 16:00 Coffee break
16:00 - 17:00 General discussion on presented papers
and on the expected or desirable developments
17:00 - 19:00 Demos
-------------- next part --------------
%!PS-Adobe-3.0
%%Title: (cfpperps)
%%Creator: (Microsoft Word 5.1: LaserWriter 8 T1-8.5.1)
%%CreationDate: (12:15 Gioved\223, 22 aprile 1999)
%%For: (giove)
%%Pages: 3
%%DocumentFonts: Times-Bold Times-Italic Courier Times-Roman
%%DocumentNeededFonts: Times-Bold Times-Italic Courier Times-Roman
%%DocumentSuppliedFonts:
%%DocumentData: Clean7Bit
%%PageOrder: Ascend
%%Orientation: Portrait
%%DocumentMedia: Default 595 842 0 () ()
%ADO_ImageableArea: 17 22 577 819
%%EndComments
%%BeginDefaults
%%ViewingOrientation: 1 0 0 1
%%EndDefaults
userdict/dscInfo 5 dict dup begin
/Title(cfpperps)def
/Creator(Microsoft Word 5.1: LaserWriter 8 T1-8.5.1)def
/CreationDate(12:15 Gioved\223, 22 aprile 1999)def
/For(giove)def
/Pages 3 def
end put
/md 189 dict def md begin/currentpacking where {pop /sc_oldpacking currentpacking def true setpacking}if
%%BeginFile: lw8_basic-2.3
%%Copyright: Copyright 1990-1997 Adobe Systems Incorporated and Apple Computer Incorporated. All Rights Reserved.
/bd{bind def}bind def
/xdf{exch def}bd
/xs{exch store}bd
/ld{load def}bd
/Z{0 def}bd
/T/true
/F/false
/:L/lineto
/lw/setlinewidth
/:M/moveto
/rl/rlineto
/rm/rmoveto
/:C/curveto
/:T/translate
/:K/closepath
/:mf/makefont
/gS/gsave
/gR/grestore
/np/newpath
14{ld}repeat
/framewidth -1 def
/QDframwid -1 def
/numframes Z
/mTS matrix def
/$m matrix def
/av 85 def
/por T def
/normland F def
/psb-nosave{}def
/pse-nosave{}def
/us Z
/psb{/us save store}bd
/pse{us restore}bd
/level2
/languagelevel where
{
pop languagelevel 2 ge
}{
F
}ifelse
def
/level3
/languagelevel where
{
pop languagelevel 3 ge
}{
F
}ifelse
def
/odictstk Z
/oopstk Z
/fcl
{
count oopstk sub dup 0 gt
{
{pop}repeat
}{
pop
}ifelse
countdictstack odictstk sub dup 0 gt
{
{end}repeat
}{
pop
}ifelse
}bd
/sfcl2
{
/odictstk countdictstack store
count/oopstk xs
}bd
/efcl2
{
stopped{$error/newerror F put}if
fcl
}bd
/noload Z
/startnoload
{
{/noload save store}if
}bd
/endnoload
{
{noload restore}if
}bd
level2 startnoload
/setjob
{
statusdict/jobname 3 -1 roll put
}bd
/setcopies
{
userdict/#copies 3 -1 roll put
}bd
/devg/DeviceGray def
/devr/DeviceRGB def
/devc/DeviceCMYK def
/ststpgdev{}def
/dopgdev{}def
/stpgdev{}def
/buf Z
/didstop T def
/sfcl
{
/didstop T store
/odictstk countdictstack store
count/oopstk xs
currentfile cvx stopped
{
$error/newerror F put
didstop
{
save/didstop xs
/buf vmstatus exch sub exch pop dup 0 lt{pop 0}if
dup 64000 gt{pop 64000}if string store
{
currentfile buf readline
{
(}efcl)eq{exit}if
}{
/UnexpectedEOF errordict/rangecheck get exec
}ifelse
}loop
didstop restore
}if
}if
fcl
}bd
/efcl
{
/didstop F store
exec
stop
}bd
level2 endnoload level2 not startnoload
/setjob
{
1 dict begin/JobName xdf currentdict end setuserparams
}bd
/setcopies
{
1 dict begin/NumCopies xdf currentdict end setpagedevice
}bd
/devg[/DeviceGray]def
/devr[/DeviceRGB]def
/devc[/DeviceCMYK]def
/setpagedevice where{pop/realstpgdev/setpagedevice ld}if
/SC_topddict Z
/SC_spdict Z
/dopgdev
{
md/setpagedevice undef
SC_topddict realstpgdev
}bd
/stpgdev
{
SC_topddict dup 3 -1 roll
{
SC_spdict 2 index known
{
SC_spdict 2 index get
dup 3 -1 roll
{
put dup
}forall
pop put dup
}{
put dup
}ifelse
}forall
pop pop
}bd
/ststpgdev
{
md/setpagedevice/stpgdev load put
/SC_topddict 0 dict store
/SC_spdict 3 dict begin
/InputAttributes 0 dict def
/Policies 0 dict def
/OutputAttributes 0 dict def
currentdict
end
store
}def
/sfcl/sfcl2 ld
/efcl/efcl2 ld
level2 not endnoload
/pm Z
/mT Z
/sD Z
/realshowpage Z
/initializepage
{
mT $m currentmatrix mTS concatmatrix pop
/pm save store mT concat
}bd
/endp
{
pm restore
}bd
/adjRect
{
dup 2 mul 6 2 roll
4 index sub exch 5 -1 roll sub exch
4 2 roll
4 index add exch 5 -1 roll add exch
4 2 roll
}bd
/frame1up
{
gS
mTS setmatrix
QDframwid lw
/setstrokeadjust where{pop T setstrokeadjust}if
clippath pathbbox
2 index sub exch
3 index sub exch
currentlinewidth framewidth mul
adjRect
numframes dup 0 lt{pop 0}if
{
4 copy
rS
currentlinewidth framewidth
mul 4 mul
adjRect
}repeat
pop pop pop pop
gR
}bd
/$c devr def
/rectclip where
{
pop/rC/rectclip ld
}{
/rC
{
np 4 2 roll
:M
1 index 0 rl
0 exch rl
neg 0 rl
:K
clip np
}bd
}ifelse
/rectfill where
{
pop/rF/rectfill ld
}{
/rF
{
gS
np
4 2 roll
:M
1 index 0 rl
0 exch rl
neg 0 rl
fill
gR
}bd
}ifelse
/rectstroke where
{
pop/rS/rectstroke ld
}{
/rS
{
gS
np
4 2 roll
:M
1 index 0 rl
0 exch rl
neg 0 rl
:K
stroke
gR
}bd
}ifelse
%%EndFile
level3 startnoload
%%BeginFile: lw8_safeclipL12-1.0
/rectclip where
{
pop/rCa/rectclip ld
}{
/rCa
{
np 0
1 index length 4 idiv
{
2 copy
4 getinterval
aload pop
4 2 roll
:M
1 index 0 rl
0 exch rl
neg 0 rl
:K
4 add
}repeat
clip np
pop pop
}bd
}ifelse
/savedstack Z
/subsavedstack Z
/execstring Z
/saferCa
{
/execstring xs
/odictstk countdictstack store
/oopstk 0 store
count 0 ne
{
savedstack 0 eq{
count 100 gt{count}{100}ifelse
array/savedstack xs
}{
count savedstack length gt
{
count array/savedstack xs
}if
}ifelse
count savedstack 0 3 -1 roll
getinterval
astore/subsavedstack xs
}{
/subsavedstack 0 store
}ifelse
execstring cvx stopped
{
$error/newerror F put
newpath
}if
fcl
subsavedstack 0 ne{
subsavedstack aload pop
}if
}bd
%%EndFile
level3 endnoload level3 not startnoload
%%BeginFile: lw8_safeclipL3-1.0
/saferCa/pop ld
%%EndFile
level3 not endnoload
%%BeginFile: lw8_level1_colorspace-2.0
/G/setgray ld
/:F1/setgray ld
/:F/setrgbcolor ld
/:F4/setcmykcolor where
{
pop
/setcmykcolor ld
}{
{
3
{
dup
3 -1 roll add
dup 1 gt{pop 1}if
1 exch sub
4 1 roll
}repeat
pop
setrgbcolor
}bd
}ifelse
/:Fx
{
counttomark
{0{G}0{:F}{:F4}}
exch get
exec
pop
}bd
/$cs Z
/:rg{devr :ss}bd
/:sc{$cs :ss}bd
/:dc
{
dup type/arraytype eq{0 get}if
dup/DeviceCMYK eq
{
pop devc
}{
/DeviceGray eq
{
devg
}{
devr
}ifelse
}ifelse
/$cs xdf
}bd
/:sgl{}def
/:dr{}bd
/:fCRD{pop}bd
/:ckcs{}bd
/:ss{/$c xdf}bd
%%EndFile
%%BeginFile: lw8_basic_text-2.0
/S/show ld
/A{
0.0 exch ashow
}bd
/R{
0.0 exch 32 exch widthshow
}bd
/W{
0.0 3 1 roll widthshow
}bd
/J{
0.0 32 4 2 roll 0.0 exch awidthshow
}bd
/V{
0.0 4 1 roll 0.0 exch awidthshow
}bd
/fcflg T def
/fc{
fcflg{
vmstatus exch sub 50000 lt{
(%%[ Warning: Running out of memory ]%%\r)print flush/fcflg F store
}if pop
}if
}bd
/$f[1 0 0 -1 0 0]def
/:ff{$f :mf}bd
/MacEncoding StandardEncoding 256 array copy def
MacEncoding dup 9/space put dup 39/quotesingle put 96/grave put
/Adieresis/Aring/Ccedilla/Eacute/Ntilde/Odieresis/Udieresis/aacute
/agrave/acircumflex/adieresis/atilde/aring/ccedilla/eacute/egrave
/ecircumflex/edieresis/iacute/igrave/icircumflex/idieresis/ntilde/oacute
/ograve/ocircumflex/odieresis/otilde/uacute/ugrave/ucircumflex/udieresis
/dagger/degree/cent/sterling/section/bullet/paragraph/germandbls
/registered/copyright/trademark/acute/dieresis/notequal/AE/Oslash
/infinity/plusminus/lessequal/greaterequal/yen/mu/partialdiff/summation
/product/pi/integral/ordfeminine/ordmasculine/Omega/ae/oslash
/questiondown/exclamdown/logicalnot/radical/florin/approxequal/Delta/guillemotleft
/guillemotright/ellipsis/space/Agrave/Atilde/Otilde/OE/oe
/endash/emdash/quotedblleft/quotedblright/quoteleft/quoteright/divide/lozenge
/ydieresis/Ydieresis/fraction/currency/guilsinglleft/guilsinglright/fi/fl
/daggerdbl/periodcentered/quotesinglbase/quotedblbase/perthousand
/Acircumflex/Ecircumflex/Aacute/Edieresis/Egrave/Iacute/Icircumflex/Idieresis/Igrave
/Oacute/Ocircumflex/apple/Ograve/Uacute/Ucircumflex/Ugrave/dotlessi/circumflex/tilde
/macron/breve/dotaccent/ring/cedilla/hungarumlaut/ogonek/caron
MacEncoding 128 128 getinterval astore pop
level2 startnoload
/copyfontdict
{
findfont dup length dict
begin
{
1 index/FID ne{def}{pop pop}ifelse
}forall
}bd
/$ckeyd md def
/:skey
{
1 index maxlength 2 index
length sub
ge
{
begin
/$mkeys 20 dict def
/$mkeys load
end
dup/$ckeyd xs
}if
3 1 roll put
}bd
/fD1pass
{
40
$ckeyd
//md
ne
{
pop 1
}if
$ckeyd exch
:skey
}bd
/:searchdict Z
/:searchdict
{
exch 2 copy
known
{
get
}{
exch/$mkeys
get
:searchdict
}ifelse
}bd
/lU
{
//md exch 2 copy
known
{
get
}{
exch
/$mkeys get
:searchdict
}ifelse
}bd
level2 endnoload level2 not startnoload
/copyfontdict
{
findfont dup length dict
copy
begin
}bd
/fD1pass/def ld
/lU/load ld
level2 not endnoload
/fD Z
/sf Z
/scf Z
/sf1pass
{
lU setfont
}bd
/scf1pass
{
exch lU exch scalefont fD
}bd
/scf2pass
{
scalefont fD
}bd
md/fontname known not{
/fontname/customfont def
}if
/Encoding Z
/:mre
{
copyfontdict
/Encoding MacEncoding def
fontname currentdict
end
definefont :ff fD
}bd
/:bsr
{
copyfontdict
/Encoding Encoding 256 array copy def
Encoding dup
}bd
/pd{put dup}bd
/:esr
{
pop pop
fontname currentdict
end
definefont :ff fD
}bd
/ps Z
/fz{/ps xs}bd
/cF/currentfont ld
/mbf
{
/makeblendedfont where
{
pop
makeblendedfont
/ABlend exch definefont
}{
pop
}ifelse
fD
}def
%%EndFile
/currentpacking where {pop sc_oldpacking setpacking}if end
%%EndProlog
%%BeginSetup
md begin
/fD/def ld/sf/setfont ld /scf/scf2pass ld
sfcl{
%%BeginFeature: *InputSlot Cassette
%%EndFeature
}efcl
sfcl{
%%BeginFeature: *ManualFeed False
1 dict dup /ManualFeed false put setpagedevice
%%EndFeature
}efcl
sfcl{
%%BeginFeature: *BitsPerPixel 4
1 dict dup /PreRenderingEnhance true put setpagedevice
%%EndFeature
}efcl
sfcl{
%%BeginFeature: *Smoothing True
1 dict dup /PostRenderingEnhance true put setpagedevice
%%EndFeature
}efcl
(giove)setjob
/mT[1 0 0 -1 17 819]def
/sD 16 dict def
600 level2{1 dict dup/WaitTimeout 4 -1 roll put setuserparams}{statusdict/waittimeout 3 -1 roll put}ifelse
%%IncludeFont: Times-Bold
/f42/Times-Bold
:mre
/f58 f42 18 scf
/f73 f42 14 scf
%%IncludeFont: Times-Italic
/f88/Times-Italic
:mre
/f105 f88 12 scf
%%IncludeFont: Courier
/f129/Courier
:mre
/f144 f129 10 scf
%%IncludeFont: Times-Roman
/f159/Times-Roman
:mre
/f176 f159 12 scf
/f191 f42 12 scf
/f206 f159 10 scf
/Courier findfont[10 0 0 -10 0 0]:mf setfont
%%EndSetup
%%Page: 1 1
%%BeginPageSetup
initializepage
(giove; pag: 1 di 3)setjob
%%EndPageSetup
gS 0 0 560 797 rC
123 47 :M
f58 sf
1.883 .188(PRELIMINARY CALL FOR PAPERS)J
243 77 :M
1.472 .147(ILCP '99)J
83 93 :M
f73 sf
3.712 .371(Sixteenth International Conference on Logic Programming)J
144 105 :M
f105 sf
.56 .056(Las Cruces, New Mexico, USA, Nov. 29 - Dec. 4, 1999)J
126 117 :M
f144 sf
.001(http://www.CS.NMSU.Edu/~complog/conferences/iclp99/)A
233 155 :M
f73 sf
3.358 .336(Workshop on:)J
72 172 :M
f58 sf
3.129 .313(Logical Inference with Artificial Neural Networks)J
201 185 :M
f144 sf
(http://marte.cib.na.cnr.it)S
39 208 :M
f176 sf
.552 .055(The crucial role of logic in knowledge representation and processing is unquestionable. However,)J
39 220 :M
.163 .016(mechanical reasoning is often a computationally expensive task, regardless of whether deductive or)J
39 232 :M
.146 .015(uncertain reasoning is effected. Furthermore, most reasoning systems do not exhibit noise tolerance)J
39 244 :M
-.131(and learning capabilities.)A
39 268 :M
-.028(In recent years, sustained efforts have been made to cope with some of these difficulties by means of)A
39 280 :M
.976 .098(Artificial Neural Networks \(ANN\). Contributions in this area range from theoretical analyses of)J
39 292 :M
1.282 .128(neural inference processing to the implementation of a wide variety of purely neural or hybrid)J
39 304 :M
.188 .019(intelligent systems. These works have shown that significant results can be attained, and brought to)J
39 316 :M
-.079(light some key issues:)A
39 340 :M
f191 sf
3.288 .329(Theoretical and methodological issues)J
39 352 :M
f176 sf
.479 .048(There are crucial aspects of neural inference processing that require innovative ideas and unifying)J
39 364 :M
-.066(theoretical frameworks. The workshop aims at presenting various approaches to the variable bindings)A
39 376 :M
.235 .023(and literal selection problems, as well as the neural processing of fragments of first-order logic and)J
39 388 :M
-.085(non-monotonic inference.)A
39 412 :M
f191 sf
2.643 .264(Integration of paradigms)J
39 424 :M
f176 sf
.051 .005(The integration of symbolic and neural systems for inference processing can be fruitfully pursued at)J
39 436 :M
-.094(various levels and in a wide variety of domains. With just mention here the neural processing of fuzzy)A
39 448 :M
.52 .052(logic systems, and the combination of learning techniques for ANN's with other learning methods)J
39 460 :M
-.07(that are based on logic, such as Inductive Logic Programming.)A
39 484 :M
f191 sf
.576(Applications)A
39 496 :M
f176 sf
.734 .073(Is there any practical interest in the models of neurally inspired, massively parallel processing of)J
39 508 :M
1.095 .11(rules? New technologies, such as the PDA's and the FPGA's, suggest now a viable path for the)J
39 520 :M
.603 .06(transition from theory to practice via a hardware implementation of such models, allowing one to)J
39 532 :M
-.088(concretely exploit the computational efficiency of the neural processing of rules. This clearly bears on)A
39 544 :M
1.235 .124(Artificial Intelligence, where rule-based systems play a prominent role, and provide a practical)J
39 556 :M
1.041 .104(motivation for exploring further the logical representation and inferencing capabilities of neural)J
39 568 :M
.127(networks.)A
39 607 :M
f73 sf
.894(Demos)A
39 631 :M
f176 sf
1.965 .197(The workshop organisation has also reserved space for the exhibition of both academic and)J
39 643 :M
-.094(comercially available software on the subject. Full paper submissions that also wish to present a demo)A
39 655 :M
-.015(should state so. A three-page description is required for single demo applications. The applicants are)A
39 667 :M
-.077(requested to specify any special resources needed for the demos.)A
39 706 :M
f73 sf
.71(Deadlines)A
156 720 :M
f176 sf
1.272 .127(Papers due)J
0 -3 rm
(\312)S
0 3 rm
273 720 :M
-.062(1)A
f206 sf
0 -3 rm
-.035(st)A
0 3 rm
f176 sf
-.06( September 1999)A
156 734 :M
.02 .002(Acceptances due)J
0 -3 rm
(\312)S
0 3 rm
273 734 :M
-.097(1)A
f206 sf
0 -3 rm
-.054(st)A
0 3 rm
f176 sf
-.092( October 1999)A
156 748 :M
.204 .02(Final corrections)J
0 -3 rm
( )S
0 3 rm
.039(due)A
0 -3 rm
(\312)S
0 3 rm
273 748 :M
-.096(15)A
f206 sf
0 -3 rm
-.062(th)A
0 3 rm
f176 sf
-.092( October 1999)A
endp
showpage
%%Page: 2 2
%%BeginPageSetup
initializepage
(giove; pag: 2 di 3)setjob
%%EndPageSetup
-17 -23 :T
gS 17 23 560 797 rC
56 68 :M
f73 sf
3.704 .37(Instructions for authors)J
56 92 :M
f176 sf
-.127(The paper must be accompanied by a cover sheet listing the following information:)A
56 116 :M
(1)S
74 116 :M
-.198(Paper title)A
56 128 :M
(2)S
74 128 :M
-.124(Author information \(full names and affiliations as they will appear in the program\))A
56 140 :M
(3)S
74 140 :M
-.078(Mailing address, telephone, fax, and e-mail for each author)A
56 152 :M
(4)S
74 152 :M
.098(Keywords)A
56 176 :M
-.096(The paper \(up to 8 pages\) must conform to the following requirements:)A
56 200 :M
(1)S
73 200 :M
-.05(All text and illustrations must appear within a A4 sized paper area. Two columns. Set margin to 2)A
73 212 :M
-.07(cm left and right, 3 cm top and bottom, 0.8 cm between columns)A
56 224 :M
(2)S
73 224 :M
1.469 .147(Use 10-point Times Roman or equivalent typeface for the main text. Single space all text,)J
73 236 :M
-.111(allowing extra space between paragraphs)A
56 248 :M
(3)S
73 248 :M
-.062(Title \(18 pt. Bold, centered\). Capitalise only first word and proper names)A
56 260 :M
(4)S
73 260 :M
-.078(Author names \(14 pt., centered\). Omit titles or degrees)A
56 272 :M
(5)S
73 272 :M
-.09(Affiliation \(12 pt., centered\))A
56 296 :M
-.126(\(Paper layout:)A
148 296 :M
f144 sf
.001(http://marte.cib.na.cnr.it/example.rtf)A
148 308 :M
.001(http://marte.cib.na.cnr.it/example.doc)A
148 319 :M
.028(http://marte.cib.na.cnr.it/example.ps)A
f176 sf
(.\))S
56 343 :M
-.058(Paper submission will occur just in one stage. Papers are due:)A
56 367 :M
(1)S
73 367 :M
-.096(one copy in camera-ready, hardcopy form to Massimo De Gregorio)A
56 379 :M
(2)S
73 379 :M
-.144(two copies via e-mail \(attached Word format file\) both to:)A
56 403 :M
-.127(Massimo De Gregorio)A
56 415 :M
-.118(Istituto di Cibernetica - CNR)A
56 427 :M
-.109(Via Toiano, 6)A
56 439 :M
-.131(80072 Arco Felice \(NAPOLI\))A
56 451 :M
-.495(ITALY)A
56 463 :M
-.005(Tel.: +39 081 8534228)A
56 475 :M
-.005(Fax: +39 081 5267654)A
56 487 :M
-.047(e-mail: )A
f144 sf
-.063(massimo at sole.cib.na.cnr.it)A
257 403 :M
f176 sf
-.22(Priscila Machado Vieira Lima)A
257 415 :M
-.117(ILTC - Instituto de Logica, Filosofia e Teoria da Ciencia)A
257 427 :M
(R. Almte.Teffe, 637)S
257 439 :M
-.049(CEP 24030-080 Niteroi)A
257 451 :M
(RJ, BRAZIL)S
257 463 :M
-.005(Tel.: +55 21 6221361)A
257 475 :M
-.005(Fax: +55 21 7194461)A
257 487 :M
-.33(e-mail:)A
302 487 :M
f144 sf
(priscila at cos.ufrj.br)S
302 499 :M
(http://www.iltc.uff.br/~priscila)S
56 534 :M
f176 sf
1.771 .177(Before the workshop, each speaker will receive all the other accepted papers for the general)J
56 546 :M
.101(discussion.)A
56 597 :M
f73 sf
.769(Proceedings)A
56 621 :M
f176 sf
1.54 .154(A proceedings volume with the papers selected for presentation will be distributed before the)J
56 633 :M
-.062(conference.)A
56 684 :M
f73 sf
3.766 .377(Workshop site)J
56 708 :M
f176 sf
1.724 .172(The 16th International Conference on Logic Programming \(the last LP-conference of the 19-)J
56 720 :M
.322 .032(hundreds\) will be held on Nov. 29 - Dec. 4, 1999 in Las Cruces, New Mexico, a small desert town)J
56 732 :M
.655 .065(in southern New Mexico \()J
f144 sf
.2(http://www.lascruces.org)A
f176 sf
.533 .053(\); famous for its red and green chilis, hot)J
56 744 :M
.464 .046(Mexican food, and its old western traditions. The weather is warm and sunny all year round \(your)J
56 756 :M
1.001 .1(chance to escape the cold Northern winter\). Recreational opportunities abound, with ski resorts,)J
56 768 :M
-.02(hiking trails, casinos, etc. only short driving distances away.)A
endp
showpage
%%Page: 3 3
%%BeginPageSetup
initializepage
(giove; pag: 3 di 3)setjob
%%EndPageSetup
-17 -23 :T
gS 17 23 560 797 rC
56 68 :M
f73 sf
3.98 .398(Workshop Organisation)J
56 92 :M
f191 sf
2.607 .261(Workshop Co-Chairs and Organising Committee)J
91 116 :M
f176 sf
-.115(Massimo De Gregorio \(Istituto di Cibernetica - CNR, ITALY\))A
91 128 :M
-.164(Priscila Machado Vieira Lima \(ILTC, BRAZIL\))A
56 152 :M
f191 sf
2.462 .246(Program Committee)J
91 176 :M
f176 sf
-.061(Antonio C. Branco \( ILTC, BRAZIL\))A
91 188 :M
-.12(Ernesto Burattini \(Istituto di Cibernetica - CNR, ITALY\))A
91 200 :M
-.061(Fatima C.C. Dargam \(ILTC, BRAZIL\))A
91 212 :M
-.091(Alexandre Evsukoff \(ILTC, BRAZIL\))A
91 224 :M
-.15(Maria Sessa \(Dipartimento di Matematica e Informatica, Universit\210 di Salerno, ITALY\))A
91 236 :M
-.111(Guglielmo Tamburrini \(Dipartimento di Filosofia, Universit\210 di Pisa, ITALY\))A
56 260 :M
f191 sf
3.027 .303(Workshop Plan)J
56 284 :M
f176 sf
-.066(8:30 - 8:45)A
128 284 :M
-.11(Chairman introduction to the Workshop)A
56 296 :M
-.06(8:45 - 10:25)A
128 296 :M
-.093(Paper presentation \(4 presentations\))A
56 308 :M
-.055(10:25 - 11:00)A
128 308 :M
-.117(Coffee break)A
56 320 :M
-.055(11:00 - 12:40)A
128 320 :M
-.093(Paper presentation \(4 presentations\))A
56 332 :M
-.055(12:40 - 14:00)A
128 332 :M
-.13(Lunch break)A
56 344 :M
-.055(14:00 - 15:40)A
128 344 :M
-.093(Paper presentation \(4 presentations\))A
56 356 :M
-.055(15:40 - 16:00)A
128 356 :M
-.117(Coffee break)A
56 368 :M
-.055(16:00 - 17:00)A
128 368 :M
-.094(General discussion on presented papers and on the expected or desirable developments)A
56 380 :M
-.055(17:00 - 19:00)A
128 380 :M
-.248(Demos)A
175 452 :M
-.092(For further information, contact:)A
346 452 :M
-.127(Massimo De Gregorio)A
346 464 :M
-.118(Istituto di Cibernetica - CNR)A
346 476 :M
-.109(Via Toiano, 6)A
346 488 :M
-.131(80072 Arco Felice \(NAPOLI\))A
346 500 :M
-.495(ITALY)A
346 512 :M
-.005(Tel.: +39 081 8534228)A
346 524 :M
-.005(Fax: +39 081 5267654)A
346 536 :M
-.047(e-mail: )A
f144 sf
-.063(massimo at sole.cib.na.cnr.it)A
endp
showpage
%%Trailer
end
%%EOF
More information about the users
mailing list