The PTQ package
An implementation of Montague's PTQ (Proper Treatment of Quantification). It translates simple plain English sentences into formulas of intentional logic.
Properties
| Versions | 0.0.4, 0.0.5 |
|---|---|
| Dependencies | base (4.*), containers, haskell98, mtl, network, xml |
| License | LGPL |
| Author | Masahiro Sakai |
| Maintainer | Masahiro Sakai <masahiro.sakai AT gmail.com> |
| Stability | experimental |
| Category | Natural Language Processing |
| Home page | http://www.tom.sfc.keio.ac.jp/~sakai/hiki/?hsPTQ |
| Executables | ptq.cgi, ptq |
| Upload date | Mon Nov 16 15:36:41 UTC 2009 |
| Uploaded by | MasahiroSakai |
| Built on | ghc-6.10 |
Downloads
- PTQ-0.0.5.tar.gz (Cabal source package)
- package description (included in the package)