EFFICIENT SOLVING OF TIME-DEPENDENT ANSWER SET PROGRAMS

DOI10.4230/LIPIcs.ICLP.2010.64zbMath1237.68204OpenAlexW1567511623MaRDI QIDQ2883077

Dirk Vermeir, Martine De Cock, Timur Fayruzov, Chris Cornelis, Jeroen Janssen

Publication date: 11 May 2012

Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_af48.html

zbMATH Keywords

answer set programminggene regulation networkstime-dependent programs

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Logic programming (68N17)

This page was built for publication: EFFICIENT SOLVING OF TIME-DEPENDENT ANSWER SET PROGRAMS