Author/Creator: DODARO, CARMINE - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator DODARO, CARMINE

11. Inconsistency Proofs for ASP: The ASP - DRUPE Format. Issue 5 (September 2019)

Authors:: ALVIANO, MARIO; DODARO, CARMINE; FICHTE, JOHANNES K.; HECHER, MARKUS; PHILIPP, TOBIAS; RATH, JAKOB
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 5/6(2019)
Page Start:: 891
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

12. Managing caching strategies for stream reasoning with reinforcement learning. Issue 5 (September 2020)

Authors:: DODARO, CARMINE; EITER, THOMAS; OGRIS, PAUL; SCHEKOTIHIN, KONSTANTIN
Journal:: Theory and practice of logic programming
Issue:: Volume 20:Issue 5(2020)
Page Start:: 625
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

13. Manipulation of Articulated Objects Using Dual-arm Robots via Answer Set Programming. Issue 3 (14th May 2021)

Authors:: BERTOLUCCI, RICCARDO; CAPITANELLI, ALESSIO; DODARO, CARMINE; LEONE, NICOLA; MARATEA, MARCO; MASTROGIOVANNI, FULVIO; VALLATI, MAURO
Journal:: Theory and practice of logic programming
Issue:: Volume 21:Issue 3(2021)
Page Start:: 372
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

14. Operating Room (Re)Scheduling with Bed Management via ASP. Issue 2 (14th March 2022)

Authors:: DODARO, CARMINE; GALATÀ, GIUSEPPE; KAMRAN KHAN, MUHAMMAD; MARATEA, MARCO; PORRO, IVAN
Journal:: Theory and practice of logic programming
Issue:: Volume 22:Issue 2(2022)
Page Start:: 229
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

15. Partial Compilation of ASP Programs. Issue 5 (September 2019)

Authors:: CUTERI, BERNARDO; DODARO, CARMINE; RICCA, FRANCESCO; SCHÜLLER, PETER
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 5/6(2019)
Page Start:: 857
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

16. Shared aggregate sets in answer set programming. Issue 3 (10th August 2018)

Authors:: ALVIANO, MARIO; DODARO, CARMINE; MARATEA, MARCO
Editors:: Dal Palu, Alessandro; Tarau, Paul
Journal:: Theory and practice of logic programming
Issue:: Volume 18:Issue 3/4(2018)
Page Start:: 301
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

17. The External Interface for Extending WASP. Issue 2 (10th March 2020)

Authors:: DODARO, CARMINE; RICCA, FRANCESCO
Journal:: Theory and practice of logic programming
Issue:: Volume 20:Issue 2(2020)
Page Start:: 225
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗