The Fourth Answer Set Programming Competition: Preliminary Report-Reference-Cited by-同舟云学术

The Fourth Answer Set Programming Competition: Preliminary Report

Published:2013 Issue: Volume: Page:42-53
ISSN:0302-9743
Container-title:Logic Programming and Nonmonotonic Reasoning
language:
Short-container-title:

Author:

Alviano Mario,Calimeri Francesco,Charwat Günther,Dao-Tran Minh,Dodaro Carmine,Ianni Giovambattista,Krennwallner Thomas,Kronegger Martin,Oetsch Johannes,Pfandler Andreas,Pührer Jörg,Redl Christoph,Ricca Francesco,Schneider Patrik,Schwengerer Martin,Spendier Lara Katharina,Wallner Johannes Peter,Xiao Guohui

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40564-8_5

Reference54 articles.

1. Lecture Notes in Computer Science;A. Aavani,2012

2. LNCS;M. Alviano,2013

3. Lecture Notes in Artificial Intelligence;C. Anger,2005

4. 4th ASP Competition Organizing Committee, T.: Official Problem Suite (2013), https://www.mat.unical.it/aspcomp2013/OfficialProblemSuite

5. 4th ASP Competition Organizing Committee, T.: Rules and Scoring (2013), https://www.mat.unical.it/aspcomp2013/ParticipationRules

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

1. Knowledge-based decision support for machine component design: A case study;Expert Systems with Applications;2022-01

2. FOLASP: FO(·) as Input Language for Answer Set Solvers;Theory and Practice of Logic Programming;2021-11

3. DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework;Logics in Artificial Intelligence;2021

4. Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More;Theory and Practice of Logic Programming;2020-09

5. Omission-Based Abstraction for Answer Set Programs;Theory and Practice of Logic Programming;2020-06-09