The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Simona Perri" ( http://dblp.L3S.de/Authors/Simona_Perri )

  Author page on DBLP  Author page in RDF  Community of Simona Perri in ASPL-2

Publication years (Num. hits)
1999-2004 (17) 2005-2013 (16) 2014-2018 (18) 2019 (12)
Publication types (Num. hits)
article(25) inproceedings(38)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 11 occurrences of 11 keywords

Results
Found 64 publication records. Showing 63 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework. Search on Bibsonomy New Generation Comput. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari Incremental Answer Set Programming with Overgrounding. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari Precomputing Datalog evaluation plans in large-scale scenarios. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Francesco Calimeri, Simona Perri, Jessica Zangari Optimizing Answer Set Computation via Heuristic-Based Decomposition. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari Precomputing Datalog Evaluation Plans in Large-Scale Scenarios. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari Incremental Answer Set Programming with Overgrounding. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlo Allocca, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Large-Scale Reasoning on Expressive Horn Ontologies. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
1Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri, Jessica Zangari An ASP-based Approach for Optimizing DLV Evaluation. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Large Scale DLV: Preliminary Results. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Bernardo Cuteri, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Enhancing DLV for Large-Scale Reasoning. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari Querying Large Expressive Horn Ontologies. Search on Bibsonomy SEBD The full citation details ... 2019 DBLP  BibTeX  RDF
1Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri, Jessica Zangari Memory-Saving Evaluation Plans for Datalog. Search on Bibsonomy JELIA The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber 0001, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari The ASP System DLV: Advancements and Applications. Search on Bibsonomy KI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Simona Perri, Jessica Zangari Optimizing Answer Set Computation via Heuristic-Based Decomposition. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Simona Perri, Jessica Zangari Efficiently Coupling the I-DLV Grounder with ASP Solvers. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari Optimizing Answer Set Computation via Heuristic-Based Decomposition. Search on Bibsonomy PADL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari First Steps towards Reasoning on Big Data with DLV. Search on Bibsonomy SEBD The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Calimeri, Simona Perri, Giorgio Terracina, Jessica Zangari How Modern Deductive Database Systems Can Enhance Data Integration. Search on Bibsonomy SEBD The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Francesco Pacenza, Simona Perri, Jessica Zangari Integrating Rule-Based AI Tools into Mainstream Game Development. Search on Bibsonomy RuleML+RR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub Evaluation Techniques and Systems for Answer Set Programming: a Survey. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari I-DLV: The new intelligent grounder of DLV. Search on Bibsonomy Intelligenza Artificiale The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari A Framework for Easing the Development of Applications Embedding Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari The ASP System DLV2. Search on Bibsonomy LPNMR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Davide Fuscà, Francesco Calimeri, Jessica Zangari, Simona Perri I-DLV+MS: Preliminary Report on an Automatic ASP Solver Selector. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2017 DBLP  BibTeX  RDF
1Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari External Computations and Interoperability in the New DLV Grounder. Search on Bibsonomy AI*IA The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benjamin Kaufmann, Nicola Leone, Simona Perri, Torsten Schaub Grounding and Solving in Answer Set Programming. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri A framework for easing the development of applications embedding answer set programming. Search on Bibsonomy PPDP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari Boosting the Development of ASP-Based Applications in Mobile and General Scenarios. Search on Bibsonomy AI*IA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Davide Fuscà, Simona Perri, Jessica Zangari I -dlv: The New Intelligent Grounder of dlv. Search on Bibsonomy AI*IA The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Simona Perri Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Simona Perri, Francesco Ricca, Marco Sirianni Parallel instantiation of ASP programs: techniques and experiments. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Davide Fuscà, Stefano Germano, Jessica Zangari, Francesco Calimeri, Simona Perri Answer Set Programming and Declarative Problem Solving in Game AIs. Search on Bibsonomy PAI@AI*IA The full citation details ... 2013 DBLP  BibTeX  RDF
1Wolfgang Faber 0001, Nicola Leone, Simona Perri The Intelligent Grounder of DLV. Search on Bibsonomy Correct Reasoning The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Simona Perri Unfounded Sets and Well-Founded Semantics of Answer Set Programs with Aggregates. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Simona Perri, Francesco Ricca, Marco Sirianni Parallel Instantiation of ASP Programs: Techniques and Experiments Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber 0001, 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. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Simona Perri, Francesco Ricca, Marco Sirianni Towards a Fully-Parallel DLV System. Search on Bibsonomy RCRA@CPAIOR The full citation details ... 2010 DBLP  BibTeX  RDF
1Mario Alviano, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer, Giorgio Terracina The Disjunctive Datalog System DLV. Search on Bibsonomy Datalog The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Simona Perri, Francesco Ricca, Marco Sirianni Parallel Instantiation in DLV. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Simona Perri, Francesco Ricca, Marco Sirianni A parallel ASP instantiator based on DLV. Search on Bibsonomy DAMP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF parallelism, answer set programming, grounding, instantiation
1Simona Perri, Francesco Ricca, Marco Sirianni Advanced Heuristics for Parallel ASP Instantiation. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2009 DBLP  BibTeX  RDF
1Francesco Calimeri, Simona Perri, Francesco Ricca Experimenting with parallelism for the instantiation of ASP programs. Search on Bibsonomy J. Algorithms The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Simona Perri, Francesco Scarcello, Gelsomina Catalano, Nicola Leone Enhancing DLV instantiator by backjumping techniques. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Mathematics Subject Classifications (2000) 68N17, 68T27
1Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello The DLV system for knowledge representation and reasoning. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF computational complexity, knowledge representation, implementation, nonmonotonic reasoning, stable models, Answer sets
1Simona Perri, Francesco Scarcello, Nicola Leone Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Wolfgang Faber 0001, Nicola Leone, Simona Perri Declarative and Computational Properties of Logic Programs with Aggregates. Search on Bibsonomy IJCAI The full citation details ... 2005 DBLP  BibTeX  RDF
1Simona Perri, Nicola Leone Parametric connectives in Disjunctive Logic Programming. Search on Bibsonomy AI Commun. The full citation details ... 2004 DBLP  BibTeX  RDF
1Nicola Leone, Simona Perri, Francesco Scarcello BackJumping techniques for rules instantiation in the DLV system. Search on Bibsonomy NMR The full citation details ... 2004 DBLP  BibTeX  RDF
1Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer System Description: DLV with Aggregates. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Manuela Citrigno, Chiara Cumbo, Wolfgang Faber 0001, Nicola Leone, Simona Perri, Gerald Pfeifer New DLV Features for Data Integration. Search on Bibsonomy JELIA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Simona Perri, Nicola Leone Parametric Connectives in Disjunctive Logic Programming Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Simona Perri, Francesco Scarcello, Nicola Leone Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Simona Perri, Francesco Scarcello Advanced Backjumping Techniques for Rule Instantiations. Search on Bibsonomy APPIA-GULP-PRODE The full citation details ... 2003 DBLP  BibTeX  RDF
1Nicola Leone, Simona Perri Parametric Connectives in Disjunctive Logic Programming. Search on Bibsonomy Answer Set Programming The full citation details ... 2003 DBLP  BibTeX  RDF
1Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello The DLV System for Knowledge Representation and Reasoning Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Nicola Leone, Gerald Pfeifer, Wolfgang Faber 0001, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch 0001, Simona Perri, Axel Polleres The DLV System. Search on Bibsonomy JELIA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello Abduction with Penalization in Logic Programming Search on Bibsonomy CoRR The full citation details ... 2001 DBLP  BibTeX  RDF
1Enrico Franconi, Antonio Laureti Palma, Nicola Leone, Simona Perri, Francesco Scarcello Census Data Repair: a Challenging Application of Disjunctive Logic Programming. Search on Bibsonomy LPAR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Tina Dell'Armi, Wolfgang Faber 0001, Giuseppe Ielpa, Christoph Koch 0001, Nicola Leone, Simona Perri, Gerald Pfeifer System Description: DLV. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Simona Perri, Francesco Scarcello Improving ASP Instantiators by Join-Ordering Methods. Search on Bibsonomy LPNMR The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Simona Perri, Francesco Scarcello Join Ordering Techniques for Knowledge Base Systems. Search on Bibsonomy SEBD The full citation details ... 2001 DBLP  BibTeX  RDF
1Nicola Leone, Simona Perri, Francesco Scarcello Abduction with Penalization in Logic Programming. Search on Bibsonomy AI*IA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Simona Perri, Pasquale Rullo Local Search Techniques for Disjunctive Logic Programs. Search on Bibsonomy AI*IA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #63 of 63 (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