Automatic Program Rewriting in Non-Ground Answer Set Programs

2018 ◽  
pp. 19-36 ◽  
Author(s):  
Nicholas Hippen ◽  
Yuliya Lierler
Keyword(s):  
Automatic Program ◽  
Answer Set

Paracoherent answer set computation

2021 ◽  
pp. 103519
Author(s):  
Giovanni Amendola ◽  
Carmine Dodaro ◽  
Wolfgang Faber ◽  
Francesco Ricca
Keyword(s):  
Answer Set

scholarly journals Open answer set programming with guarded programs

2008 ◽  
Vol 9 (4) ◽  
pp. 1-53 ◽  
Author(s):  
Stijn Heymans ◽  
Davy Van Nieuwenborgh ◽  
Dirk Vermeir
Keyword(s):  
Answer Set Programming ◽  
Answer Set

scholarly journals Splitting Computation of Answer Set Program and Its Application on E-service

2011 ◽  
Vol 4 (5) ◽  
pp. 977-990
Author(s):  
Bo Yang ◽  
Ying Zhang ◽  
Mingyi Zhang ◽  
Maonian Wu
Keyword(s):  
Answer Set

scholarly journals Exhaustively characterizing feasible logic models of a signaling network using Answer Set Programming

2013 ◽  
Vol 29 (18) ◽  
pp. 2320-2326 ◽  
Author(s):  
Carito Guziolowski ◽  
Santiago Videla ◽  
Federica Eduati ◽  
Sven Thiele ◽  
Thomas Cokelaer ◽  
...  
Keyword(s):  
Answer Set Programming ◽  
Signaling Network ◽  
Logic Models ◽  
Answer Set
Sign in / Sign up

Export Citation Format

Share Document