Consistent query answering via ASP from different perspectives: Theory and practice
- 期刊名称Theory and Practice of Logic Programming
- 作者MANNA, MARCO; RICCA, FRANCESCO; TERRACINA, GIORGIO
- 卷第13卷
- 期第2期
- 印刷ISSN1471-0684
- 电子ISSN1475-3081
- 文件大小331.93KB
- 发表时间2013-3
- DOI10.1017/s1471068411000640
- 页码227-252
Monotonic Abstraction in Parameterized VerificationParosh Aziz Abdulla; Giorgio Delzanno; Ahmed Rezine · 2008
Proofs as computations in linear logicGiorgio Delzanno; Maurizio Martelli · 2001
Constraint-based deductive model checkingGiorgio Delzanno; Andreas Podelski · 2001
Reachability problems in BioAmbientsGiorgio Delzanno; Gianluigi Zavattaro · 2012
PREFACEDELZANNO, GIORGIO; POTAPOV, IGOR · International Journal of Foundations of Computer Science · 2013
Model checking linear logic specificationsBOZZANO, MARCO; DELZANNO, GIORGIO; MARTELLI, MAURIZIO · Theory and Practice of Logic Programming · 2004
Parameterized verificationAbdulla, Parosh A.; Delzanno, Giorgio · International Journal on Software Tools for Technology Transfer · 2016
Deciding Reachability in Mobile Ambients with Name RestrictionGiorgio Delzanno; Roberto Montagna · 2009
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