LangPro:基于Tableau的自然逻辑和语言定理证明
需积分: 16 61 浏览量
2021-05-17
15:19:35
上传
评论
收藏 15.04MB ZIP 举报
LangPro:基于Tableau的自然逻辑和语言定理证明 （193个子文件） 
wninput.5 17KB wndb.5 14KB prologdb.5 12KB senseidx.5 6KB wnpkgs.7 3KB wngroups.7 1KB sick_test_hybrid_800.ans 67KB sick_test_candc_800.ans 67KB sick_test_easyccg_800.ans 67KB style.css 6KB tableau.css 4KB ttterms.css 3KB rte_problems.css 1KB tableau.dtd 1KB tableau_old.dtd 1KB al,ch,w3,-k,r800,c20_ab,ch,cKB,cT,p123.ans.E 68KB al,ch,w3,-k,r800,c20_ab,ch,cKB,cT,p123.ans.E 68KB al,ch,w3,-k,r800,c20_ab,ch,cKB,cT,p123.ans.E 68KB
wninput.5WN.html 24KB wndb.5WN.html 18KB prologdb.5WN.html 16KB senseidx.5WN.html 8KB wnpkgs.7WN.html 5KB wngroups.7WN.html 2KB produce.ini 13KB my.js 3KB myfunctions.js 1KB SICK_test_annotated.depccg.trihf.json 13.29MB SICK_test_annotated.depccg.trihf.sep.json 12.9MB SICK_train.depccg.trihf.json 12.16MB SICK_train.depccg.trihf.sep.json 11.79MB SICK_trial.depccg.trihf.json 1.38MB SICK_trial.depccg.trihf.prog.json 1.34MB SICK_trial.depccg.trihf.prog.sep.json 1.34MB SICK_trial.depccg.trihf.sep.json 1.34MB SICK_test_annotated.easy.lem 414KB SICK_train.easy.lem 377KB SICK_trial.easy.lem 43KB LICENSE 1KB al,ch,w3,-k,r800,c20_ab,ch,cKB,cT,p123.log 1.98MB al,ch,w3,-k,r800,c20_ab,ch,cKB,cT,p123.log 1.98MB al,ch,w3,-k,r800,c20_ab,ch,cKB,cT,p123.log 1.61MB SICK_test_annotated.depccg.trihf.sep.json.log 10KB SICK_train.depccg.trihf.sep.json.log 9KB SICK_trial.depccg.trihf.sep.json.log 1020B README.md 3KB README.md 2KB README.md 2KB README.md 846B SICK_test_annotated.cc.pos.ner 946KB SICK_train.cc.pos.ner 864KB SICK_trial.cc.pos.ner 98KB
wndb.5.pdf 15KB senseidx.5.pdf 7KB wnpkgs.7.pdf 4KB wngroups.7.pdf 2KB wninput.5.pdf 18KB prologdb.5.pdf 12KB wn_s.pl 7.15MB SICK_test_annotated_d_occg.pl 7.02MB SICK_test_annotated_d_ccg.pl 6.79MB SICK_train_d_occg.pl 6.41MB SICK_test_annotated_occg.pl 6.37MB SICK_train_trial_ccg.pl 6.31MB SICK_train_d_ccg.pl 6.21MB SICK_test_annotated_ccg.pl 6.2MB SICK_train_trial_depccg.trihf.sep.pl 6.16MB SICK_train_trial_depccg.trihf.sep.pl 6.16MB SICK_test_annotated_depccg.trihf.pl 6.05MB SICK_test_annotated_depccg.trihf.sep.pl 6.05MB SICK_test_annotated_depccg.trihf.sep.pl 6.05MB SICK_train_occg.pl 5.82MB SICK_test_annotated_d_eccg.pl 5.78MB SICK_train_ccg.pl 5.67MB SICK_test_annotated_d_reccg.pl 5.61MB SICK_train_depccg.trihf.pl 5.53MB SICK_train_depccg.trihf.sep.pl 5.53MB SICK_train_depccg.trihf.sep.pl 5.53MB SICK_train_trial_eccg.pl 5.37MB SICK_train_d_eccg.pl 5.29MB SICK_test_annotated_eccg.pl 5.28MB SICK_train_d_reccg.pl 5.13MB SICK_test_annotated_reccg.pl 5.12MB SICK_train_eccg.pl 4.83MB SICK_train_reccg.pl 4.69MB wn_hyp.pl 2.21MB wn_der.pl 2.14MB SICK_train_trial_sen.pl 918KB SICK_train_trial_sen.pl 918KB SICK_test_annotated_sen.pl 905KB SICK_test_annotated_sen.pl 904KB SICK_train_sen.pl 825KB SICK_train_sen.pl 825KB SICK_trial_d_occg.pl 745KB SICK_trial_d_ccg.pl 720KB SICK_trial_occg.pl 677KB SICK_trial_ccg.pl 659KB SICK_trial_depccg.trihf.pl 642KB SICK_trial_depccg.trihf.sep.pl 642KB SICK_trial_depccg.trihf.sep.pl 642KB共 193 条
- 1
- 2
资源评论
