Trepo - Selaus tekijän mukaan "Faber, Wolfgang"

Viitteet 1-1 / 1

    • On Syntactic Forgetting Under Uniform Equivalence 

      Gonçalves, Ricardo; Janhunen, Tomi; Knorr, Matthias; Leite, João; Faber, Wolfgang; Friedrich, Gerhard; Gebser, Martin; Morak, Michael (Springer, 2021)
      conferenceObject
      Forgetting in Answer Set Programming (ASP) aims at reducing the language of a logic program without affecting the consequences over the remaining language. It has recently gained interest in the context of modular ASP where ...