Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
semantic [2011/10/29 20:18] vkuncak |
semantic [2012/12/20 22:07] vkuncak |
||
---|---|---|---|
Line 53: | Line 53: | ||
* [[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.2498|A Natural Logic for Natural Language Processing and Knowledge Representation (1994)]] by Syed S. Ali | * [[http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.2498|A Natural Logic for Natural Language Processing and Knowledge Representation (1994)]] by Syed S. Ali | ||
* {{mccartneymanna07natlog.pdf|Natural logic for textual inference}} | * {{mccartneymanna07natlog.pdf|Natural logic for textual inference}} | ||
+ | |||
===== Law ====== | ===== Law ====== | ||
Line 58: | Line 59: | ||
* the seminar at MIT in 2006 | * the seminar at MIT in 2006 | ||
* {{contractlanguage.pdf|Model Checking Contracts}} | * {{contractlanguage.pdf|Model Checking Contracts}} | ||
+ | * {{gupea_2077_23468_1.pdf|Encoding the Contract Language CL Into Grammatical Framework}} | ||
+ | * [[http://www-verimag.imag.fr/~potet/|Marie-Laure POTET]] | ||
+ | * [[wp>Legal expert system]] | ||
+ | * [[http://www.cl.uzh.ch/people/team/hoefler_en.html|Stefan Hoefler]] from Uni Zurich | ||
===== Textual Inference ===== | ===== Textual Inference ===== |