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