The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Francesco Ricca" ( http://dblp.L3S.de/Authors/Francesco_Ricca )

URL (Homepage):  http://www.mat.unical.it/ricca/  Author page on DBLP  Author page in RDF  Community of Francesco Ricca in ASPL-2

Publication years (Num. hits)
2003-2008 (17) 2009-2010 (16) 2011-2012 (22) 2013-2014 (22) 2015-2016 (25) 2017-2018 (23) 2019 (18)
Publication types (Num. hits)
article(54) incollection(1) inproceedings(87) proceedings(1)
Venues (Conferences, Journals, ...)
CoRR(24) LPNMR(20) CILC(11) TPLP(10) SEBD(9) AI*IA(5) JELIA(5) RR(5) IJCAI(4) AAAI(3) AI Commun.(3) Datalog(3) PADL(3) RCRA@AI*IA(3) AI Magazine(2) Answer Set Programming(2) More (+10 of total 42)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 9 keywords

Results
Found 144 publication records. Showing 143 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Giovanni Amendola, Francesco Ricca Paracoherent Answer Set Semantics meets Argumentation Frameworks. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Giovanni Amendola, Francesco Ricca, Mirek Truszczynski Beyond NP: Quantifying over Answer Sets. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Martin Gebser, Marco Maratea, Francesco Ricca The Seventh Answer Set Programming Competition: Design and Results. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Giovanni Amendola, Carmine Dodaro, Francesco Ricca Better Paracoherent Answer Sets with Less Resources. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller Partial Compilation of ASP Programs. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin Debugging Non-ground ASP Programs: Technique and Graphical Tools. Search on Bibsonomy TPLP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
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
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
1Bernardo Cuteri, Kristian Reale, Francesco Ricca A Logic-Based Question Answering System for Cultural Heritage. 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
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
1Francesco Ricca An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems. Search on Bibsonomy Datalog The full citation details ... 2019 DBLP  BibTeX  RDF
1Bernardo Cuteri, Carmine Dodaro, Francesco Ricca Empowering ASPQ to Win in QBFEval 2018. 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
1Bernardo Cuteri, Carmine Dodaro, Francesco Ricca Computing Modular Paracoherent Answer Sets: Preliminary Result. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Bernardo Cuteri, Carmine Dodaro, Francesco Ricca Debugging of Answer Set Programs Using Paracoherent Reasoning. Search on Bibsonomy CILC The full citation details ... 2019 DBLP  BibTeX  RDF
1Bernardo Cuteri, Kristian Reale, Francesco Ricca Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper. Search on Bibsonomy SEBD The full citation details ... 2019 DBLP  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
1Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin Debugging Non-Ground ASP Programs: Technique and Graphical Tools. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  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
1Carmine Dodaro, Francesco Ricca The External Interface for Extending WASP. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca Developing ASP Programs with ASPIDE and LoIDE. Search on Bibsonomy KI The full citation details ... 2018 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
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
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
1Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman (eds.) Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings Search on Bibsonomy RuleML+RR The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Francesco Ricca Compute Paracoherent Answer Sets via Saturation. Search on Bibsonomy RiCeRcA@AI*IA The full citation details ... 2018 DBLP  BibTeX  RDF
1Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri A REST-Based Development Framework for ASP: Tools and Application. Search on Bibsonomy PADL 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
1Martin Gebser, Marco Maratea, Francesco Ricca The Sixth Answer Set Programming Competition. Search on Bibsonomy J. Artif. Intell. Res. 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 CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. Search on Bibsonomy TPLP The full citation details ... 2017 DBLP  DOI  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
1Martin Gebser, Marco Maratea, Francesco Ricca The Design of the Seventh Answer Set Programming Competition. Search on Bibsonomy LPNMR 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
1Marco Manna, Francesco Ricca, Giorgio Terracina Decomposing and pruning primary key violations from large data sets (discussion paper). Search on Bibsonomy SEBD The full citation details ... 2017 DBLP  BibTeX  RDF
1Bernardo Cuteri, Francesco Ricca A compiler for stratified Datalog programs: preliminary results. Search on Bibsonomy SEBD The full citation details ... 2017 DBLP  BibTeX  RDF
1Bernardo Cuteri, Alessandro Francesco De Rosis, Francesco Ricca lp2cpp: A Tool For Compiling Stratified Logic Programs. Search on Bibsonomy AI*IA 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
1Toni Mancini, Marco Maratea, Francesco Ricca Experimental evaluation of algorithms for solving problems with combinatorial explosion. Search on Bibsonomy AI Commun. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca Design and results of the Fifth Answer Set Programming Competition. Search on Bibsonomy Artif. Intell. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Yuliya Lierler, Marco Maratea, Francesco Ricca Systems, Engineering Environments, and Competitions. Search on Bibsonomy AI Magazine The full citation details ... 2016 DBLP  BibTeX  RDF
1Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin An integrated Graphical User Interface for Debugging Answer Set Programs. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin Driving CDCL Search. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin Combining Answer Set Programming and Domain Heuristics for Solving Hard Industrial Problems (Application Paper). Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Giuseppe Marra, Domenico Ursino, Francesco Ricca, Giorgio Terracina Information diffusion in a multi-social-network scenario: framework and ASP-based analysis. Search on Bibsonomy Knowl. Inf. Syst. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin Combining Answer Set Programming and domain heuristics for solving hard industrial problems (Application Paper). Search on Bibsonomy TPLP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Marco Maratea, Francesco Ricca What's Hot in the Answer Set Programming Competition. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Carmine Dodaro, Francesco Ricca, Peter Schüller External Propagators in WASP: Preliminary Report. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2016 DBLP  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
1Marco Maratea, Luca Pulina, Francesco Ricca Multi-engine ASP solving with policy adaptation. Search on Bibsonomy J. Log. Comput. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Toni Mancini, Marco Maratea, Francesco Ricca 20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". Search on Bibsonomy J. Exp. Theor. Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Manna, Francesco Ricca, Giorgio Terracina Taming Primary Key Violations to Query Large Inconsistent Data. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Manna, Francesco Ricca, Giorgio Terracina Taming primary key violations to query large inconsistent data via ASP. Search on Bibsonomy TPLP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca Advances in WASP. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin Interactive Debugging of Non-ground ASP Programs. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Gebser, Marco Maratea, Francesco Ricca The Design of the Sixth Answer Set Programming Competition - - Report -. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca Multi-level Algorithm Selection for ASP. Search on Bibsonomy LPNMR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nicola Leone, Francesco Ricca Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications. Search on Bibsonomy Reasoning Web The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca JWASP: A New Java-Based ASP Solver. Search on Bibsonomy RCRA@AI*IA The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca Advances in Multi-engine ASP Solving. Search on Bibsonomy AI*IA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Carmine Dodaro, Nicola Leone, Barbara Nardi, Francesco Ricca Allotment Problem in Travel Industry: A Solution Based on ASP. Search on Bibsonomy RR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. Search on Bibsonomy IJCAI The full citation details ... 2015 DBLP  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca The Multi-engine ASP Solver ME-ASP: Progress Report. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca Anytime Computation of Cautious Consequences in Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca Preliminary Report on WASP 2.0. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca The Design of the Fifth Answer Set Programming Competition. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Ricca The third open answer set programming competition. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca A multi-engine approach to answer-set programming. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca Anytime Computation of Cautious Consequences in Answer Set Programming. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Giuseppe Marra, Francesco Ricca, Giorgio Terracina, Domenico Ursino Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario. Search on Bibsonomy JELIA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Giuseppe Marra, Antonino Nocera, Francesco Ricca, Giorgio Terracina, Domenico Ursino Investigating Node Influence Maximization and Influential Node Characterization in a Multi-Social-Network Scenario via Disjunctive Logic Programming. Search on Bibsonomy SEBD The full citation details ... 2014 DBLP  BibTeX  RDF
1Giuseppe Marra, Antonino Nocera, Francesco Ricca, Giorgio Terracina, Domenico Ursino Investigating Information Diffusion in a Multi-Social-Network Scenario via Answer Set Programming. Search on Bibsonomy RR The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca A Multi-Engine Approach to Answer Set Programming. Search on Bibsonomy CoRR The full citation details ... 2013 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
1Marco Manna, Francesco Ricca, Giorgio Terracina Consistent query answering via ASP from different perspectives: Theory and practice. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Rosamaria Barilaro, Michael Fink 0001, Francesco Ricca, Giorgio Terracina Towards Query Answering in Relational Multi-Context Systems. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Francesco Calimeri, Günther Charwat, Minh Dao-Tran, Carmine Dodaro, Giovambattista Ianni, Thomas Krennwallner, Martin Kronegger, Johannes Oetsch, Andreas Pfandler, Jörg Pührer, Christoph Redl, Francesco Ricca, Patrik Schneider, Martin Schwengerer, Lara Katharina Spendier, Johannes Peter Wallner, Guohui Xiao 0001 The Fourth Answer Set Programming Competition: Preliminary Report. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca WASP: A Native ASP Solver Based on Constraint Learning. Search on Bibsonomy LPNMR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca Development Tools for Datalog. Search on Bibsonomy SEBD The full citation details ... 2013 DBLP  BibTeX  RDF
1Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri A graphic tool for ontology reasoning under Datalog∃. Search on Bibsonomy SEBD The full citation details ... 2013 DBLP  BibTeX  RDF
1Mario Alviano, Carmine Dodaro, Francesco Ricca Comparing Alternative Solutions for Unfounded Set Propagation in ASP. Search on Bibsonomy AI*IA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca Automated Selection of Grounding Algorithm in Answer Set Programming. Search on Bibsonomy AI*IA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Barbara Nardi, Kristian Reale, Francesco Ricca, Giorgio Terracina An Integrated Environment for Reasoning over Ontologies via Logic Programming. Search on Bibsonomy RR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Giovanni Grasso 0001, Nicola Leone, Francesco Ricca Answer Set Programming: Language, Applications and Development Tools. Search on Bibsonomy RR The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca The Answer Set Programming Competition. Search on Bibsonomy AI Magazine The full citation details ... 2012 DBLP  BibTeX  RDF
1Francesco Calimeri, Giovambattista Ianni, Francesco Ricca The third open Answer Set Programming competition Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Francesco Ricca, Giovanni Grasso 0001, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone Team-building with answer set programming in the Gioia-Tauro seaport. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca The Multi-Engine ASP Solver me-asp. Search on Bibsonomy JELIA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca Datalog Development Tools - (Extended Abstract). Search on Bibsonomy Datalog The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca Extending ASPIDE with User-defined Plugins. Search on Bibsonomy CILC The full citation details ... 2012 DBLP  BibTeX  RDF
1Onofrio Febbraro, Nicola Leone, Giovanni Grasso 0001, Francesco Ricca JASP: A Framework for Integrating Answer Set Programming with Java. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Marco Maratea, Luca Pulina, Francesco Ricca Applying Machine Learning Techniques to ASP Solving. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina Distributed Ontology Based Data Access via Logic Programming. Search on Bibsonomy RR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca Unit Testing in ASPIDE Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Marco Manna, Francesco Ricca, Giorgio Terracina Consistent Query Answering via ASP from Different Perspectives: Theory and Practice Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Francesco Ricca, Giovanni Grasso 0001, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone Team-building with Answer Set Programming in the Gioia-Tauro Seaport Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 143 (100 per page; Change: )
Pages: [1][2][>>]
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