|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 9 keywords
|
|
|
|
|
Results
Found 148 publication records. Showing 147 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 | Martin Gebser, Marco Maratea, Francesco Ricca |
The Seventh Answer Set Programming Competition: Design and Results. |
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 | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller |
Partial Compilation of ASP Programs. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
| 1 | Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin |
Debugging Non-ground ASP Programs: Technique and Graphical Tools. |
TPLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Amendola, Carmine Dodaro, Francesco Ricca |
Better Paracoherent Answer Sets with Less Resources. |
TPLP |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller |
Partial Compilation 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 | Francesco Ricca |
An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | Carlo 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. |
Datalog |
2019 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca |
Empowering ASPQ to Win in QBFEval 2018. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca |
Debugging of Answer Set Programs Using Paracoherent Reasoning. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Nicola 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. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca |
Computing Modular Paracoherent Answer Sets: Preliminary Result. |
CILC |
2019 |
DBLP BibTeX RDF |
|
| 1 | Nicola 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. |
LPNMR |
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 | Carlo 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. |
SEBD |
2019 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuteri, Kristian Reale, Francesco Ricca |
Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper. |
SEBD |
2019 |
DBLP 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 | Bernardo Cuteri, Kristian Reale, Francesco Ricca |
A Logic-Based Question Answering System for Cultural Heritage. |
JELIA |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Weronika 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. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca |
Developing ASP Programs with ASPIDE and LoIDE. |
KI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin |
Debugging Non-Ground ASP Programs: Technique and Graphical Tools. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
| 1 | Carmine Dodaro, Francesco Ricca |
The External Interface for Extending WASP. |
CoRR |
2018 |
DBLP 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 | Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri |
A REST-Based Development Framework for ASP: Tools and Application. |
PADL |
2018 |
DBLP DOI 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 | Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
First Steps towards Reasoning on Big Data with DLV. |
SEBD |
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 | Christoph 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 |
RuleML+RR |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Ricca |
Compute Paracoherent Answer Sets via Saturation. |
RiCeRcA@AI*IA |
2018 |
DBLP BibTeX RDF |
|
| 1 | Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub |
Evaluation Techniques and Systems for Answer Set Programming: a Survey. |
IJCAI |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Marco Maratea, Francesco Ricca |
The Sixth Answer Set Programming Competition. |
J. Artif. Intell. Res. |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller |
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis. |
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 | Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller |
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. |
TPLP |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Marco Maratea, Francesco Ricca |
The Design of the Seventh Answer Set Programming Competition. |
LPNMR |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari |
The ASP System DLV2. |
LPNMR |
2017 |
DBLP DOI 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 | Marco Manna, Francesco Ricca, Giorgio Terracina |
Decomposing and pruning primary key violations from large data sets (discussion paper). |
SEBD |
2017 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuteri, Francesco Ricca |
A compiler for stratified Datalog programs: preliminary results. |
SEBD |
2017 |
DBLP BibTeX RDF |
|
| 1 | Bernardo Cuteri, Alessandro Francesco De Rosis, Francesco Ricca |
lp2cpp: A Tool For Compiling Stratified Logic Programs. |
AI*IA |
2017 |
DBLP DOI 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 | Toni Mancini, Marco Maratea, Francesco Ricca |
Experimental evaluation of algorithms for solving problems with combinatorial explosion. |
AI Commun. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca |
Design and results of the Fifth Answer Set Programming Competition. |
Artif. Intell. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Marra, Domenico Ursino, Francesco Ricca, Giorgio Terracina |
Information diffusion in a multi-social-network scenario: framework and ASP-based analysis. |
Knowl. Inf. Syst. |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuliya Lierler, Marco Maratea, Francesco Ricca |
Systems, Engineering Environments, and Competitions. |
AI Magazine |
2016 |
DBLP BibTeX RDF |
|
| 1 | Carmine 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). |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin |
Driving CDCL Search. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin |
An integrated Graphical User Interface for Debugging Answer Set Programs. |
CoRR |
2016 |
DBLP BibTeX RDF |
|
| 1 | Carmine 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). |
TPLP |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Marco Maratea, Francesco Ricca |
What's Hot in the Answer Set Programming Competition. |
AAAI |
2016 |
DBLP BibTeX RDF |
|
| 1 | Giovanni Amendola, Carmine Dodaro, Francesco Ricca |
ASPQ: An ASP-Based 2QBF Solver. |
QBF@SAT |
2016 |
DBLP BibTeX RDF |
|
| 1 | Carmine Dodaro, Francesco Ricca, Peter Schüller |
External Propagators in WASP: Preliminary Report. |
RCRA@AI*IA |
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 | Toni Mancini, Marco Maratea, Francesco Ricca |
20th RCRA International workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". |
J. Exp. Theor. Artif. Intell. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Manna, Francesco Ricca, Giorgio Terracina |
Taming Primary Key Violations to Query Large Inconsistent Data. |
CoRR |
2015 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Multi-engine ASP solving with policy adaptation. |
J. Log. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Manna, Francesco Ricca, Giorgio Terracina |
Taming primary key violations to query large inconsistent data via ASP. |
TPLP |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Multi-level Algorithm Selection for ASP. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca |
Advances in WASP. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Gebser, Marco Maratea, Francesco Ricca |
The Design of the Sixth Answer Set Programming Competition - - Report -. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin |
Interactive Debugging of Non-ground ASP Programs. |
LPNMR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Advances in Multi-engine ASP Solving. |
AI*IA |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Francesco Ricca |
JWASP: A New Java-Based ASP Solver. |
RCRA@AI*IA |
2015 |
DBLP BibTeX RDF |
|
| 1 | Nicola Leone, Francesco Ricca |
Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications. |
Reasoning Web |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Francesco Ricca |
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. |
IJCAI |
2015 |
DBLP BibTeX RDF |
|
| 1 | Carmine Dodaro, Nicola Leone, Barbara Nardi, Francesco Ricca |
Allotment Problem in Travel Industry: A Solution Based on ASP. |
RR |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca |
The Design of the Fifth Answer Set Programming Competition. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Francesco Ricca |
Preliminary Report on WASP 2.0. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Francesco Ricca |
Anytime Computation of Cautious Consequences in Answer Set Programming. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
The Multi-engine ASP Solver ME-ASP: Progress Report. |
CoRR |
2014 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Giovambattista Ianni, Francesco Ricca |
The third open answer set programming competition. |
TPLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Francesco Ricca |
Anytime Computation of Cautious Consequences in Answer Set Programming. |
TPLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
A multi-engine approach to answer-set programming. |
TPLP |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe 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. |
SEBD |
2014 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Marra, Francesco Ricca, Giorgio Terracina, Domenico Ursino |
Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario. |
JELIA |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Marra, Antonino Nocera, Francesco Ricca, Giorgio Terracina, Domenico Ursino |
Investigating Information Diffusion in a Multi-Social-Network Scenario via Answer Set Programming. |
RR |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
A Multi-Engine Approach to Answer Set Programming. |
CoRR |
2013 |
DBLP BibTeX RDF |
|
| 1 | Simona Perri, Francesco Ricca, Marco Sirianni |
Parallel instantiation of ASP programs: techniques and experiments. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Manna, Francesco Ricca, Giorgio Terracina |
Consistent query answering via ASP from different perspectives: Theory and practice. |
TPLP |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario 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. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Wolfgang Faber 0001, Nicola Leone, Francesco Ricca |
WASP: A Native ASP Solver Based on Constraint Learning. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosamaria Barilaro, Michael Fink 0001, Francesco Ricca, Giorgio Terracina |
Towards Query Answering in Relational Multi-Context Systems. |
LPNMR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri |
A graphic tool for ontology reasoning under Datalog∃. |
SEBD |
2013 |
DBLP BibTeX RDF |
|
| 1 | Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca |
Development Tools for Datalog. |
SEBD |
2013 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Automated Selection of Grounding Algorithm in Answer Set Programming. |
AI*IA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Francesco Ricca |
Comparing Alternative Solutions for Unfounded Set Propagation in ASP. |
AI*IA |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Nardi, Kristian Reale, Francesco Ricca, Giorgio Terracina |
An Integrated Environment for Reasoning over Ontologies via Logic Programming. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Grasso 0001, Nicola Leone, Francesco Ricca |
Answer Set Programming: Language, Applications and Development Tools. |
RR |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca |
The Answer Set Programming Competition. |
AI Magazine |
2012 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Giovambattista Ianni, Francesco Ricca |
The third open Answer Set Programming competition |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Francesco 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. |
TPLP |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Onofrio Febbraro, Giovanni Grasso 0001, Nicola Leone, Kristian Reale, Francesco Ricca |
Datalog Development Tools - (Extended Abstract). |
Datalog |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca |
Extending ASPIDE with User-defined Plugins. |
CILC |
2012 |
DBLP BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
Applying Machine Learning Techniques to ASP Solving. |
ICLP (Technical Communications) |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Maratea, Luca Pulina, Francesco Ricca |
The Multi-Engine ASP Solver me-asp. |
JELIA |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Onofrio Febbraro, Nicola Leone, Giovanni Grasso 0001, Francesco Ricca |
JASP: A Framework for Integrating Answer Set Programming with Java. |
KR |
2012 |
DBLP BibTeX RDF |
|
Displaying result #1 - #100 of 147 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license