×

Found 2 Documents (Results 1–2)

Newest Citations Relevance
Brik, Alex

Splitting a hybrid ASP program. (English) Zbl 07455702

Ricca, Francesco (ed.) et al., Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 21-34 (2020).
MSC:  68N17
Cite Review PDF
Full Text: arXiv Link
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi

Rewriting optimization statements in answer-set programs. (English) Zbl 1428.68281

Carro, Manuel (ed.) et al., Technical communications of the 32nd international conference on logic programming, ICLP 2016, October 16–21, 2016, New York, NY, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 52, Article 5, 15 p. (2016).
MSC:  68T20 68N17
Cite Review PDF
Full Text: DOI

Filter Results by …

Author

Year of Publication

Main Field

Software