×
Author ID: amendola.giovanni Recent zbMATH articles by "Amendola, Giovanni"
Published as: Amendola, Giovanni
Documents Indexed: 27 Publications since 1987
Co-Authors: 18 Co-Authors with 16 Joint Publications
336 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 38 times in 25 Documents Cited by Year
Semi-equilibrium models for paracoherent answer set programs. Zbl 1351.68259
Amendola, Giovanni; Eiter, Thomas; Fink, Michael; Leone, Nicola; Moura, João
15
2016
Evaluation of disjunctive programs in WASP. Zbl 1522.68096
Alviano, Mario; Amendola, Giovanni; Dodaro, Carmine; Leone, Nicola; Maratea, Marco; Ricca, Francesco
10
2019
Paracoherent answer set computation. Zbl 1520.68180
Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Ricca, Francesco
3
2021
Modular paracoherent answer sets. Zbl 1432.68054
Amendola, Giovanni; Eiter, Thomas; Leone, Nicola
2
2014
New models for generating hard random Boolean formulas and disjunctive logic programs. Zbl 1478.68316
Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
2
2020
Beyond NP: quantifying over answer sets. Zbl 1434.68068
Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
2
2019
Algorithm selection for paracoherent answer set computation. Zbl 1525.68148
Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Pulina, Luca; Ricca, Francesco
2
2019
Free energies for incompressible viscoelastic fluids. Zbl 1425.76024
Amendola, G.
1
2010
Paracoherent answer set semantics meets argumentation frameworks. Zbl 1434.68554
Amendola, Giovanni; Ricca, Francesco
1
2019
Abstract solvers for computing cautious consequences of ASP programs. Zbl 1434.68066
Amendola, Giovanni; Dodaro, Carmine; Maratea, Marco
1
2019
Paracoherent answer set computation. Zbl 1520.68180
Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Ricca, Francesco
3
2021
New models for generating hard random Boolean formulas and disjunctive logic programs. Zbl 1478.68316
Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
2
2020
Evaluation of disjunctive programs in WASP. Zbl 1522.68096
Alviano, Mario; Amendola, Giovanni; Dodaro, Carmine; Leone, Nicola; Maratea, Marco; Ricca, Francesco
10
2019
Beyond NP: quantifying over answer sets. Zbl 1434.68068
Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw
2
2019
Algorithm selection for paracoherent answer set computation. Zbl 1525.68148
Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Pulina, Luca; Ricca, Francesco
2
2019
Paracoherent answer set semantics meets argumentation frameworks. Zbl 1434.68554
Amendola, Giovanni; Ricca, Francesco
1
2019
Abstract solvers for computing cautious consequences of ASP programs. Zbl 1434.68066
Amendola, Giovanni; Dodaro, Carmine; Maratea, Marco
1
2019
Semi-equilibrium models for paracoherent answer set programs. Zbl 1351.68259
Amendola, Giovanni; Eiter, Thomas; Fink, Michael; Leone, Nicola; Moura, João
15
2016
Modular paracoherent answer sets. Zbl 1432.68054
Amendola, Giovanni; Eiter, Thomas; Leone, Nicola
2
2014
Free energies for incompressible viscoelastic fluids. Zbl 1425.76024
Amendola, G.
1
2010

Citations by Year