21:- use_module(library(pita)). 22
23:- if(current_predicate(use_rendering/1)). 24:- use_rendering(c3). 25:- endif. 26
27:- pita. 28
29:- begin_lpad. 30
31samebib(B,C):0.3 :-
32 author(B,D),author(C,E),sameauthor(D,E).
35
36samebib(B,C):0.3 :-
37 title(B,D),title(C,E),sameatitle(D,E).
40
41samebib(B,C):0.3 :-
42 venue(B,D),venue(C,E),samevenue(D,E).
45
46samevenue(A,B):0.3 :-
47 haswordvenue(A,word_06),
48 haswordvenue(B,word_06).
51
52samevenue(A,B):0.3 :-
53 haswordvenue(A,word_1),
54 haswordvenue(B,word_1).
55samevenue(A,B):0.3 :-
56 haswordvenue(A,word_10),
57 haswordvenue(B,word_10).
58samevenue(A,B):0.3 :-
59 haswordvenue(A,word_103),
60 haswordvenue(B,word_103).
61samevenue(A,B):0.3 :-
62 haswordvenue(A,word_11th),
63 haswordvenue(B,word_11th).
64samevenue(A,B):0.3 :-
65 haswordvenue(A,word_12),
66 haswordvenue(B,word_12).
67samevenue(A,B):0.3 :-
68 haswordvenue(A,word_1208),
69 haswordvenue(B,word_1208).
70samevenue(A,B):0.3 :-
71 haswordvenue(A,word_121),
72 haswordvenue(B,word_121).
73samevenue(A,B):0.3 :-
74 haswordvenue(A,word_13),
75 haswordvenue(B,word_13).
76samevenue(A,B):0.3 :-
77 haswordvenue(A,word_13th),
78 haswordvenue(B,word_13th).
79samevenue(A,B):0.3 :-
80 haswordvenue(A,word_14),
81 haswordvenue(B,word_14).
82samevenue(A,B):0.3 :-
83 haswordvenue(A,word_14th),
84 haswordvenue(B,word_14th).
85samevenue(A,B):0.3 :-
86 haswordvenue(A,word_17),
87 haswordvenue(B,word_17).
88samevenue(A,B):0.3 :-
89 haswordvenue(A,word_19),
90 haswordvenue(B,word_19).
91samevenue(A,B):0.3 :-
92 haswordvenue(A,word_1987),
93 haswordvenue(B,word_1987).
94samevenue(A,B):0.3 :-
95 haswordvenue(A,word_1988),
96 haswordvenue(B,word_1988).
97samevenue(A,B):0.3 :-
98 haswordvenue(A,word_1989),
99 haswordvenue(B,word_1989).
100samevenue(A,B):0.3 :-
101 haswordvenue(A,word_1994),
102 haswordvenue(B,word_1994).
103samevenue(A,B):0.3 :-
104 haswordvenue(A,word_1996),
105 haswordvenue(B,word_1996).
106samevenue(A,B):0.3 :-
107 haswordvenue(A,word_19th),
108 haswordvenue(B,word_19th).
109samevenue(A,B):0.3 :-
110 haswordvenue(A,word_1st),
111 haswordvenue(B,word_1st).
112samevenue(A,B):0.3 :-
113 haswordvenue(A,word_2),
114 haswordvenue(B,word_2).
115samevenue(A,B):0.3 :-
116 haswordvenue(A,word_20),
117 haswordvenue(B,word_20).
118samevenue(A,B):0.3 :-
119 haswordvenue(A,word_20th),
120 haswordvenue(B,word_20th).
121samevenue(A,B):0.3 :-
122 haswordvenue(A,word_21),
123 haswordvenue(B,word_21).
124samevenue(A,B):0.3 :-
125 haswordvenue(A,word_21st),
126 haswordvenue(B,word_21st).
127samevenue(A,B):0.3 :-
128 haswordvenue(A,word_21th),
129 haswordvenue(B,word_21th).
130samevenue(A,B):0.3 :-
131 haswordvenue(A,word_24th),
132 haswordvenue(B,word_24th).
133samevenue(A,B):0.3 :-
134 haswordvenue(A,word_25),
135 haswordvenue(B,word_25).
136samevenue(A,B):0.3 :-
137 haswordvenue(A,word_26),
138 haswordvenue(B,word_26).
139samevenue(A,B):0.3 :-
140 haswordvenue(A,word_26th),
141 haswordvenue(B,word_26th).
142samevenue(A,B):0.3 :-
143 haswordvenue(A,word_27),
144 haswordvenue(B,word_27).
145samevenue(A,B):0.3 :-
146 haswordvenue(A,word_28),
147 haswordvenue(B,word_28).
148samevenue(A,B):0.3 :-
149 haswordvenue(A,word_285),
150 haswordvenue(B,word_285).
151samevenue(A,B):0.3 :-
152 haswordvenue(A,word_28th),
153 haswordvenue(B,word_28th).
154samevenue(A,B):0.3 :-
155 haswordvenue(A,word_295),
156 haswordvenue(B,word_295).
157samevenue(A,B):0.3 :-
158 haswordvenue(A,word_29th),
159 haswordvenue(B,word_29th).
160samevenue(A,B):0.3 :-
161 haswordvenue(A,word_2nd),
162 haswordvenue(B,word_2nd).
163samevenue(A,B):0.3 :-
164 haswordvenue(A,word_3),
165 haswordvenue(B,word_3).
166samevenue(A,B):0.3 :-
167 haswordvenue(A,word_30th),
168 haswordvenue(B,word_30th).
169samevenue(A,B):0.3 :-
170 haswordvenue(A,word_31st),
171 haswordvenue(B,word_31st).
172samevenue(A,B):0.3 :-
173 haswordvenue(A,word_33),
174 haswordvenue(B,word_33).
175samevenue(A,B):0.3 :-
176 haswordvenue(A,word_34),
177 haswordvenue(B,word_34).
178samevenue(A,B):0.3 :-
179 haswordvenue(A,word_341),
180 haswordvenue(B,word_341).
181samevenue(A,B):0.3 :-
182 haswordvenue(A,word_352),
183 haswordvenue(B,word_352).
184samevenue(A,B):0.3 :-
185 haswordvenue(A,word_36),
186 haswordvenue(B,word_36).
187samevenue(A,B):0.3 :-
188 haswordvenue(A,word_36th),
189 haswordvenue(B,word_36th).
190samevenue(A,B):0.3 :-
191 haswordvenue(A,word_3rd),
192 haswordvenue(B,word_3rd).
193samevenue(A,B):0.3 :-
194 haswordvenue(A,word_4),
195 haswordvenue(B,word_4).
196samevenue(A,B):0.3 :-
197 haswordvenue(A,word_41),
198 haswordvenue(B,word_41).
199samevenue(A,B):0.3 :-
200 haswordvenue(A,word_413),
201 haswordvenue(B,word_413).
202samevenue(A,B):0.3 :-
203 haswordvenue(A,word_42),
204 haswordvenue(B,word_42).
205samevenue(A,B):0.3 :-
206 haswordvenue(A,word_43),
207 haswordvenue(B,word_43).
208samevenue(A,B):0.3 :-
209 haswordvenue(A,word_431),
210 haswordvenue(B,word_431).
211samevenue(A,B):0.3 :-
212 haswordvenue(A,word_433),
213 haswordvenue(B,word_433).
214samevenue(A,B):0.3 :-
215 haswordvenue(A,word_444),
216 haswordvenue(B,word_444).
217samevenue(A,B):0.3 :-
218 haswordvenue(A,word_48),
219 haswordvenue(B,word_48).
220samevenue(A,B):0.3 :-
221 haswordvenue(A,word_493),
222 haswordvenue(B,word_493).
223samevenue(A,B):0.3 :-
224 haswordvenue(A,word_4th),
225 haswordvenue(B,word_4th).
226samevenue(A,B):0.3 :-
227 haswordvenue(A,word_5),
228 haswordvenue(B,word_5).
229samevenue(A,B):0.3 :-
230 haswordvenue(A,word_50),
231 haswordvenue(B,word_50).
232samevenue(A,B):0.3 :-
233 haswordvenue(A,word_53),
234 haswordvenue(B,word_53).
235samevenue(A,B):0.3 :-
236 haswordvenue(A,word_55),
237 haswordvenue(B,word_55).
238samevenue(A,B):0.3 :-
239 haswordvenue(A,word_57),
240 haswordvenue(B,word_57).
241samevenue(A,B):0.3 :-
242 haswordvenue(A,word_5rd),
243 haswordvenue(B,word_5rd).
244samevenue(A,B):0.3 :-
245 haswordvenue(A,word_5th),
246 haswordvenue(B,word_5th).
247samevenue(A,B):0.3 :-
248 haswordvenue(A,word_61),
249 haswordvenue(B,word_61).
250samevenue(A,B):0.3 :-
251 haswordvenue(A,word_62),
252 haswordvenue(B,word_62).
253samevenue(A,B):0.3 :-
254 haswordvenue(A,word_6th),
255 haswordvenue(B,word_6th).
256samevenue(A,B):0.3 :-
257 haswordvenue(A,word_7),
258 haswordvenue(B,word_7).
259samevenue(A,B):0.3 :-
260 haswordvenue(A,word_74),
261 haswordvenue(B,word_74).
262samevenue(A,B):0.3 :-
263 haswordvenue(A,word_7th),
264 haswordvenue(B,word_7th).
265samevenue(A,B):0.3 :-
266 haswordvenue(A,word_8),
267 haswordvenue(B,word_8).
268samevenue(A,B):0.3 :-
269 haswordvenue(A,word_82),
270 haswordvenue(B,word_82).
271samevenue(A,B):0.3 :-
272 haswordvenue(A,word_87),
273 haswordvenue(B,word_87).
274samevenue(A,B):0.3 :-
275 haswordvenue(A,word_88),
276 haswordvenue(B,word_88).
277samevenue(A,B):0.3 :-
278 haswordvenue(A,word_89),
279 haswordvenue(B,word_89).
280samevenue(A,B):0.3 :-
281 haswordvenue(A,word_8th),
282 haswordvenue(B,word_8th).
283samevenue(A,B):0.3 :-
284 haswordvenue(A,word_90),
285 haswordvenue(B,word_90).
286samevenue(A,B):0.3 :-
287 haswordvenue(A,word_91),
288 haswordvenue(B,word_91).
289samevenue(A,B):0.3 :-
290 haswordvenue(A,word_912919),
291 haswordvenue(B,word_912919).
292samevenue(A,B):0.3 :-
293 haswordvenue(A,word_92),
294 haswordvenue(B,word_92).
295samevenue(A,B):0.3 :-
296 haswordvenue(A,word_93),
297 haswordvenue(B,word_93).
298samevenue(A,B):0.3 :-
299 haswordvenue(A,word_94),
300 haswordvenue(B,word_94).
301samevenue(A,B):0.3 :-
302 haswordvenue(A,word_95),
303 haswordvenue(B,word_95).
304samevenue(A,B):0.3 :-
305 haswordvenue(A,word_96),
306 haswordvenue(B,word_96).
307samevenue(A,B):0.3 :-
308 haswordvenue(A,word_97),
309 haswordvenue(B,word_97).
310samevenue(A,B):0.3 :-
311 haswordvenue(A,word_9th),
312 haswordvenue(B,word_9th).
313samevenue(A,B):0.3 :-
314 haswordvenue(A,word_a),
315 haswordvenue(B,word_a).
316samevenue(A,B):0.3 :-
317 haswordvenue(A,word_aaai),
318 haswordvenue(B,word_aaai).
319samevenue(A,B):0.3 :-
320 haswordvenue(A,word_an),
321 haswordvenue(B,word_an).
322samevenue(A,B):0.3 :-
323 haswordvenue(A,word_annals),
324 haswordvenue(B,word_annals).
325samevenue(A,B):0.3 :-
326 haswordvenue(A,word_art),
327 haswordvenue(B,word_art).
328samevenue(A,B):0.3 :-
329 haswordvenue(A,word_artificial),
330 haswordvenue(B,word_artificial).
331samevenue(A,B):0.3 :-
332 haswordvenue(A,word_by),
333 haswordvenue(B,word_by).
334samevenue(A,B):0.3 :-
335 haswordvenue(A,word_c),
336 haswordvenue(B,word_c).
337samevenue(A,B):0.3 :-
338 haswordvenue(A,word_chicago),
339 haswordvenue(B,word_chicago).
340samevenue(A,B):0.3 :-
341 haswordvenue(A,word_chp),
342 haswordvenue(B,word_chp).
343samevenue(A,B):0.3 :-
344 haswordvenue(A,word_colt),
345 haswordvenue(B,word_colt).
346samevenue(A,B):0.3 :-
347 haswordvenue(A,word_control),
348 haswordvenue(B,word_control).
349samevenue(A,B):0.3 :-
350 haswordvenue(A,word_crl),
351 haswordvenue(B,word_crl).
352samevenue(A,B):0.3 :-
353 haswordvenue(A,word_crypto),
354 haswordvenue(B,word_crypto).
355samevenue(A,B):0.3 :-
356 haswordvenue(A,word_denver),
357 haswordvenue(B,word_denver).
358samevenue(A,B):0.3 :-
359 haswordvenue(A,word_development),
360 haswordvenue(B,word_development).
361samevenue(A,B):0.3 :-
362 haswordvenue(A,word_dissertation),
363 haswordvenue(B,word_dissertation).
364samevenue(A,B):0.3 :-
365 haswordvenue(A,word_doctoral),
366 haswordvenue(B,word_doctoral).
367samevenue(A,B):0.3 :-
368 haswordvenue(A,word_e),
369 haswordvenue(B,word_e).
370samevenue(A,B):0.3 :-
371 haswordvenue(A,word_ecml),
372 haswordvenue(B,word_ecml).
373samevenue(A,B):0.3 :-
374 haswordvenue(A,word_eighth),
375 haswordvenue(B,word_eighth).
376samevenue(A,B):0.3 :-
377 haswordvenue(A,word_eleventh),
378 haswordvenue(B,word_eleventh).
379samevenue(A,B):0.3 :-
380 haswordvenue(A,word_ence),
381 haswordvenue(B,word_ence).
382samevenue(A,B):0.3 :-
383 haswordvenue(A,word_extended),
384 haswordvenue(B,word_extended).
385samevenue(A,B):0.3 :-
386 haswordvenue(A,word_fifth),
387 haswordvenue(B,word_fifth).
388samevenue(A,B):0.3 :-
389 haswordvenue(A,word_first),
390 haswordvenue(B,word_first).
391samevenue(A,B):0.3 :-
392 haswordvenue(A,word_focs),
393 haswordvenue(B,word_focs).
394samevenue(A,B):0.3 :-
395 haswordvenue(A,word_forthcoming),
396 haswordvenue(B,word_forthcoming).
397samevenue(A,B):0.3 :-
398 haswordvenue(A,word_fourteenth),
399 haswordvenue(B,word_fourteenth).
400samevenue(A,B):0.3 :-
401 haswordvenue(A,word_francisco),
402 haswordvenue(B,word_francisco).
403samevenue(A,B):0.3 :-
404 haswordvenue(A,word_from),
405 haswordvenue(B,word_from).
406samevenue(A,B):0.3 :-
407 haswordvenue(A,word_hanson),
408 haswordvenue(B,word_hanson).
409samevenue(A,B):0.3 :-
410 haswordvenue(A,word_he),
411 haswordvenue(B,word_he).
412samevenue(A,B):0.3 :-
413 haswordvenue(A,word_i),
414 haswordvenue(B,word_i).
415samevenue(A,B):0.3 :-
416 haswordvenue(A,word_icml),
417 haswordvenue(B,word_icml).
418samevenue(A,B):0.3 :-
419 haswordvenue(A,word_ieee),
420 haswordvenue(B,word_ieee).
421samevenue(A,B):0.3 :-
422 haswordvenue(A,word_ietf),
423 haswordvenue(B,word_ietf).
424samevenue(A,B):0.3 :-
425 haswordvenue(A,word_ima),
426 haswordvenue(B,word_ima).
427samevenue(A,B):0.3 :-
428 haswordvenue(A,word_inform),
429 haswordvenue(B,word_inform).
430samevenue(A,B):0.3 :-
431 haswordvenue(A,word_institute),
432 haswordvenue(B,word_institute).
433samevenue(A,B):0.3 :-
434 haswordvenue(A,word_its),
435 haswordvenue(B,word_its).
436samevenue(A,B):0.3 :-
437 haswordvenue(A,word_iv),
438 haswordvenue(B,word_iv).
439samevenue(A,B):0.3 :-
440 haswordvenue(A,word_j),
441 haswordvenue(B,word_j).
442samevenue(A,B):0.3 :-
443 haswordvenue(A,word_jcss),
444 haswordvenue(B,word_jcss).
445samevenue(A,B):0.3 :-
446 haswordvenue(A,word_kaufmann),
447 haswordvenue(B,word_kaufmann).
448samevenue(A,B):0.3 :-
449 haswordvenue(A,word_langley),
450 haswordvenue(B,word_langley).
451samevenue(A,B):0.3 :-
452 haswordvenue(A,word_lcs),
453 haswordvenue(B,word_lcs).
454samevenue(A,B):0.3 :-
455 haswordvenue(A,word_lecture),
456 haswordvenue(B,word_lecture).
457samevenue(A,B):0.3 :-
458 haswordvenue(A,word_lippmann),
459 haswordvenue(B,word_lippmann).
460samevenue(A,B):0.3 :-
461 haswordvenue(A,word_m),
462 haswordvenue(B,word_m).
463samevenue(A,B):0.3 :-
464 haswordvenue(A,word_macro),
465 haswordvenue(B,word_macro).
466samevenue(A,B):0.3 :-
467 haswordvenue(A,word_manuscript),
468 haswordvenue(B,word_manuscript).
469samevenue(A,B):0.3 :-
470 haswordvenue(A,word_mar),
471 haswordvenue(B,word_mar).
472samevenue(A,B):0.3 :-
473 haswordvenue(A,word_masters),
474 haswordvenue(B,word_masters).
475samevenue(A,B):0.3 :-
476 haswordvenue(A,word_mit),
477 haswordvenue(B,word_mit).
478samevenue(A,B):0.3 :-
479 haswordvenue(A,word_ml),
480 haswordvenue(B,word_ml).
481samevenue(A,B):0.3 :-
482 haswordvenue(A,word_moody),
483 haswordvenue(B,word_moody).
484samevenue(A,B):0.3 :-
485 haswordvenue(A,word_morgan),
486 haswordvenue(B,word_morgan).
487samevenue(A,B):0.3 :-
488 haswordvenue(A,word_national),
489 haswordvenue(B,word_national).
490samevenue(A,B):0.3 :-
491 haswordvenue(A,word_neural),
492 haswordvenue(B,word_neural).
493samevenue(A,B):0.3 :-
494 haswordvenue(A,word_new),
495 haswordvenue(B,word_new).
496samevenue(A,B):0.3 :-
497 haswordvenue(A,word_nineteenth),
498 haswordvenue(B,word_nineteenth).
499samevenue(A,B):0.3 :-
500 haswordvenue(A,word_nips),
501 haswordvenue(B,word_nips).
502samevenue(A,B):0.3 :-
503 haswordvenue(A,word_nips92),
504 haswordvenue(B,word_nips92).
505samevenue(A,B):0.3 :-
506 haswordvenue(A,word_notes),
507 haswordvenue(B,word_notes).
508samevenue(A,B):0.3 :-
509 haswordvenue(A,word_number),
510 haswordvenue(B,word_number).
511samevenue(A,B):0.3 :-
512 haswordvenue(A,word_october),
513 haswordvenue(B,word_october).
514samevenue(A,B):0.3 :-
515 haswordvenue(A,word_p),
516 haswordvenue(B,word_p).
517samevenue(A,B):0.3 :-
518 haswordvenue(A,word_pages),
519 haswordvenue(B,word_pages).
520samevenue(A,B):0.3 :-
521 haswordvenue(A,word_pattern),
522 haswordvenue(B,word_pattern).
523samevenue(A,B):0.3 :-
524 haswordvenue(A,word_phd),
525 haswordvenue(B,word_phd).
526samevenue(A,B):0.3 :-
527 haswordvenue(A,word_pos),
528 haswordvenue(B,word_pos).
529samevenue(A,B):0.3 :-
530 haswordvenue(A,word_pp),
531 haswordvenue(B,word_pp).
532samevenue(A,B):0.3 :-
533 haswordvenue(A,word_pre),
534 haswordvenue(B,word_pre).
535samevenue(A,B):0.3 :-
536 haswordvenue(A,word_preprint),
537 haswordvenue(B,word_preprint).
538samevenue(A,B):0.3 :-
539 haswordvenue(A,word_press),
540 haswordvenue(B,word_press).
541samevenue(A,B):0.3 :-
542 haswordvenue(A,word_progress),
543 haswordvenue(B,word_progress).
544samevenue(A,B):0.3 :-
545 haswordvenue(A,word_puting),
546 haswordvenue(B,word_puting).
547samevenue(A,B):0.3 :-
548 haswordvenue(A,word_r),
549 haswordvenue(B,word_r).
550samevenue(A,B):0.3 :-
551 haswordvenue(A,word_rep),
552 haswordvenue(B,word_rep).
553samevenue(A,B):0.3 :-
554 haswordvenue(A,word_retrieval),
555 haswordvenue(B,word_retrieval).
556samevenue(A,B):0.3 :-
557 haswordvenue(A,word_s),
558 haswordvenue(B,word_s).
559samevenue(A,B):0.3 :-
560 haswordvenue(A,word_san),
561 haswordvenue(B,word_san).
562samevenue(A,B):0.3 :-
563 haswordvenue(A,word_seventh),
564 haswordvenue(B,word_seventh).
565samevenue(A,B):0.3 :-
566 haswordvenue(A,word_siam),
567 haswordvenue(B,word_siam).
568samevenue(A,B):0.3 :-
569 haswordvenue(A,word_sigir),
570 haswordvenue(B,word_sigir).
571samevenue(A,B):0.3 :-
572 haswordvenue(A,word_simulation),
573 haswordvenue(B,word_simulation).
574samevenue(A,B):0.3 :-
575 haswordvenue(A,word_sixth),
576 haswordvenue(B,word_sixth).
577samevenue(A,B):0.3 :-
578 haswordvenue(A,word_snowbird),
579 haswordvenue(B,word_snowbird).
580samevenue(A,B):0.3 :-
581 haswordvenue(A,word_st),
582 haswordvenue(B,word_st).
583samevenue(A,B):0.3 :-
584 haswordvenue(A,word_statistics),
585 haswordvenue(B,word_statistics).
586samevenue(A,B):0.3 :-
587 haswordvenue(A,word_stoc),
588 haswordvenue(B,word_stoc).
589samevenue(A,B):0.3 :-
590 haswordvenue(A,word_stpc),
591 haswordvenue(B,word_stpc).
592samevenue(A,B):0.3 :-
593 haswordvenue(A,word_systems),
594 haswordvenue(B,word_systems).
595samevenue(A,B):0.3 :-
596 haswordvenue(A,word_t),
597 haswordvenue(B,word_t).
598samevenue(A,B):0.3 :-
599 haswordvenue(A,word_technical),
600 haswordvenue(B,word_technical).
601samevenue(A,B):0.3 :-
602 haswordvenue(A,word_tenth),
603 haswordvenue(B,word_tenth).
604samevenue(A,B):0.3 :-
605 haswordvenue(A,word_test),
606 haswordvenue(B,word_test).
607samevenue(A,B):0.3 :-
608 haswordvenue(A,word_th),
609 haswordvenue(B,word_th).
610samevenue(A,B):0.3 :-
611 haswordvenue(A,word_third),
612 haswordvenue(B,word_third).
613samevenue(A,B):0.3 :-
614 haswordvenue(A,word_thirtieth),
615 haswordvenue(B,word_thirtieth).
616samevenue(A,B):0.3 :-
617 haswordvenue(A,word_tions),
618 haswordvenue(B,word_tions).
619samevenue(A,B):0.3 :-
620 haswordvenue(A,word_tm),
621 haswordvenue(B,word_tm).
622samevenue(A,B):0.3 :-
623 haswordvenue(A,word_to),
624 haswordvenue(B,word_to).
625samevenue(A,B):0.3 :-
626 haswordvenue(A,word_tr),
627 haswordvenue(B,word_tr).
628samevenue(A,B):0.3 :-
629 haswordvenue(A,word_twentieth),
630 haswordvenue(B,word_twentieth).
631samevenue(A,B):0.3 :-
632 haswordvenue(A,word_ucsc),
633 haswordvenue(B,word_ucsc).
634samevenue(A,B):0.3 :-
635 haswordvenue(A,word_vol),
636 haswordvenue(B,word_vol).
637samevenue(A,B):0.3 :-
638 haswordvenue(A,word_volume),
639 haswordvenue(B,word_volume).
640samevenue(A,B):0.3 :-
641 haswordvenue(A,word_winter),
642 haswordvenue(B,word_winter).
643samevenue(A,B):0.3 :-
644 haswordvenue(A,word_work),
645 haswordvenue(B,word_work).
646samevenue(A,B):0.3 :-
647 haswordvenue(A,word_works),
648 haswordvenue(B,word_works).
649samevenue(A,B):0.3 :-
650 haswordvenue(A,word_workshop),
651 haswordvenue(B,word_workshop).
652sameauthor(A,B):0.3 :-
653 haswordauthor(A,word_a),
654 haswordauthor(B,word_a).
655sameauthor(A,B):0.3 :-
656 haswordauthor(A,word_andrzej),
657 haswordauthor(B,word_andrzej).
658sameauthor(A,B):0.3 :-
659 haswordauthor(A,word_auer),
660 haswordauthor(B,word_auer).
661sameauthor(A,B):0.3 :-
662 haswordauthor(A,word_avrim),
663 haswordauthor(B,word_avrim).
664sameauthor(A,B):0.3 :-
665 haswordauthor(A,word_bauer),
666 haswordauthor(B,word_bauer).
667sameauthor(A,B):0.3 :-
668 haswordauthor(A,word_bianchi),
669 haswordauthor(B,word_bianchi).
670sameauthor(A,B):0.3 :-
671 haswordauthor(A,word_blum),
672 haswordauthor(B,word_blum).
673sameauthor(A,B):0.3 :-
674 haswordauthor(A,word_cesa),
675 haswordauthor(B,word_cesa).
676sameauthor(A,B):0.3 :-
677 haswordauthor(A,word_cohen),
678 haswordauthor(B,word_cohen).
679sameauthor(A,B):0.3 :-
680 haswordauthor(A,word_d),
681 haswordauthor(B,word_d).
682sameauthor(A,B):0.3 :-
683 haswordauthor(A,word_david),
684 haswordauthor(B,word_david).
685sameauthor(A,B):0.3 :-
686 haswordauthor(A,word_dietterich),
687 haswordauthor(B,word_dietterich).
688sameauthor(A,B):0.3 :-
689 haswordauthor(A,word_druker),
690 haswordauthor(B,word_druker).
691sameauthor(A,B):0.3 :-
692 haswordauthor(A,word_e),
693 haswordauthor(B,word_e).
694sameauthor(A,B):0.3 :-
695 haswordauthor(A,word_ehrenfeucht),
696 haswordauthor(B,word_ehrenfeucht).
697sameauthor(A,B):0.3 :-
698 haswordauthor(A,word_eric),
699 haswordauthor(B,word_eric).
700sameauthor(A,B):0.3 :-
701 haswordauthor(A,word_feder),
702 haswordauthor(B,word_feder).
703sameauthor(A,B):0.3 :-
704 haswordauthor(A,word_freund),
705 haswordauthor(B,word_freund).
706sameauthor(A,B):0.3 :-
707 haswordauthor(A,word_fyoav),
708 haswordauthor(B,word_fyoav).
709sameauthor(A,B):0.3 :-
710 haswordauthor(A,word_g),
711 haswordauthor(B,word_g).
712sameauthor(A,B):0.3 :-
713 haswordauthor(A,word_goldman),
714 haswordauthor(B,word_goldman).
715sameauthor(A,B):0.3 :-
716 haswordauthor(A,word_h),
717 haswordauthor(B,word_h).
718sameauthor(A,B):0.3 :-
719 haswordauthor(A,word_harris),
720 haswordauthor(B,word_harris).
721sameauthor(A,B):0.3 :-
722 haswordauthor(A,word_haussler),
723 haswordauthor(B,word_haussler).
724sameauthor(A,B):0.3 :-
725 haswordauthor(A,word_helmbold),
726 haswordauthor(B,word_helmbold).
727sameauthor(A,B):0.3 :-
728 haswordauthor(A,word_henry),
729 haswordauthor(B,word_henry).
730sameauthor(A,B):0.3 :-
731 haswordauthor(A,word_j),
732 haswordauthor(B,word_j).
733sameauthor(A,B):0.3 :-
734 haswordauthor(A,word_kautz),
735 haswordauthor(B,word_kautz).
736sameauthor(A,B):0.3 :-
737 haswordauthor(A,word_kearns),
738 haswordauthor(B,word_kearns).
739sameauthor(A,B):0.3 :-
740 haswordauthor(A,word_l),
741 haswordauthor(B,word_l).
742sameauthor(A,B):0.3 :-
743 haswordauthor(A,word_lewis),
744 haswordauthor(B,word_lewis).
745sameauthor(A,B):0.3 :-
746 haswordauthor(A,word_littlestone),
747 haswordauthor(B,word_littlestone).
748sameauthor(A,B):0.3 :-
749 haswordauthor(A,word_m),
750 haswordauthor(B,word_m).
751sameauthor(A,B):0.3 :-
752 haswordauthor(A,word_micahel),
753 haswordauthor(B,word_micahel).
754sameauthor(A,B):0.3 :-
755 haswordauthor(A,word_michael),
756 haswordauthor(B,word_michael).
757sameauthor(A,B):0.3 :-
758 haswordauthor(A,word_n),
759 haswordauthor(B,word_n).
760sameauthor(A,B):0.3 :-
761 haswordauthor(A,word_nicolo),
762 haswordauthor(B,word_nicolo).
763sameauthor(A,B):0.3 :-
764 haswordauthor(A,word_p),
765 haswordauthor(B,word_p).
766sameauthor(A,B):0.3 :-
767 haswordauthor(A,word_r),
768 haswordauthor(B,word_r).
769sameauthor(A,B):0.3 :-
770 haswordauthor(A,word_rivest),
771 haswordauthor(B,word_rivest).
772sameauthor(A,B):0.3 :-
773 haswordauthor(A,word_robert),
774 haswordauthor(B,word_robert).
775sameauthor(A,B):0.3 :-
776 haswordauthor(A,word_ronald),
777 haswordauthor(B,word_ronald).
778sameauthor(A,B):0.3 :-
779 haswordauthor(A,word_s),
780 haswordauthor(B,word_s).
781sameauthor(A,B):0.3 :-
782 haswordauthor(A,word_sally),
783 haswordauthor(B,word_sally).
784sameauthor(A,B):0.3 :-
785 haswordauthor(A,word_shapire),
786 haswordauthor(B,word_shapire).
787sameauthor(A,B):0.3 :-
788 haswordauthor(A,word_t),
789 haswordauthor(B,word_t).
790sameauthor(A,B):0.3 :-
791 haswordauthor(A,word_tom),
792 haswordauthor(B,word_tom).
793sameauthor(A,B):0.3 :-
794 haswordauthor(A,word_v),
795 haswordauthor(B,word_v).
796sameauthor(A,B):0.3 :-
797 haswordauthor(A,word_w),
798 haswordauthor(B,word_w).
799sameauthor(A,B):0.3 :-
800 haswordauthor(A,word_william),
801 haswordauthor(B,word_william).
802sameauthor(A,B):0.3 :-
803 haswordauthor(A,word_y),
804 haswordauthor(B,word_y).
805sameatitle(A,B):0.3 :-
806 haswordtitle(A,word_10),
807 haswordtitle(B,word_10).
808sameatitle(A,B):0.3 :-
809 haswordtitle(A,word_1321),
810 haswordtitle(B,word_1321).
811sameatitle(A,B):0.3 :-
812 haswordtitle(A,word_197),
813 haswordtitle(B,word_197).
814sameatitle(A,B):0.3 :-
815 haswordtitle(A,word_1987),
816 haswordtitle(B,word_1987).
817sameatitle(A,B):0.3 :-
818 haswordtitle(A,word_1989),
819 haswordtitle(B,word_1989).
820sameatitle(A,B):0.3 :-
821 haswordtitle(A,word_1996),
822 haswordtitle(B,word_1996).
823sameatitle(A,B):0.3 :-
824 haswordtitle(A,word_1999),
825 haswordtitle(B,word_1999).
826sameatitle(A,B):0.3 :-
827 haswordtitle(A,word_2),
828 haswordtitle(B,word_2).
829sameatitle(A,B):0.3 :-
830 haswordtitle(A,word_227),
831 haswordtitle(B,word_227).
832sameatitle(A,B):0.3 :-
833 haswordtitle(A,word_29),
834 haswordtitle(B,word_29).
835sameatitle(A,B):0.3 :-
836 haswordtitle(A,word_5),
837 haswordtitle(B,word_5).
838sameatitle(A,B):0.3 :-
839 haswordtitle(A,word_8),
840 haswordtitle(B,word_8).
841sameatitle(A,B):0.3 :-
842 haswordtitle(A,word_94),
843 haswordtitle(B,word_94).
844sameatitle(A,B):0.3 :-
845 haswordtitle(A,word_a),
846 haswordtitle(B,word_a).
847sameatitle(A,B):0.3 :-
848 haswordtitle(A,word_adaptive),
849 haswordtitle(B,word_adaptive).
850sameatitle(A,B):0.3 :-
851 haswordtitle(A,word_adversarial),
852 haswordtitle(B,word_adversarial).
853sameatitle(A,B):0.3 :-
854 haswordtitle(A,word_adversaries),
855 haswordtitle(B,word_adversaries).
856sameatitle(A,B):0.3 :-
857 haswordtitle(A,word_advice),
858 haswordtitle(B,word_advice).
859sameatitle(A,B):0.3 :-
860 haswordtitle(A,word_against),
861 haswordtitle(B,word_against).
862sameatitle(A,B):0.3 :-
863 haswordtitle(A,word_alence),
864 haswordtitle(B,word_alence).
865sameatitle(A,B):0.3 :-
866 haswordtitle(A,word_algo),
867 haswordtitle(B,word_algo).
868sameatitle(A,B):0.3 :-
869 haswordtitle(A,word_algorithm),
870 haswordtitle(B,word_algorithm).
871sameatitle(A,B):0.3 :-
872 haswordtitle(A,word_algorithmic),
873 haswordtitle(B,word_algorithmic).
874sameatitle(A,B):0.3 :-
875 haswordtitle(A,word_almost),
876 haswordtitle(B,word_almost).
877sameatitle(A,B):0.3 :-
878 haswordtitle(A,word_alternative),
879 haswordtitle(B,word_alternative).
880sameatitle(A,B):0.3 :-
881 haswordtitle(A,word_an),
882 haswordtitle(B,word_an).
883sameatitle(A,B):0.3 :-
884 haswordtitle(A,word_applying),
885 haswordtitle(B,word_applying).
886sameatitle(A,B):0.3 :-
887 haswordtitle(A,word_approach),
888 haswordtitle(B,word_approach).
889sameatitle(A,B):0.3 :-
890 haswordtitle(A,word_approximations),
891 haswordtitle(B,word_approximations).
892sameatitle(A,B):0.3 :-
893 haswordtitle(A,word_are),
894 haswordtitle(B,word_are).
895sameatitle(A,B):0.3 :-
896 haswordtitle(A,word_armed),
897 haswordtitle(B,word_armed).
898sameatitle(A,B):0.3 :-
899 haswordtitle(A,word_article),
900 haswordtitle(B,word_article).
901sameatitle(A,B):0.3 :-
902 haswordtitle(A,word_as),
903 haswordtitle(B,word_as).
904sameatitle(A,B):0.3 :-
905 haswordtitle(A,word_assignment),
906 haswordtitle(B,word_assignment).
907sameatitle(A,B):0.3 :-
908 haswordtitle(A,word_at),
909 haswordtitle(B,word_at).
910sameatitle(A,B):0.3 :-
911 haswordtitle(A,word_att),
912 haswordtitle(B,word_att).
913sameatitle(A,B):0.3 :-
914 haswordtitle(A,word_au),
915 haswordtitle(B,word_au).
916sameatitle(A,B):0.3 :-
917 haswordtitle(A,word_authors),
918 haswordtitle(B,word_authors).
919sameatitle(A,B):0.3 :-
920 haswordtitle(A,word_available),
921 haswordtitle(B,word_available).
922sameatitle(A,B):0.3 :-
923 haswordtitle(A,word_average),
924 haswordtitle(B,word_average).
925sameatitle(A,B):0.3 :-
926 haswordtitle(A,word_awards),
927 haswordtitle(B,word_awards).
928sameatitle(A,B):0.3 :-
929 haswordtitle(A,word_b),
930 haswordtitle(B,word_b).
931sameatitle(A,B):0.3 :-
932 haswordtitle(A,word_bandit),
933 haswordtitle(B,word_bandit).
934sameatitle(A,B):0.3 :-
935 haswordtitle(A,word_bart),
936 haswordtitle(B,word_bart).
937sameatitle(A,B):0.3 :-
938 haswordtitle(A,word_bartlett),
939 haswordtitle(B,word_bartlett).
940sameatitle(A,B):0.3 :-
941 haswordtitle(A,word_based),
942 haswordtitle(B,word_based).
943sameatitle(A,B):0.3 :-
944 haswordtitle(A,word_bayesian),
945 haswordtitle(B,word_bayesian).
946sameatitle(A,B):0.3 :-
947 haswordtitle(A,word_behavior),
948 haswordtitle(B,word_behavior).
949sameatitle(A,B):0.3 :-
950 haswordtitle(A,word_best),
951 haswordtitle(B,word_best).
952sameatitle(A,B):0.3 :-
953 haswordtitle(A,word_biased),
954 haswordtitle(B,word_biased).
955sameatitle(A,B):0.3 :-
956 haswordtitle(A,word_binary),
957 haswordtitle(B,word_binary).
958sameatitle(A,B):0.3 :-
959 haswordtitle(A,word_bits),
960 haswordtitle(B,word_bits).
961sameatitle(A,B):0.3 :-
962 haswordtitle(A,word_boost),
963 haswordtitle(B,word_boost).
964sameatitle(A,B):0.3 :-
965 haswordtitle(A,word_bound),
966 haswordtitle(B,word_bound).
967sameatitle(A,B):0.3 :-
968 haswordtitle(A,word_bounded),
969 haswordtitle(B,word_bounded).
970sameatitle(A,B):0.3 :-
971 haswordtitle(A,word_bounds),
972 haswordtitle(B,word_bounds).
973sameatitle(A,B):0.3 :-
974 haswordtitle(A,word_by),
975 haswordtitle(B,word_by).
976sameatitle(A,B):0.3 :-
977 haswordtitle(A,word_c),
978 haswordtitle(B,word_c).
979sameatitle(A,B):0.3 :-
980 haswordtitle(A,word_c4),
981 haswordtitle(B,word_c4).
982sameatitle(A,B):0.3 :-
983 haswordtitle(A,word_case),
984 haswordtitle(B,word_case).
985sameatitle(A,B):0.3 :-
986 haswordtitle(A,word_casino),
987 haswordtitle(B,word_casino).
988sameatitle(A,B):0.3 :-
989 haswordtitle(A,word_cation),
990 haswordtitle(B,word_cation).
991sameatitle(A,B):0.3 :-
992 haswordtitle(A,word_characteristic),
993 haswordtitle(B,word_characteristic).
994sameatitle(A,B):0.3 :-
995 haswordtitle(A,word_check),
996 haswordtitle(B,word_check).
997sameatitle(A,B):0.3 :-
998 haswordtitle(A,word_circuits),
999 haswordtitle(B,word_circuits).
1000sameatitle(A,B):0.3 :-
1001 haswordtitle(A,word_classi),
1002 haswordtitle(B,word_classi).
1003sameatitle(A,B):0.3 :-
1004 haswordtitle(A,word_classification),
1005 haswordtitle(B,word_classification).
1006sameatitle(A,B):0.3 :-
1007 haswordtitle(A,word_codes),
1008 haswordtitle(B,word_codes).
1009sameatitle(A,B):0.3 :-
1010 haswordtitle(A,word_coin),
1011 haswordtitle(B,word_coin).
1012sameatitle(A,B):0.3 :-
1013 haswordtitle(A,word_colt),
1014 haswordtitle(B,word_colt).
1015sameatitle(A,B):0.3 :-
1016 haswordtitle(A,word_comittee),
1017 haswordtitle(B,word_comittee).
1018sameatitle(A,B):0.3 :-
1019 haswordtitle(A,word_comments),
1020 haswordtitle(B,word_comments).
1021sameatitle(A,B):0.3 :-
1022 haswordtitle(A,word_consequences),
1023 haswordtitle(B,word_consequences).
1024sameatitle(A,B):0.3 :-
1025 haswordtitle(A,word_convergence),
1026 haswordtitle(B,word_convergence).
1027sameatitle(A,B):0.3 :-
1028 haswordtitle(A,word_counting),
1029 haswordtitle(B,word_counting).
1030sameatitle(A,B):0.3 :-
1031 haswordtitle(A,word_criptographic),
1032 haswordtitle(B,word_criptographic).
1033sameatitle(A,B):0.3 :-
1034 haswordtitle(A,word_cross),
1035 haswordtitle(B,word_cross).
1036sameatitle(A,B):0.3 :-
1037 haswordtitle(A,word_curve),
1038 haswordtitle(B,word_curve).
1039sameatitle(A,B):0.3 :-
1040 haswordtitle(A,word_d),
1041 haswordtitle(B,word_d).
1042sameatitle(A,B):0.3 :-
1043 haswordtitle(A,word_data),
1044 haswordtitle(B,word_data).
1045sameatitle(A,B):0.3 :-
1046 haswordtitle(A,word_derstand),
1047 haswordtitle(B,word_derstand).
1048sameatitle(A,B):0.3 :-
1049 haswordtitle(A,word_design),
1050 haswordtitle(B,word_design).
1051sameatitle(A,B):0.3 :-
1052 haswordtitle(A,word_deterministic),
1053 haswordtitle(B,word_deterministic).
1054sameatitle(A,B):0.3 :-
1055 haswordtitle(A,word_discrete),
1056 haswordtitle(B,word_discrete).
1057sameatitle(A,B):0.3 :-
1058 haswordtitle(A,word_dissertation),
1059 haswordtitle(B,word_dissertation).
1060sameatitle(A,B):0.3 :-
1061 haswordtitle(A,word_distributed),
1062 haswordtitle(B,word_distributed).
1063sameatitle(A,B):0.3 :-
1064 haswordtitle(A,word_diversity),
1065 haswordtitle(B,word_diversity).
1066sameatitle(A,B):0.3 :-
1067 haswordtitle(A,word_dnf),
1068 haswordtitle(B,word_dnf).
1069sameatitle(A,B):0.3 :-
1070 haswordtitle(A,word_donna),
1071 haswordtitle(B,word_donna).
1072sameatitle(A,B):0.3 :-
1073 haswordtitle(A,word_down),
1074 haswordtitle(B,word_down).
1075sameatitle(A,B):0.3 :-
1076 haswordtitle(A,word_drift),
1077 haswordtitle(B,word_drift).
1078sameatitle(A,B):0.3 :-
1079 haswordtitle(A,word_e),
1080 haswordtitle(B,word_e).
1081sameatitle(A,B):0.3 :-
1082 haswordtitle(A,word_economic),
1083 haswordtitle(B,word_economic).
1084sameatitle(A,B):0.3 :-
1085 haswordtitle(A,word_ed),
1086 haswordtitle(B,word_ed).
1087sameatitle(A,B):0.3 :-
1088 haswordtitle(A,word_editor),
1089 haswordtitle(B,word_editor).
1090sameatitle(A,B):0.3 :-
1091 haswordtitle(A,word_ef),
1092 haswordtitle(B,word_ef).
1093sameatitle(A,B):0.3 :-
1094 haswordtitle(A,word_electronically),
1095 haswordtitle(B,word_electronically).
1096sameatitle(A,B):0.3 :-
1097 haswordtitle(A,word_emerging),
1098 haswordtitle(B,word_emerging).
1099sameatitle(A,B):0.3 :-
1100 haswordtitle(A,word_empirical),
1101 haswordtitle(B,word_empirical).
1102sameatitle(A,B):0.3 :-
1103 haswordtitle(A,word_environments),
1104 haswordtitle(B,word_environments).
1105sameatitle(A,B):0.3 :-
1106 haswordtitle(A,word_equivalence),
1107 haswordtitle(B,word_equivalence).
1108sameatitle(A,B):0.3 :-
1109 haswordtitle(A,word_error),
1110 haswordtitle(B,word_error).
1111sameatitle(A,B):0.3 :-
1112 haswordtitle(A,word_errors),
1113 haswordtitle(B,word_errors).
1114sameatitle(A,B):0.3 :-
1115 haswordtitle(A,word_estimates),
1116 haswordtitle(B,word_estimates).
1117sameatitle(A,B):0.3 :-
1118 haswordtitle(A,word_euro),
1119 haswordtitle(B,word_euro).
1120sameatitle(A,B):0.3 :-
1121 haswordtitle(A,word_evaluation),
1122 haswordtitle(B,word_evaluation).
1123sameatitle(A,B):0.3 :-
1124 haswordtitle(A,word_exact),
1125 haswordtitle(B,word_exact).
1126sameatitle(A,B):0.3 :-
1127 haswordtitle(A,word_experimental),
1128 haswordtitle(B,word_experimental).
1129sameatitle(A,B):0.3 :-
1130 haswordtitle(A,word_experiments),
1131 haswordtitle(B,word_experiments).
1132sameatitle(A,B):0.3 :-
1133 haswordtitle(A,word_expert),
1134 haswordtitle(B,word_expert).
1135sameatitle(A,B):0.3 :-
1136 haswordtitle(A,word_extended),
1137 haswordtitle(B,word_extended).
1138sameatitle(A,B):0.3 :-
1139 haswordtitle(A,word_fi),
1140 haswordtitle(B,word_fi).
1141sameatitle(A,B):0.3 :-
1142 haswordtitle(A,word_field),
1143 haswordtitle(B,word_field).
1144sameatitle(A,B):0.3 :-
1145 haswordtitle(A,word_fiers),
1146 haswordtitle(B,word_fiers).
1147sameatitle(A,B):0.3 :-
1148 haswordtitle(A,word_finite),
1149 haswordtitle(B,word_finite).
1150sameatitle(A,B):0.3 :-
1151 haswordtitle(A,word_first),
1152 haswordtitle(B,word_first).
1153sameatitle(A,B):0.3 :-
1154 haswordtitle(A,word_fixed),
1155 haswordtitle(B,word_fixed).
1156sameatitle(A,B):0.3 :-
1157 haswordtitle(A,word_fourier),
1158 haswordtitle(B,word_fourier).
1159sameatitle(A,B):0.3 :-
1160 haswordtitle(A,word_framework),
1161 haswordtitle(B,word_framework).
1162sameatitle(A,B):0.3 :-
1163 haswordtitle(A,word_free),
1164 haswordtitle(B,word_free).
1165sameatitle(A,B):0.3 :-
1166 haswordtitle(A,word_frei),
1167 haswordtitle(B,word_frei).
1168sameatitle(A,B):0.3 :-
1169 haswordtitle(A,word_from),
1170 haswordtitle(B,word_from).
1171sameatitle(A,B):0.3 :-
1172 haswordtitle(A,word_fyoav),
1173 haswordtitle(B,word_fyoav).
1174sameatitle(A,B):0.3 :-
1175 haswordtitle(A,word_gambling),
1176 haswordtitle(B,word_gambling).
1177sameatitle(A,B):0.3 :-
1178 haswordtitle(A,word_games),
1179 haswordtitle(B,word_games).
1180sameatitle(A,B):0.3 :-
1181 haswordtitle(A,word_general),
1182 haswordtitle(B,word_general).
1183sameatitle(A,B):0.3 :-
1184 haswordtitle(A,word_group),
1185 haswordtitle(B,word_group).
1186sameatitle(A,B):0.3 :-
1187 haswordtitle(A,word_hans),
1188 haswordtitle(B,word_hans).
1189sameatitle(A,B):0.3 :-
1190 haswordtitle(A,word_hard),
1191 haswordtitle(B,word_hard).
1192sameatitle(A,B):0.3 :-
1193 haswordtitle(A,word_harman),
1194 haswordtitle(B,word_harman).
1195sameatitle(A,B):0.3 :-
1196 haswordtitle(A,word_helmbold),
1197 haswordtitle(B,word_helmbold).
1198sameatitle(A,B):0.3 :-
1199 haswordtitle(A,word_hierarchies),
1200 haswordtitle(B,word_hierarchies).
1201sameatitle(A,B):0.3 :-
1202 haswordtitle(A,word_home),
1203 haswordtitle(B,word_home).
1204sameatitle(A,B):0.3 :-
1205 haswordtitle(A,word_horn),
1206 haswordtitle(B,word_horn).
1207sameatitle(A,B):0.3 :-
1208 haswordtitle(A,word_how),
1209 haswordtitle(B,word_how).
1210sameatitle(A,B):0.3 :-
1211 haswordtitle(A,word_http),
1212 haswordtitle(B,word_http).
1213sameatitle(A,B):0.3 :-
1214 haswordtitle(A,word_hy),
1215 haswordtitle(B,word_hy).
1216sameatitle(A,B):0.3 :-
1217 haswordtitle(A,word_hypotheses),
1218 haswordtitle(B,word_hypotheses).
1219sameatitle(A,B):0.3 :-
1220 haswordtitle(A,word_hypothesis),
1221 haswordtitle(B,word_hypothesis).
1222sameatitle(A,B):0.3 :-
1223 haswordtitle(A,word_improve),
1224 haswordtitle(B,word_improve).
1225sameatitle(A,B):0.3 :-
1226 haswordtitle(A,word_indirect),
1227 haswordtitle(B,word_indirect).
1228sameatitle(A,B):0.3 :-
1229 haswordtitle(A,word_informational),
1230 haswordtitle(B,word_informational).
1231sameatitle(A,B):0.3 :-
1232 haswordtitle(A,word_is),
1233 haswordtitle(B,word_is).
1234sameatitle(A,B):0.3 :-
1235 haswordtitle(A,word_its),
1236 haswordtitle(B,word_its).
1237sameatitle(A,B):0.3 :-
1238 haswordtitle(A,word_k),
1239 haswordtitle(B,word_k).
1240sameatitle(A,B):0.3 :-
1241 haswordtitle(A,word_l),
1242 haswordtitle(B,word_l).
1243sameatitle(A,B):0.3 :-
1244 haswordtitle(A,word_label),
1245 haswordtitle(B,word_label).
1246sameatitle(A,B):0.3 :-
1247 haswordtitle(A,word_lae),
1248 haswordtitle(B,word_lae).
1249sameatitle(A,B):0.3 :-
1250 haswordtitle(A,word_langley),
1251 haswordtitle(B,word_langley).
1252sameatitle(A,B):0.3 :-
1253 haswordtitle(A,word_languages),
1254 haswordtitle(B,word_languages).
1255sameatitle(A,B):0.3 :-
1256 haswordtitle(A,word_large),
1257 haswordtitle(B,word_large).
1258sameatitle(A,B):0.3 :-
1259 haswordtitle(A,word_layer),
1260 haswordtitle(B,word_layer).
1261sameatitle(A,B):0.3 :-
1262 haswordtitle(A,word_learnable),
1263 haswordtitle(B,word_learnable).
1264sameatitle(A,B):0.3 :-
1265 haswordtitle(A,word_leave),
1266 haswordtitle(B,word_leave).
1267sameatitle(A,B):0.3 :-
1268 haswordtitle(A,word_lee),
1269 haswordtitle(B,word_lee).
1270sameatitle(A,B):0.3 :-
1271 haswordtitle(A,word_leee),
1272 haswordtitle(B,word_leee).
1273sameatitle(A,B):0.3 :-
1274 haswordtitle(A,word_leslie),
1275 haswordtitle(B,word_leslie).
1276sameatitle(A,B):0.3 :-
1277 haswordtitle(A,word_linear),
1278 haswordtitle(B,word_linear).
1279sameatitle(A,B):0.3 :-
1280 haswordtitle(A,word_llncs),
1281 haswordtitle(B,word_llncs).
1282sameatitle(A,B):0.3 :-
1283 haswordtitle(A,word_lower),
1284 haswordtitle(B,word_lower).
1285sameatitle(A,B):0.3 :-
1286 haswordtitle(A,word_m),
1287 haswordtitle(B,word_m).
1288sameatitle(A,B):0.3 :-
1289 haswordtitle(A,word_machines),
1290 haswordtitle(B,word_machines).
1291sameatitle(A,B):0.3 :-
1292 haswordtitle(A,word_macro),
1293 haswordtitle(B,word_macro).
1294sameatitle(A,B):0.3 :-
1295 haswordtitle(A,word_mansour),
1296 haswordtitle(B,word_mansour).
1297sameatitle(A,B):0.3 :-
1298 haswordtitle(A,word_manuscript),
1299 haswordtitle(B,word_manuscript).
1300sameatitle(A,B):0.3 :-
1301 haswordtitle(A,word_margin),
1302 haswordtitle(B,word_margin).
1303sameatitle(A,B):0.3 :-
1304 haswordtitle(A,word_markov),
1305 haswordtitle(B,word_markov).
1306sameatitle(A,B):0.3 :-
1307 haswordtitle(A,word_md5),
1308 haswordtitle(B,word_md5).
1309sameatitle(A,B):0.3 :-
1310 haswordtitle(A,word_mechanics),
1311 haswordtitle(B,word_mechanics).
1312sameatitle(A,B):0.3 :-
1313 haswordtitle(A,word_message),
1314 haswordtitle(B,word_message).
1315sameatitle(A,B):0.3 :-
1316 haswordtitle(A,word_methods),
1317 haswordtitle(B,word_methods).
1318sameatitle(A,B):0.3 :-
1319 haswordtitle(A,word_mixture),
1320 haswordtitle(B,word_mixture).
1321sameatitle(A,B):0.3 :-
1322 haswordtitle(A,word_model),
1323 haswordtitle(B,word_model).
1324sameatitle(A,B):0.3 :-
1325 haswordtitle(A,word_models),
1326 haswordtitle(B,word_models).
1327sameatitle(A,B):0.3 :-
1328 haswordtitle(A,word_mulae),
1329 haswordtitle(B,word_mulae).
1330sameatitle(A,B):0.3 :-
1331 haswordtitle(A,word_multi),
1332 haswordtitle(B,word_multi).
1333sameatitle(A,B):0.3 :-
1334 haswordtitle(A,word_muth),
1335 haswordtitle(B,word_muth).
1336sameatitle(A,B):0.3 :-
1337 haswordtitle(A,word_near),
1338 haswordtitle(B,word_near).
1339sameatitle(A,B):0.3 :-
1340 haswordtitle(A,word_nearly),
1341 haswordtitle(B,word_nearly).
1342sameatitle(A,B):0.3 :-
1343 haswordtitle(A,word_needed),
1344 haswordtitle(B,word_needed).
1345sameatitle(A,B):0.3 :-
1346 haswordtitle(A,word_network),
1347 haswordtitle(B,word_network).
1348sameatitle(A,B):0.3 :-
1349 haswordtitle(A,word_neural),
1350 haswordtitle(B,word_neural).
1351sameatitle(A,B):0.3 :-
1352 haswordtitle(A,word_new),
1353 haswordtitle(B,word_new).
1354sameatitle(A,B):0.3 :-
1355 haswordtitle(A,word_noise),
1356 haswordtitle(B,word_noise).
1357sameatitle(A,B):0.3 :-
1358 haswordtitle(A,word_not),
1359 haswordtitle(B,word_not).
1360sameatitle(A,B):0.3 :-
1361 haswordtitle(A,word_number),
1362 haswordtitle(B,word_number).
1363sameatitle(A,B):0.3 :-
1364 haswordtitle(A,word_oblivious),
1365 haswordtitle(B,word_oblivious).
1366sameatitle(A,B):0.3 :-
1367 haswordtitle(A,word_old),
1368 haswordtitle(B,word_old).
1369sameatitle(A,B):0.3 :-
1370 haswordtitle(A,word_one),
1371 haswordtitle(B,word_one).
1372sameatitle(A,B):0.3 :-
1373 haswordtitle(A,word_online),
1374 haswordtitle(B,word_online).
1375sameatitle(A,B):0.3 :-
1376 haswordtitle(A,word_optimal),
1377 haswordtitle(B,word_optimal).
1378sameatitle(A,B):0.3 :-
1379 haswordtitle(A,word_or),
1380 haswordtitle(B,word_or).
1381sameatitle(A,B):0.3 :-
1382 haswordtitle(A,word_order),
1383 haswordtitle(B,word_order).
1384sameatitle(A,B):0.3 :-
1385 haswordtitle(A,word_orders),
1386 haswordtitle(B,word_orders).
1387sameatitle(A,B):0.3 :-
1388 haswordtitle(A,word_orgs),
1389 haswordtitle(B,word_orgs).
1390sameatitle(A,B):0.3 :-
1391 haswordtitle(A,word_our),
1392 haswordtitle(B,word_our).
1393sameatitle(A,B):0.3 :-
1394 haswordtitle(A,word_out),
1395 haswordtitle(B,word_out).
1396sameatitle(A,B):0.3 :-
1397 haswordtitle(A,word_output),
1398 haswordtitle(B,word_output).
1399sameatitle(A,B):0.3 :-
1400 haswordtitle(A,word_over),
1401 haswordtitle(B,word_over).
1402sameatitle(A,B):0.3 :-
1403 haswordtitle(A,word_p),
1404 haswordtitle(B,word_p).
1405sameatitle(A,B):0.3 :-
1406 haswordtitle(A,word_pac),
1407 haswordtitle(B,word_pac).
1408sameatitle(A,B):0.3 :-
1409 haswordtitle(A,word_package),
1410 haswordtitle(B,word_package).
1411sameatitle(A,B):0.3 :-
1412 haswordtitle(A,word_pages),
1413 haswordtitle(B,word_pages).
1414sameatitle(A,B):0.3 :-
1415 haswordtitle(A,word_patrice),
1416 haswordtitle(B,word_patrice).
1417sameatitle(A,B):0.3 :-
1418 haswordtitle(A,word_pattern),
1419 haswordtitle(B,word_pattern).
1420sameatitle(A,B):0.3 :-
1421 haswordtitle(A,word_people),
1422 haswordtitle(B,word_people).
1423sameatitle(A,B):0.3 :-
1424 haswordtitle(A,word_persistent),
1425 haswordtitle(B,word_persistent).
1426sameatitle(A,B):0.3 :-
1427 haswordtitle(A,word_peter),
1428 haswordtitle(B,word_peter).
1429sameatitle(A,B):0.3 :-
1430 haswordtitle(A,word_play),
1431 haswordtitle(B,word_play).
1432sameatitle(A,B):0.3 :-
1433 haswordtitle(A,word_points),
1434 haswordtitle(B,word_points).
1435sameatitle(A,B):0.3 :-
1436 haswordtitle(A,word_polynomials),
1437 haswordtitle(B,word_polynomials).
1438sameatitle(A,B):0.3 :-
1439 haswordtitle(A,word_portfolio),
1440 haswordtitle(B,word_portfolio).
1441sameatitle(A,B):0.3 :-
1442 haswordtitle(A,word_potheses),
1443 haswordtitle(B,word_potheses).
1444sameatitle(A,B):0.3 :-
1445 haswordtitle(A,word_pp),
1446 haswordtitle(B,word_pp).
1447sameatitle(A,B):0.3 :-
1448 haswordtitle(A,word_precence),
1449 haswordtitle(B,word_precence).
1450sameatitle(A,B):0.3 :-
1451 haswordtitle(A,word_predictors),
1452 haswordtitle(B,word_predictors).
1453sameatitle(A,B):0.3 :-
1454 haswordtitle(A,word_primitives),
1455 haswordtitle(B,word_primitives).
1456sameatitle(A,B):0.3 :-
1457 haswordtitle(A,word_problem),
1458 haswordtitle(B,word_problem).
1459sameatitle(A,B):0.3 :-
1460 haswordtitle(A,word_problems),
1461 haswordtitle(B,word_problems).
1462sameatitle(A,B):0.3 :-
1463 haswordtitle(A,word_processed),
1464 haswordtitle(B,word_processed).
1465sameatitle(A,B):0.3 :-
1466 haswordtitle(A,word_processes),
1467 haswordtitle(B,word_processes).
1468sameatitle(A,B):0.3 :-
1469 haswordtitle(A,word_protocols),
1470 haswordtitle(B,word_protocols).
1471sameatitle(A,B):0.3 :-
1472 haswordtitle(A,word_pruning),
1473 haswordtitle(B,word_pruning).
1474sameatitle(A,B):0.3 :-
1475 haswordtitle(A,word_q),
1476 haswordtitle(B,word_q).
1477sameatitle(A,B):0.3 :-
1478 haswordtitle(A,word_queries),
1479 haswordtitle(B,word_queries).
1480sameatitle(A,B):0.3 :-
1481 haswordtitle(A,word_query),
1482 haswordtitle(B,word_query).
1483sameatitle(A,B):0.3 :-
1484 haswordtitle(A,word_r),
1485 haswordtitle(B,word_r).
1486sameatitle(A,B):0.3 :-
1487 haswordtitle(A,word_random),
1488 haswordtitle(B,word_random).
1489sameatitle(A,B):0.3 :-
1490 haswordtitle(A,word_read),
1491 haswordtitle(B,word_read).
1492sameatitle(A,B):0.3 :-
1493 haswordtitle(A,word_reasoning),
1494 haswordtitle(B,word_reasoning).
1495sameatitle(A,B):0.3 :-
1496 haswordtitle(A,word_recent),
1497 haswordtitle(B,word_recent).
1498sameatitle(A,B):0.3 :-
1499 haswordtitle(A,word_relations),
1500 haswordtitle(B,word_relations).
1501sameatitle(A,B):0.3 :-
1502 haswordtitle(A,word_repeated),
1503 haswordtitle(B,word_repeated).
1504sameatitle(A,B):0.3 :-
1505 haswordtitle(A,word_request),
1506 haswordtitle(B,word_request).
1507sameatitle(A,B):0.3 :-
1508 haswordtitle(A,word_results),
1509 haswordtitle(B,word_results).
1510sameatitle(A,B):0.3 :-
1511 haswordtitle(A,word_rfc),
1512 haswordtitle(B,word_rfc).
1513sameatitle(A,B):0.3 :-
1514 haswordtitle(A,word_rigged),
1515 haswordtitle(B,word_rigged).
1516sameatitle(A,B):0.3 :-
1517 haswordtitle(A,word_rigorous),
1518 haswordtitle(B,word_rigorous).
1519sameatitle(A,B):0.3 :-
1520 haswordtitle(A,word_ro),
1521 haswordtitle(B,word_ro).
1522sameatitle(A,B):0.3 :-
1523 haswordtitle(A,word_s),
1524 haswordtitle(B,word_s).
1525sameatitle(A,B):0.3 :-
1526 haswordtitle(A,word_saitta),
1527 haswordtitle(B,word_saitta).
1528sameatitle(A,B):0.3 :-
1529 haswordtitle(A,word_sanity),
1530 haswordtitle(B,word_sanity).
1531sameatitle(A,B):0.3 :-
1532 haswordtitle(A,word_scene),
1533 haswordtitle(B,word_scene).
1534sameatitle(A,B):0.3 :-
1535 haswordtitle(A,word_schapireg),
1536 haswordtitle(B,word_schapireg).
1537sameatitle(A,B):0.3 :-
1538 haswordtitle(A,word_schemas),
1539 haswordtitle(B,word_schemas).
1540sameatitle(A,B):0.3 :-
1541 haswordtitle(A,word_sequence),
1542 haswordtitle(B,word_sequence).
1543sameatitle(A,B):0.3 :-
1544 haswordtitle(A,word_seung),
1545 haswordtitle(B,word_seung).
1546sameatitle(A,B):0.3 :-
1547 haswordtitle(A,word_shapire),
1548 haswordtitle(B,word_shapire).
1549sameatitle(A,B):0.3 :-
1550 haswordtitle(A,word_site),
1551 haswordtitle(B,word_site).
1552sameatitle(A,B):0.3 :-
1553 haswordtitle(A,word_snowbird),
1554 haswordtitle(B,word_snowbird).
1555sameatitle(A,B):0.3 :-
1556 haswordtitle(A,word_soft),
1557 haswordtitle(B,word_soft).
1558sameatitle(A,B):0.3 :-
1559 haswordtitle(A,word_some),
1560 haswordtitle(B,word_some).
1561sameatitle(A,B):0.3 :-
1562 haswordtitle(A,word_sparse),
1563 haswordtitle(B,word_sparse).
1564sameatitle(A,B):0.3 :-
1565 haswordtitle(A,word_specialize),
1566 haswordtitle(B,word_specialize).
1567sameatitle(A,B):0.3 :-
1568 haswordtitle(A,word_split),
1569 haswordtitle(B,word_split).
1570sameatitle(A,B):0.3 :-
1571 haswordtitle(A,word_ssr),
1572 haswordtitle(B,word_ssr).
1573sameatitle(A,B):0.3 :-
1574 haswordtitle(A,word_stacked),
1575 haswordtitle(B,word_stacked).
1576sameatitle(A,B):0.3 :-
1577 haswordtitle(A,word_strategies),
1578 haswordtitle(B,word_strategies).
1579sameatitle(A,B):0.3 :-
1580 haswordtitle(A,word_strength),
1581 haswordtitle(B,word_strength).
1582sameatitle(A,B):0.3 :-
1583 haswordtitle(A,word_style),
1584 haswordtitle(B,word_style).
1585sameatitle(A,B):0.3 :-
1586 haswordtitle(A,word_sub),
1587 haswordtitle(B,word_sub).
1588sameatitle(A,B):0.3 :-
1589 haswordtitle(A,word_systems),
1590 haswordtitle(B,word_systems).
1591sameatitle(A,B):0.3 :-
1592 haswordtitle(A,word_t),
1593 haswordtitle(B,word_t).
1594sameatitle(A,B):0.3 :-
1595 haswordtitle(A,word_temporal),
1596 haswordtitle(B,word_temporal).
1597sameatitle(A,B):0.3 :-
1598 haswordtitle(A,word_test),
1599 haswordtitle(B,word_test).
1600sameatitle(A,B):0.3 :-
1601 haswordtitle(A,word_testing),
1602 haswordtitle(B,word_testing).
1603sameatitle(A,B):0.3 :-
1604 haswordtitle(A,word_text),
1605 haswordtitle(B,word_text).
1606sameatitle(A,B):0.3 :-
1607 haswordtitle(A,word_that),
1608 haswordtitle(B,word_that).
1609sameatitle(A,B):0.3 :-
1610 haswordtitle(A,word_this),
1611 haswordtitle(B,word_this).
1612sameatitle(A,B):0.3 :-
1613 haswordtitle(A,word_thoughts),
1614 haswordtitle(B,word_thoughts).
1615sameatitle(A,B):0.3 :-
1616 haswordtitle(A,word_time),
1617 haswordtitle(B,word_time).
1618sameatitle(A,B):0.3 :-
1619 haswordtitle(A,word_to),
1620 haswordtitle(B,word_to).
1621sameatitle(A,B):0.3 :-
1622 haswordtitle(A,word_top),
1623 haswordtitle(B,word_top).
1624sameatitle(A,B):0.3 :-
1625 haswordtitle(A,word_total),
1626 haswordtitle(B,word_total).
1627sameatitle(A,B):0.3 :-
1628 haswordtitle(A,word_toward),
1629 haswordtitle(B,word_toward).
1630sameatitle(A,B):0.3 :-
1631 haswordtitle(A,word_tree),
1632 haswordtitle(B,word_tree).
1633sameatitle(A,B):0.3 :-
1634 haswordtitle(A,word_typical),
1635 haswordtitle(B,word_typical).
1636sameatitle(A,B):0.3 :-
1637 haswordtitle(A,word_un),
1638 haswordtitle(B,word_un).
1639sameatitle(A,B):0.3 :-
1640 haswordtitle(A,word_under),
1641 haswordtitle(B,word_under).
1642sameatitle(A,B):0.3 :-
1643 haswordtitle(A,word_universal),
1644 haswordtitle(B,word_universal).
1645sameatitle(A,B):0.3 :-
1646 haswordtitle(A,word_unsupervised),
1647 haswordtitle(B,word_unsupervised).
1648sameatitle(A,B):0.3 :-
1649 haswordtitle(A,word_unsupevised),
1650 haswordtitle(B,word_unsupevised).
1651sameatitle(A,B):0.3 :-
1652 haswordtitle(A,word_up),
1653 haswordtitle(B,word_up).
1654sameatitle(A,B):0.3 :-
1655 haswordtitle(A,word_upyears),
1656 haswordtitle(B,word_upyears).
1657sameatitle(A,B):0.3 :-
1658 haswordtitle(A,word_use),
1659 haswordtitle(B,word_use).
1660sameatitle(A,B):0.3 :-
1661 haswordtitle(A,word_v),
1662 haswordtitle(B,word_v).
1663sameatitle(A,B):0.3 :-
1664 haswordtitle(A,word_valiant),
1665 haswordtitle(B,word_valiant).
1666sameatitle(A,B):0.3 :-
1667 haswordtitle(A,word_variable),
1668 haswordtitle(B,word_variable).
1669sameatitle(A,B):0.3 :-
1670 haswordtitle(A,word_vazirani),
1671 haswordtitle(B,word_vazirani).
1672sameatitle(A,B):0.3 :-
1673 haswordtitle(A,word_vc),
1674 haswordtitle(B,word_vc).
1675sameatitle(A,B):0.3 :-
1676 haswordtitle(A,word_vectors),
1677 haswordtitle(B,word_vectors).
1678sameatitle(A,B):0.3 :-
1679 haswordtitle(A,word_w),
1680 haswordtitle(B,word_w).
1681sameatitle(A,B):0.3 :-
1682 haswordtitle(A,word_walks),
1683 haswordtitle(B,word_walks).
1684sameatitle(A,B):0.3 :-
1685 haswordtitle(A,word_was),
1686 haswordtitle(B,word_was).
1687sameatitle(A,B):0.3 :-
1688 haswordtitle(A,word_weak),
1689 haswordtitle(B,word_weak).
1690sameatitle(A,B):0.3 :-
1691 haswordtitle(A,word_weakly),
1692 haswordtitle(B,word_weakly).
1693sameatitle(A,B):0.3 :-
1694 haswordtitle(A,word_web),
1695 haswordtitle(B,word_web).
1696sameatitle(A,B):0.3 :-
1697 haswordtitle(A,word_weights),
1698 haswordtitle(B,word_weights).
1699sameatitle(A,B):0.3 :-
1700 haswordtitle(A,word_well),
1701 haswordtitle(B,word_well).
1702sameatitle(A,B):0.3 :-
1703 haswordtitle(A,word_works),
1704 haswordtitle(B,word_works).
1705sameatitle(A,B):0.3 :-
1706 haswordtitle(A,word_workshop),
1707 haswordtitle(B,word_workshop).
1708sameatitle(A,B):0.3 :-
1709 haswordtitle(A,word_worst),
1710 haswordtitle(B,word_worst).
1711sameatitle(A,B):0.3 :-
1712 haswordtitle(A,word_www),
1713 haswordtitle(B,word_www).
1714sameatitle(A,B):0.3 :-
1715 haswordtitle(A,word_x),
1716 haswordtitle(B,word_x).
1717
1719venue(class_7,venue_proceedings_26th_symposium_theory_computing_).
1720venue(class_8,venue_proceedings_twenty_sixth_symposium_theory_computing_).
1721author(class_7,author_blum_a_).
1722author(class_8,author_blum_a_).
1723title(class_7,title_weakly_learning_learning_dnf_characterizing_statistical_query_using_fourier_analysis_).
1724title(class_8,title_weakly_learning_learning_dnf_characterizing_statistical_query_using_fourier_analysis_).
1725
1726haswordvenue(venue_proceedings_26th_symposium_theory_computing_,word_26th).
1727haswordvenue(venue_proceedings_26th_symposium_theory_computing_,word_pos).
1728haswordvenue(venue_proceedings_26th_symposium_theory_computing_,word_test).
1729
1730haswordvenue(venue_proceedings_twenty_sixth_symposium_theory_computing_,word_pos).
1731haswordvenue(venue_proceedings_twenty_sixth_symposium_theory_computing_,word_sixth).
1732haswordvenue(venue_proceedings_twenty_sixth_symposium_theory_computing_,word_test).
1733
1734haswordtitle(title_weakly_learning_learning_dnf_characterizing_statistical_query_using_fourier_analysis_,word_dnf).
1735haswordtitle(title_weakly_learning_learning_dnf_characterizing_statistical_query_using_fourier_analysis_,word_fourier).
1736haswordtitle(title_weakly_learning_learning_dnf_characterizing_statistical_query_using_fourier_analysis_,word_query).
1737haswordtitle(title_weakly_learning_learning_dnf_characterizing_statistical_query_using_fourier_analysis_,word_test).
1738haswordtitle(title_weakly_learning_learning_dnf_characterizing_statistical_query_using_fourier_analysis_,word_weakly).
1739
1740haswordauthor(author_blum_a_,word_a).
1741haswordauthor(author_blum_a_,word_blum).
1742
1743:- end_lpad.
?-
prob(samebib(class_7,class_8),Prob). % what is the probability that citations class_7 % and class_8 refer to the same paper? % expected result 0.4616412208109999 ?-prob(samebib(class_7,class_8),Prob),bar(Prob,C). % what is the probability that citations class_7 % and class_8 refer to the same paper? % expected result 0.4616412208109999*/