Travelled to:1 × Australia
1 × Germany
Collaborated with:K.Inoue R.Hasegawa M.Koshimura
Talks about:magic (2) horn (2) set (2) non (2) relationship (1) incorpor (1) theorem (1) between (1) bottom (1) relev (1)
Person: Yoshihiko Ohta
DBLP: Ohta:Yoshihiko
Contributed to:
19981997Wrote 2 papers:
- CADE-1998-OhtaIH #on the #testing
- On the Relationship Between Non-Horn Magic Sets and Relevancy Testing (YO, KI, RH), pp. 333–348.
- CADE-1997-HasegawaIOK #bottom-up #proving #set #theorem proving #top-down
- Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving (RH, KI, YO, MK), pp. 176–190.