443 KBTill Mossakowski joint work with Razvan Diaconescu and Andrzej TarleckiEN 91 pages
<strong class="highlight"></strong>C<strong class="highlight"></strong>o<strong class="highlight"></strong>m<strong class="highlight"></strong>p<strong class="highlight"></strong>u<strong class="highlight"></strong>t<strong class="highlight"></strong>e<strong class="highlight"></strong>r<strong class="highlight"></strong> <strong class="highlight"></strong>s<strong class="highlight"></strong>c<strong class="highlight"></strong>i<strong class="highlight"></strong>e<strong class="highlight"></strong>n<strong class="highlight"></strong>c<strong class="highlight"></strong>e<strong class="highlight"></strong> <strong class="highlight"></strong>u<strong class="highlight"></strong>s<strong class="highlight"></strong>e<strong class="highlight"></strong>s<strong class="highlight"></strong> <strong class="highlight">logic</strong><strong class="highlight"></strong> <strong class="highlight"></strong>i<strong class="highlight"></strong>n<strong class="highlight"></strong> <strong class="highlight"></strong>v<strong class="highlight"></strong>a<strong class="highlight"></strong>r<strong class="highlight"></strong>i<strong class="highlight"></strong>o<strong class="highlight"></strong>u<strong class="highlight"></strong>s<strong class="highlight"></strong> <strong class="highlight"></strong>w<strong class="highlight"></strong>a<strong class="highlight"></strong>y<strong class="highlight"></strong>s<strong class="highlight"></strong>,<strong class="highlight"></strong> <strong class="highlight"></strong>i<strong class="highlight"></strong>n<strong class="highlight"></strong>c<strong class="highlight"></strong>l<strong class="highlight"></strong>u<strong class="highlight"></strong>d<strong class="highlight"></strong>i<strong class="highlight"></strong>n<strong class="highlight"></strong>g<strong class="highlight"></strong> <strong class="highlight">programming</strong><strong class="highlight"></strong> <strong class="highlight"></strong>l<strong class="highlight"></strong>a<strong class="highlight"></strong>n<strong class="highlight"></strong>g<strong class="highlight"></strong>u<strong class="highlight"></strong>a<strong class="highlight"></strong>g<strong class="highlight"></strong>e<strong class="highlight"></strong>s<strong class="highlight"></strong>,<strong class="highlight"></strong> <strong class="highlight">for</strong><strong class="highlight"></strong>m<strong class="highlight"></strong>a<strong class="highlight"></strong>l<strong class="highlight"></strong> <strong class="highlight"></strong>s<strong class="highlight"></strong>p<strong class="highlight"></strong>e<strong class="highlight"></strong>c<strong class="highlight"></strong>i<strong class="highlight"></strong>f<strong class="highlight"></strong>i<strong class="highlight"></strong>c<strong class="highlight"></strong>a<strong class="highlight"></strong>t<strong class="highlight"></strong>i<strong class="highlight"></strong>o<strong class="highlight"></strong>n<strong class="highlight"></strong> <strong class="highlight">and</strong><strong class="highlight"></strong> <strong class="highlight"></strong>v<strong class="highlight"></strong>e<strong class="highlight"></strong>r<strong class="highlight"></strong>i<strong class="highlight"></strong>f<strong class="highlight"></strong>i<strong class="highlight"></strong>c<strong class="highlight"></strong>a<strong class="highlight"></strong>t<strong class="highlight"></strong>i<strong class="highlight"></strong>o<strong class="highlight"></strong>n<strong class="highlight"></strong>,<strong class="highlight"></strong> <strong class="highlight"></strong>d<strong class="highlight"></strong>a<strong class="highlight"></strong>t<strong class="highlight"></strong>a<strong class="highlight"></strong>b<strong class="highlight"></strong>a<strong class="highlight"></strong>s<strong class="highlight"></strong>e<strong class="highlight"></strong>s<strong class="highlight"></strong>,<strong class="highlight"></strong> <strong class="highlight">artificial</strong><strong class="highlight"></strong> <strong class="highlight">intelligence</strong><strong class="highlight"></strong>,<strong class="highlight"></strong>