Name Card

Full name Familienname, Vorname
Ricca, Francesco
 

Own Publications Eigene Publikationen

Results 1-11 of 11 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Cuteri, Bernardo ; Dodaro, Carmine ; Ricca, Francesco ; Schüller, Peter Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become PropagatorsKonferenzbeitrag Inproceedings 2021
2Benzmüller, Christoph ; Parent, Xavier ; Ricca, Francesco Introduction to the Special Issue on Logic Rules and Reasoning: Selected Papers from the 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018)Artikel Article2021
3De Rosis, Alessandro ; Eiter, Thomas ; Redl, Christoph ; Ricca, Francesco Constraint Answer Set Programming based on HEX-ProgramsKonferenzbeitrag Inproceedings 2015
4Barilaro, Rosmaria ; Fink, Michael ; Ricca, Francesco ; Terracina, Giorgio Towards Query Answering in Relational Multi-Context SystemsKonferenzbeitrag Inproceedings 2013
5Alviano, Mario ; Calimeri, Francesco ; Charwat, Günther ; Dao-Tran, Minh ; Dodaro, Carmine ; Ianni, Giovambattista ; Krennwallner, Thomas ; Kronegger, Martin ; Oetsch, Johannes ; Pfandler, Andreas ; Puehrer, Joerg ; Redl, Christoph ; Ricca, Francesco ; Schneider, Patrik ; Schwengerer, Martin ; Spendier, Lara ; Wallner, Johannes Peter ; Xiao, Guohui The Fourth Answer Set Programming Competition: Preliminary ReportKonferenzbeitrag Inproceedings2013
6Calimeri, Francesco ; Ianni, Giovambattista ; Krennwallner, Thomas ; Ricca, Francesco The Answer Set Programming CompetitionArtikel Article2012
7Dell´Armi, Tina ; Gallucci, Lorenzo ; Leone, Nicola ; Ricca, Francesco ; Schindlauer, Roman ONTODLV: an ASP-based System for Enterprise OntologiesKonferenzbeitrag Inproceedings 2007
8Ianni, Giovambattista ; Panetta, Claudio ; Ricca, Francesco Specification of Assessment-Test Criteria through ASP SpecificationsKonferenzbeitrag Inproceedings 2005
9Ricca, Francesco ; Faber, Wolfgang ; Leone, Nicola A Backjumping Technique for Disjunctive Logic ProgrammingBericht Report2005
10Faber, Wolfgang ; Leone, Nicola ; Ricca, Francesco Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and BenchmarksBericht Report2005
11Ricca, Francesco ; Leone, Nicola Disjunctive Logic Programming with Types and Objects: The DLV+ SystemBericht Report2005

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Taupe, Richard ; Weinzierl, Antonius ; Schenner, Gottfried Introducing Heuristics for Lazy-Grounding ASP SolvingKonferenzbeitrag Inproceedings 2017