|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 11 occurrences of 11 keywords
|
|
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Simona Perri, Francesco Ricca, Marco Sirianni |
Parallel Instantiation of ASP Programs: Techniques and Experiments  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri |
Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. |
J. Artif. Intell. Res. (JAIR) |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri |
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Perri, Francesco Ricca, Marco Sirianni |
A parallel ASP instantiator based on DLV. |
DAMP |
2010 |
DBLP DOI BibTeX RDF |
parallelism, answer set programming, grounding, instantiation |
| 1 | Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina |
The Disjunctive Datalog System DLV. |
Datalog |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Simona Perri, Francesco Ricca |
Experimenting with parallelism for the instantiation of ASP programs. |
J. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone |
Enhancing DLV instantiator by backjumping techniques. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68N17, 68T27 |
| 1 | Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello |
The DLV system for knowledge representation and reasoning. |
ACM Trans. Comput. Log. |
2006 |
DBLP DOI BibTeX RDF |
computational complexity, knowledge representation, implementation, nonmonotonic reasoning, stable models, Answer sets |
| 1 | Simona Perri, Francesco Scarcello, Nicola Leone |
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. |
TPLP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Wolfgang Faber, Nicola Leone, Simona Perri |
Declarative and Computational Properties of Logic Programs with Aggregates. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Simona Perri, Nicola Leone |
Parametric connectives in Disjunctive Logic Programming. |
AI Commun. |
2004 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer |
New DLV Features for Data Integration. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer |
System Description: DLV with Aggregates. |
LPNMR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Simona Perri, Francesco Scarcello |
BackJumping techniques for rules instantiation in the DLV system. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Simona Perri, Nicola Leone |
Parametric Connectives in Disjunctive Logic Programming |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Simona Perri, Francesco Scarcello, Nicola Leone |
Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation |
CoRR |
2003 |
DBLP BibTeX RDF |
|
| 1 | Simona Perri, Francesco Scarcello |
Advanced Backjumping Techniques for Rule Instantiations. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Simona Perri |
Parametric Connectives in Disjunctive Logic Programming. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello |
The DLV System for Knowledge Representation and Reasoning |
CoRR |
2002 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres |
The DLV System. |
JELIA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello |
Abduction with Penalization in Logic Programming |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello |
Census Data Repair: a Challenging Application of Disjunctive Logic Programming. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Simona Perri, Francesco Scarcello |
Join Ordering Techniques for Knowledge Base Systems. |
SEBD |
2001 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Simona Perri, Francesco Scarcello |
Abduction with Penalization in Logic Programming. |
AI*IA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer |
System Description: DLV. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Simona Perri, Francesco Scarcello |
Improving ASP Instantiators by Join-Ordering Methods. |
LPNMR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Leone, Simona Perri, Pasquale Rullo |
Local Search Techniques for Disjunctive Logic Programs. |
AI*IA |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")