W igh S a e Uni e si y W igh S a e Uni e si y
CORE Schola CORE Schola
Compu e Science and Enginee ing Facul y
Publica ions Compu e Science & Enginee ing
1-1-2002
ILP Ope a o s o P oposi ional Connec ionis Ne wo ks ILP Ope a o s o P oposi ional Connec ionis Ne wo ks
Miguel Angel Gu ie ez-Na anjo
Pascal Hi zle
[email p o ec ed]
Follow his and addi ional wo ks a : h ps://co eschola .lib a ies.w igh .edu/cse
Pa o he Bioin o ma ics Commons, Communica ion Technology and New Media Commons,
Da abases and In o ma ion Sys ems Commons, OS and Ne wo ks Commons, and he Science and
Technology S udies Commons
Reposi o y Ci a ion Reposi o y Ci a ion
Gu ie ez-Na anjo, M. A., & Hi zle , P. (2002). ILP Ope a o s o P oposi ional Connec ionis Ne wo ks.
P oceedings o he WLP: Wo kshop Logische P og ammie ung
, 103-108.
h ps://co eschola .lib a ies.w igh .edu/cse/64
This Con e ence P oceeding is b ough o you o ee and open access by W igh S a e Uni e si y’s CORE Schola .
I has been accep ed o inclusion in Compu e Science and Enginee ing Facul y Publica ions by an au ho ized
adminis a o o CORE Schola . Fo mo e in o ma ion, please con ac [email p o ec ed].
½
¾
! !
"
!!" #
$% ! & !
$ ' & &
$ $ $% ! &
!$
& $ $ &
!! & ()#*+, (-**,&
$ !
! . & $
! !
$ !
%$&
/ !!
! $ ! (011," 2+3
%$ ' $%& 243 $% $
253 .
$% $& !
$ & '
$%
!! & $% 6 !! !
2 73 !& ! ! $ !
! # %
%$ . %
$% $ & $ 7 !
!& !
" !# $% &% '#!
() $ % * "
$%
+
7 ! ! $
$% $ % 8 9 $ ! 8
:'; !& $
!!
&
2
3
"
Ê
&
"
Ê
&
2
3
"
Ê
&
"
Ê
&
"
Ê
*
+
$
2
3 < *
*
2
3 < +
*
&
&
$%
= *+&$$
&
$ :+; :; :*; :; >! !
!! $%& ! !
!
<
¾
2
3
¾
2
3
2
3
2
3
2+3
2
3
' !!
½
$
2 !!
3&
&
& &
9
½
9 !
&
? !! &
$
!! ! !! ! $
! ! &
$ $ % $
$%
!! $% 23
2
3
"
Ê
"
Ê
"
*
"
*
? !! $%
&$ ' $
·
<
"
2
3<
<
"
2
3<
·
<
"
2
3<
,
9 ! !! $% $ $%
$ $ $" !
! !
!
&
& ! &
! & !
$
$ ! & ! ! !
$% $ & & $ 8 2+3 $
9 $ !! !
!! $% (@1A,
$ ! !! !
$ ! !
!!
! $% $ 2
Ø
3
½
¾
< +
·
< +
2
3 <
·
½
¾
' !! $% $
2B
Ø
3
*
+
8! 2
3
Ø
& !
! 2
3&
<+&
<
½
¾
& !
B' 4& !
·
< +
9 .
(@1A, & $
<
½
<
½
$
!
2
3
2
3< +
2
3 <
+
2
3<*
2
3<+
2
3<*
2
3
+ &
! $% $ !! !
8 ! ! 2 (@1A,3
"
# !
2
3<
B
# !
2
3<
9 ! !! 7
(CD,
!! ! $%& ! '& '&
!& & & 9 $ !
8 ' ! & $
!!
-
' E! &
& ' ! % ! $
$
& ? +&
$
&
!!
&
!!
9 ' B
Ø
Ø
$& $
B
$
%&
·
·
%'
·
<
·
<
!
(
)
*
$
2
3
2
3
)
+
$
2
3
¼
¼
%& %' %
%
<
¼
<
¼
¼
!
(
* &
*
$
2
3
¼
$% ! ? 4 $ $
$ '
2
3
2
3
.
"
<
2
3
<
2
3
E!
& !&
7%'&
! & $
9! $ E! &
& 6 E! !
$% ! '&
& $
& $
!! ? ! & ! ! 4
5
9 ! ' !
# &
! ! 7
! ) ' ! ! ? 4&
$
& $ % ! ! &
(@1A,
& $ . !! $% $
(011, % !& !!&
7 ! & ! !&
$ %!!
9 & 7
! ! $ $% :'
; > $ $% ? 7&
(# @
·
11,& 8 !& (E *+,&
!
/
/ ! .
$ ! & #F= (#15,& $
$ B& '
! $ ! ! '
$ F &
(B11,& ! !!& (#*.,&
$ 7 !
0112 34 ) 56)37 #
%$
89:8;7-8<=8 8111
05982 5# )
8-:89;78,,8<8,.. +998
0>?112 @ > > ? "
%
88:8;7.1<== 8111
0A1-2 A$ B ! "# %
!
/C<== D
811-
0A992 A$ $ 6
% 5% >!
"# $
19
%&' (
8/8<8=8 >3 +999
0A9E2 F A $ #
#! F >$
) ) & *)&+,,-
D G!6
:G; 5 % +99E "
03C=2 3 $
", . / 0
+C=<+1+ 3 81C=
01,2 H I JJ % 6
7 $ % $
%%
12 1
8/:,;7-8=<-1-
811,
0
·
112 $ ' ! " 3 A 6
$ % ' ? H ?
3 /0 '2!
' &
8.=-
$ /
+/C<+=, 6I 8111
0I J982 FI J %
)44! !
8+-:,;7,/8<,=9
+998
