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

Author/Creator DODARO, CARMINE

1. Abstract Solvers for Computing Cautious Consequences of ASP programs. Issue 5 (September 2019)

Authors:: AMENDOLA, GIOVANNI; DODARO, CARMINE; MARATEA, MARCO
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 5/6(2019)
Page Start:: 740
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. An ASP-based Solution to the Chemotherapy Treatment Scheduling problem. Issue 6 (24th November 2021)

Authors:: DODARO, CARMINE; GALATÁ, GIUSEPPE; GRIONI, ANDREA; MARATEA, MARCO; MOCHI, MARCO; PORRO, IVAN
Journal:: Theory and practice of logic programming
Issue:: Volume 21:Issue 6(2021)
Page Start:: 835
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

3. Anytime answer set optimization via unsatisfiable core shrinking. Issue 5 (14th October 2016)

Authors:: ALVIANO, MARIO; DODARO, CARMINE
Editors:: Carro, Manuel; King, Andy
Journal:: Theory and practice of logic programming
Issue:: Volume 16:Issue 5/6(2016)
Page Start:: 533
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

4. Anytime Computation of Cautious Consequences in Answer Set Programming. Issue 4 (21st July 2014)

Authors:: ALVIANO, MARIO; DODARO, CARMINE; RICCA, FRANCESCO; Leuschel, Michael; Schrijvers, Tom
Journal:: Theory and practice of logic programming
Issue:: Volume 14:Issue 4/5(2014)
Page Start:: 755
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

5. Better Paracoherent Answer Sets with Less Resources. Issue 5 (September 2019)

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

6. Cautious reasoning in ASP via minimal models and unsatisfiable cores. Issue 3 (10th August 2018)

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

7. Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper). Issue 5 (14th October 2016)

Authors:: DODARO, CARMINE; GASTEIGER, PHILIP; LEONE, NICOLA; MUSITSCH, BENJAMIN; RICCA, FRANCESCO; SHCHEKOTYKHIN, KOSTYANTYN
Editors:: Carro, Manuel; King, Andy
Journal:: Theory and practice of logic programming
Issue:: Volume 16:Issue 5/6(2016)
Page Start:: 653
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

8. Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis*. Issue 5 (24th August 2017)

Authors:: CUTERI, BERNARDO; DODARO, CARMINE; RICCA, FRANCESCO; SCHÜLLER, PETER
Editors:: Rocha, Ricardo; Cao Son, Tran
Journal:: Theory and practice of logic programming
Issue:: Volume 17:Issue 5/6(2017)
Page Start:: 780
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

9. Debugging Non-ground ASP Programs: Technique and Graphical Tools. Issue 2 (15th February 2019)

Authors:: DODARO, CARMINE; GASTEIGER, PHILIP; REALE, KRISTIAN; RICCA, FRANCESCO; SCHEKOTIHIN, KONSTANTIN
Editors:: Schulz, Claudia; Ellmauthaler, Stefan
Journal:: Theory and practice of logic programming
Issue:: Volume 19:Issue 2(2019)
Page Start:: 290
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

10. Efficiently Coupling the I-DLV Grounder with ASP Solvers. Issue 2 (4th March 2020)

Authors:: CALIMERI, FRANCESCO; DODARO, CARMINE; FUSCÀ, DAVIDE; PERRI, SIMONA; ZANGARI, JESSICA
Journal:: Theory and practice of logic programming
Issue:: Volume 20:Issue 2(2020)
Page Start:: 205
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗