The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Giovanni Amendola" ( http://dblp.L3S.de/Authors/Giovanni_Amendola )

  Author page on DBLP  Author page in RDF  Community of Giovanni Amendola in ASPL-2

Publication years (Num. hits)
2014 (2) 2016 (4) 2017 (9) 2018 (9) 2019 (3)
Publication types (Num. hits)
article(5) inproceedings(22)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 28 publication records. Showing 27 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca Evaluation of Disjunctive Programs in WASP. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Cinzia Marte Extending Bell Numbers for Parsimonious Chase Estimation. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Luca Pulina, Francesco Ricca Algorithm Selection for Paracoherent Answer Set Computation. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Amendola Towards Quantified Answer Set Programming. Search on Bibsonomy RCRA@FLoC The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Francesco Ricca Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. Search on Bibsonomy AAAI The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Amendola, Francesco Ricca, Mirek Truszczynski A Generator of Hard 2QBF Formulas and ASP Programs. Search on Bibsonomy KR The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Amendola Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming. Search on Bibsonomy RiCeRcA@AI*IA The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Amendola Solving the Stable Roommates Problem using Incoherent Answer Set Programs. Search on Bibsonomy RiCeRcA@AI*IA The full citation details ... 2018 DBLP  BibTeX  RDF
1Giovanni Amendola, Leonid Libkin Explainable Certain Answers. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri Enhancing Existential Rules by Closed-World Variables. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca On the Computation of Paracoherent Answer Sets. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna Finite model reasoning over existential rules. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna Finite model reasoning over existential rules. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca On the Computation of Paracoherent Answer Sets. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Mario Alviano, Giovanni Amendola, Rafael Peñaloza Minimal Undefinedness for Fuzzy Answer Sets. Search on Bibsonomy AAAI The full citation details ... 2017 DBLP  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna Querying finite or arbitrary models? No matter! Existential rules may rely on both once again (discussion paper). Search on Bibsonomy SEBD The full citation details ... 2017 DBLP  BibTeX  RDF
1Weronika T. Adrian, Marco Manna, Nicola Leone, Giovanni Amendola, Marek Adrian Entity set expansion from the Web via ASP. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Nicola Leone, Marco Manna, Pierfrancesco Veltri Reasoning on anonymity in Datalog+/-. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. Search on Bibsonomy IJCAI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Thomas Eiter, Michael Fink 0001, Nicola Leone, João Moura 0001 Semi-equilibrium models for paracoherent answer set programs. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Nicola Leone, Francesco Ricca On the Application of Answer Set Programming to the Conference Paper Assignment Problem. Search on Bibsonomy AI*IA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Francesco Ricca ASPQ: An ASP-Based 2QBF Solver. Search on Bibsonomy QBF@SAT The full citation details ... 2016 DBLP  BibTeX  RDF
1Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri Modeling and Reasoning about NTU Games via Answer Set Programming. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Giovanni Amendola, Thomas Eiter, Nicola Leone Modular Paracoherent Answer Sets. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Giovanni Amendola Dealing with Incoherence in ASP: Split Semi-Equilibrium Semantics. Search on Bibsonomy DWAI@AI*IA The full citation details ... 2014 DBLP  BibTeX  RDF
Displaying result #1 - #27 of 27 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license