Editorial
- 期刊名称Legal Information Management
- 作者Eastham, Laurence
- 卷第1卷
- 期第2期
- 印刷ISSN1472-6696
- 电子ISSN1741-2021
- 文件大小626.61KB
- 发表时间2001-6
- DOI10.1017/s1472669600000359
SWI-PrologWIELEMAKER, JAN; SCHRIJVERS, TOM; TRISKA, MARKUS; LAGER, TORBJÖRN · Theory and Practice of Logic Programming · 2012
Probabilistic reasoning with answer setsBARAL, CHITTA; GELFOND, MICHAEL; RUSHTON, NELSON · Theory and Practice of Logic Programming · 2009
The YAP Prolog systemCOSTA, VÍTOR SANTOS; ROCHA, RICARDO; DAMAS, LUÍS · Theory and Practice of Logic Programming · 2012
Viterbi training in PRISMSATO, TAISUKE; KUBOTA, KEIICHI · Theory and Practice of Logic Programming · 2015
Unfolding for CHR programsGABBRIELLI, MAURIZIO; MEO, MARIA CHIARA; TACCHELLA, PAOLO; WIKLICKY, HERBERT · Theory and Practice of Logic Programming · 2015
Delimited continuations for prologSCHRIJVERS, TOM; DEMOEN, BART; DESOUTER, BENOIT; WIELEMAKER, JAN · Theory and Practice of Logic Programming · 2013
Greedy algorithms in DatalogGRECO, SERGIO; ZANIOLO, CARLO · Theory and Practice of Logic Programming · 2001
A tribute to Alain ColmerauerCOHEN, JACQUES · Theory and Practice of Logic Programming · 2001