Multi-level Algorithm Selection for ASP-Reference-Cited by-同舟云学术

Multi-level Algorithm Selection for ASP

Published:2015 Issue: Volume: Page:439-445
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Maratea Marco,Pulina Luca,Ricca Francesco

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-23264-5_36

Reference21 articles.

1. Lecture Notes in Computer Science;M Alviano,2013

2. Alviano, M., Faber, W., Greco, G., Leone, N.: Magic sets for disjunctive datalog programs. Artif. Intell. 187, 156–192 (2012)

3. Balduccini, M.: Learning and using domain-specific heuristics in ASP solvers. AI Commun. 24(2), 147–164 (2011)

4. Lecture Notes in Computer Science;J Bomanson,2013

5. Calimeri, F., Faber, W., Gebser, M., Ianni, G., Kaminski, R., Krennwallner, T., Leone, N., Ricca, F., Schaub, T.: Asp-core-2 input language format (since 2013). https://www.mat.unical.it/aspcomp2013/ASPStandardization

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

1. On the Configuration of More and Less Expressive Logic Programs;Theory and Practice of Logic Programming;2022-03-21

2. Vicious circle principle, aggregates, and formation of sets in ASP based languages;Artificial Intelligence;2019-10

3. The Seventh Answer Set Programming Competition: Design and Results;Theory and Practice of Logic Programming;2019-05-31

4. Answer set programming and agents;The Knowledge Engineering Review;2018

5. The Sixth Answer Set Programming Competition;Journal of Artificial Intelligence Research;2017-09-13