Subject: declarative programming -- first order logic -- answer set programming - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Subject declarative programming -- first order logic -- answer set programming

1. FOLASP: FO(·) as Input Language for Answer Set Solvers. Issue 6 (November 2021)

Authors:: VAN DESSEL, KYLIAN; DEVRIENDT, JO; VENNEKENS, JOOST
Journal:: Theory and practice of logic programming
Issue:: Volume 21:Issue 6(2021)
Page Start:: 785
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗