I've finished my graduate studies towards a Master of Sciences degree at
Computer Science faculty of Technion in 2002.
M.Sc. Research
My M.Sc. research was in the field of Computational Semantics and was done under the supervision of Dr. Yoad Winter.
The M.Sc. thesis is titled "Implementation and Extension of Natural Logic" and deals, quite naturally, with
extension of Natural Logic.
Natural Logic (as we see it) is an inference system
that works directly on natural language syntactic representations,
with no intermediate translation to logical formulae.
M.Sc. Thesis
Here is the very final version of my thesis in
PostScript and PDF formats.
[ps | pdf ]
Natural Logic Inference Engine
As a part of the Thesis, I implemented in Prolog a system for computing
inference between natural language expressions (particularly sentences).
The OC Prover is available online.
Papers
-
2000: A Natural Logic Inference System. With Yoad Winter and
Nissim Francez. Proceedings of Inference in Computational Semantics 2.
[PostScript |
pdf |
abstract]
-
2000: Order-Based Inference in Natural Logic. With Yoad Winter and
Nissim Francez. Submitted to Language and Computation. This is a
clearer rewrite of a previous paper including some formal proofs of
the completeness.
[PostScript |
pdf |
abstract]
Contact Info
You can reach me through my Technion email
yaroslav@cs.technion.ac.il
Feel free to contact me in matters regarding my M.Sc. research or any other.