The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track-Reference-Cited by-同舟云学术

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track

Published:2011 Issue: Volume: Page:388-403
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Calimeri Francesco,Ianni Giovambattista,Ricca Francesco,Alviano Mario,Bria Annamaria,Catalano Gelsomina,Cozza Susanna,Faber Wolfgang,Febbraro Onofrio,Leone Nicola,Manna Marco,Martello Alessandra,Panetta Claudio,Perri Simona,Reale Kristian,Santoro Maria Carmela,Sirianni Marco,Terracina Giorgio,Veltri Pierfrancesco

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-20895-9_46

Reference54 articles.

1. Contstraint Handling Rules, http://dtai.cs.kuleuven.be/CHR/

2. Core language for asp solver competitions. Minutes of the steering committee meeting at LPNMR (2004), https://www.mat.unical.it/aspcomp2011/files/Corelang2004.pdf

3. The CADE ATP System Competition, http://www.cs.miami.edu/~tptp/CASC/

4. The Satisfiability Modulo Theories Library, http://www.smtlib.org/

5. Alviano, M., Faber, W., Greco, G., Leone, N.: Magic sets for disjunctive datalog programs. Tech. Report 09/2009, Dipartimento di Matematica, Università della Calabria, Italy (2009), http://www.wfaber.com/research/papers/TRMAT092009.pdf

Cited by 17 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Constraint Answer Set Programming: Integrational and Translational (or SMT-based) Approaches;Theory and Practice of Logic Programming;2021-11-02

2. Constraint answer set solver EZCSP and why integration schemas matter;Theory and Practice of Logic Programming;2017-06-29

3. Solving the Travelling Umpire Problem with Answer Set Programming;Communications in Computer and Information Science;2017

4. Information diffusion in a multi-social-network scenario: framework and ASP-based analysis;Knowledge and Information Systems;2015-10-23

5. Advances in Multi-engine ASP Solving;Lecture Notes in Computer Science;2015