Answer Set Programming with External Sources

DOI10.4230/LIPIcs.ICLP.2012.469zbMath1281.68203OpenAlexW2289854974MaRDI QIDQ5398090

Christoph Redl

Publication date: 25 February 2014

Full work available at URL: https://drops.dagstuhl.de/opus/volltexte/2012/3648/pdf/46.pdf

zbMATH Keywords

nonmonotonic reasoninganswer set programmingFLP semanticsexternal computation

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

This page was built for publication: Answer Set Programming with External Sources