//predicate declarations SameAuthor(author,author) SameTitle(title,title) HasWordVenue(venue,word) SameBib(bib,bib) Title(bib,title) Author(bib,author) SameVenue(venue,venue) Venue(bib,venue) HasWordTitle(title,word) HasWordAuthor(author,word) //function declarations // -0.43487 !SameBib(b1,b2) -0.43487 !SameBib(a1,a2) // -2.33131 !SameAuthor(a1,a2) -2.33131 !SameAuthor(a1,a2) // -0.148754 !SameTitle(t1,t2) -0.148754 !SameTitle(a1,a2) // 0.472613 !SameVenue(v1,v2) 0.472613 !SameVenue(a1,a2) // 3.49946 HasWordAuthor(a1,w) ^ HasWordAuthor(a2,w) => SameAuthor(a1,a2) 3.49946 SameAuthor(a1,a2) v !HasWordAuthor(a1,a3) v !HasWordAuthor(a2,a3) // -1.29538 !HasWordAuthor(a1,w) ^ HasWordAuthor(a2,w) => !SameAuthor(a1,a2) -1.29538 !SameAuthor(a1,a2) v HasWordAuthor(a1,a3) v !HasWordAuthor(a2,a3) // -1.2954 HasWordAuthor(a1,w) ^ !HasWordAuthor(a2,w) => !SameAuthor(a1,a2) -1.2954 !SameAuthor(a1,a2) v HasWordAuthor(a2,a3) v !HasWordAuthor(a1,a3) // 1.76757 HasWordTitle(t1,w) ^ HasWordTitle(t2,w) => SameTitle(t1,t2) 1.76757 SameTitle(a1,a2) v !HasWordTitle(a1,a3) v !HasWordTitle(a2,a3) // 1.08435 !HasWordTitle(t1,w) ^ HasWordTitle(t2,w) => !SameTitle(t1,t2) 1.08435 !SameTitle(a1,a2) v HasWordTitle(a1,a3) v !HasWordTitle(a2,a3) // 1.08352 HasWordTitle(t1,w) ^ !HasWordTitle(t2,w) => !SameTitle(t1,t2) 1.08352 !SameTitle(a1,a2) v HasWordTitle(a2,a3) v !HasWordTitle(a1,a3) // 0.298933 HasWordVenue(v1,w) ^ HasWordVenue(v2,w) => SameVenue(v1,v2) 0.298933 SameVenue(a1,a2) v !HasWordVenue(a1,a3) v !HasWordVenue(a2,a3) // 0.978812 !HasWordVenue(v1,w) ^ HasWordVenue(v2,w) => !SameVenue(v1,v2) 0.978812 !SameVenue(a1,a2) v HasWordVenue(a1,a3) v !HasWordVenue(a2,a3) // 0.978335 HasWordVenue(v1,w) ^ !HasWordVenue(v2,w) => !SameVenue(v1,v2) 0.978335 !SameVenue(a1,a2) v HasWordVenue(a2,a3) v !HasWordVenue(a1,a3) // -0.103142 Author(b1,a1) ^ Author(b2,a2) ^ SameAuthor(a1,a2) => SameBib(b1,b2) -0.103142 !Author(a1,a2) v !Author(a3,a4) v SameBib(a1,a3) v !SameAuthor(a2,a4) // 4.92632 Title(b1,t1) ^ Title(b2,t2) ^ SameTitle(t1,t2) => SameBib(b1,b2) 4.92632 !Title(a1,a2) v !Title(a3,a4) v SameBib(a1,a3) v !SameTitle(a2,a4) // 3.66052 Venue(b1,v1) ^ Venue(b2,v2) ^ SameVenue(v1,v2) => SameBib(b1,b2) 3.66052 !Venue(a1,a2) v !Venue(a3,a4) v SameBib(a1,a3) v !SameVenue(a2,a4) // 6.68874 Author(b1,a1) ^ Author(b2,a2) ^ SameBib(b1,b2) => SameAuthor(a1,a2) 6.68874 !Author(a1,a2) v !Author(a3,a4) v !SameBib(a1,a3) v SameAuthor(a2,a4) // 7.07729 Title(b1,t1) ^ Title(b2,t2) ^ SameBib(b1,b2) => SameTitle(t1,t2) 7.07729 !Title(a1,a2) v !Title(a3,a4) v !SameBib(a1,a3) v SameTitle(a2,a4) // 2.25824 Venue(b1,v1) ^ Venue(b2,v2) ^ SameBib(b1,b2) => SameVenue(v1,v2) 2.25824 !Venue(a1,a2) v !Venue(a3,a4) v !SameBib(a1,a3) v SameVenue(a2,a4) // 0.644379 Author(b1,a1) ^ Author(b2,a2) ^ HasWordAuthor(a1,w) ^ HasWordAuthor(a2,w) => SameBib(b1,b2) 0.644379 !Author(a1,a2) v !Author(a3,a4) v SameBib(a1,a3) v !HasWordAuthor(a2,a5) v !HasWordAuthor(a4,a5) // -0.562205 Author(b1,a1) ^ Author(b2,a2) ^ !HasWordAuthor(a1,w) ^ HasWordAuthor(a2,w) => !SameBib(b1,b2) -0.562205 !Author(a1,a2) v !Author(a3,a4) v !SameBib(a1,a3) v HasWordAuthor(a2,a5) v !HasWordAuthor(a4,a5) // -0.562769 Author(b1,a1) ^ Author(b2,a2) ^ HasWordAuthor(a1,w) ^ !HasWordAuthor(a2,w) => !SameBib(b1,b2) -0.562769 !Author(a1,a2) v !Author(a3,a4) v !SameBib(a1,a3) v HasWordAuthor(a4,a5) v !HasWordAuthor(a2,a5) // 3.20644 Title(b1,t1) ^ Title(b2,t2) ^ HasWordTitle(t1,w) ^ HasWordTitle(t2,w) => SameBib(b1,b2) 3.20644 !Title(a1,a2) v !Title(a3,a4) v SameBib(a1,a3) v !HasWordTitle(a2,a5) v !HasWordTitle(a4,a5) // 4.07111 Title(b1,t1) ^ Title(b2,t2) ^ !HasWordTitle(t1,w) ^ HasWordTitle(t2,w) => !SameBib(b1,b2) 4.07111 !Title(a1,a2) v !Title(a3,a4) v !SameBib(a1,a3) v HasWordTitle(a2,a5) v !HasWordTitle(a4,a5) // 4.07205 Title(b1,t1) ^ Title(b2,t2) ^ HasWordTitle(t1,w) ^ !HasWordTitle(t2,w) => !SameBib(b1,b2) 4.07205 !Title(a1,a2) v !Title(a3,a4) v !SameBib(a1,a3) v HasWordTitle(a4,a5) v !HasWordTitle(a2,a5) // 1.90516 Venue(b1,v1) ^ Venue(b2,v2) ^ HasWordVenue(v1,w) ^ HasWordVenue(v2,w) => SameBib(b1,b2) 1.90516 !Venue(a1,a2) v !Venue(a3,a4) v SameBib(a1,a3) v !HasWordVenue(a2,a5) v !HasWordVenue(a4,a5) // 1.27709 Venue(b1,v1) ^ Venue(b2,v2) ^ !HasWordVenue(v1,w) ^ HasWordVenue(v2,w) => !SameBib(b1,b2) 1.27709 !Venue(a1,a2) v !Venue(a3,a4) v !SameBib(a1,a3) v HasWordVenue(a2,a5) v !HasWordVenue(a4,a5) // 1.27762 Venue(b1,v1) ^ Venue(b2,v2) ^ HasWordVenue(v1,w) ^ !HasWordVenue(v2,w) => !SameBib(b1,b2) 1.27762 !Venue(a1,a2) v !Venue(a3,a4) v !SameBib(a1,a3) v HasWordVenue(a4,a5) v !HasWordVenue(a2,a5)