Switch to: References

Add citations

You must login to add citations.
  1. Non-deterministic approximation fixpoint theory and its application in disjunctive logic programming.Jesse Heyninck, Ofer Arieli & Bart Bogaerts - 2024 - Artificial Intelligence 331 (C):104110.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • On the limits of forgetting in Answer Set Programming.Ricardo Gonçalves, Matthias Knorr, João Leite & Stefan Woltran - 2020 - Artificial Intelligence 286 (C):103307.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Autoepistemic answer set programming.Pedro Cabalar, Jorge Fandinno & Luis Fariñas del Cerro - 2020 - Artificial Intelligence 289 (C):103382.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Syntactic ASP forgetting with forks.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez & Concepción Vidal - 2024 - Artificial Intelligence 326 (C):104033.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • A polynomial reduction of forks into logic programs.Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce, Gilberto Pérez & Concepción Vidal - 2022 - Artificial Intelligence 308 (C):103712.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
    		•