db/conf/cikm/BuvacF95.html Sasa Buvac Richard Fikes A Declarative Formalization of Knowledge Translation. 340-347 CIKM1995/P340.pdf 1995 conf/cikm/95 CIKM db/conf/cikm/cikm95.html#BuvacF95 http://doi.acm.org/10.1145/221270.221610 journals/fuin/AttardiS95 journals/fuin/BuvacBM95 ... conf/aaai/BuvacM93 ... ... conf/kr/GruberO94 ... conf/ijcai/McCarthy93 ... conf/kr/PatilFPMFGN92 conf/kr/BaalenF94