default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFrancesco Ricca
Person information
- affiliation: University of Calabria, Cosenza, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c124]Mario Alviano, Antonio Ielo, Francesco Ricca:
Efficient Compliance Computation in Probabilistic Declarative Specifications. ICLP Workshops 2024- [c123]Manuel A. Borroto Santana, Irfan Kareem, Francesco Ricca:
Towards Automatic Composition of ASP Programs from Natural Language Specifications. IJCAI 2024: 6198-6206 - [c122]Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca:
LLASP: Fine-tuning Large Language Models for Answer Set Programming. KR 2024 - [c121]Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca:
Blending Grounding and Compilation for Efficient ASP Solving. KR 2024 - [c120]Irfan Kareem, Katie Gallagher, Manuel A. Borroto, Francesco Ricca, Alessandra Russo:
Using Learning from Answer Sets for Robust Question Answering with LLM. LPNMR 2024: 112-125 - [c119]Antonio Ielo
, Salvatore Falco, Salvatore Iiritano, Patrizia Piro, Ada Polizzi, Francesco Ricca:
An ASP-Based Approach to Water Distribution System Reconstruction. LPNMR 2024: 140-153 - [c118]Valeria Fionda, Antonio Ielo, Francesco Ricca:
LTLf2ASP: LTLf Bounded Satisfiability in ASP. LPNMR 2024: 373-386 - [c117]Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca:
A Direct ASP Encoding for Declare. PADL 2024: 116-133 - [i34]Giovanni Amendola, Tobias Berei, Giuseppe Mazzotta, Francesco Ricca:
Unit Testing in ASP Revisited: Language and Test-Driven Development Environment. CoRR abs/2401.02153 (2024) - [i33]Manuel Borroto, Irfan Kareem, Francesco Ricca:
Towards Automatic Composition of ASP Programs from Natural Language Specifications. CoRR abs/2403.04541 (2024) - [i32]Erica Coppolillo, Francesco Calimeri, Giuseppe Manco, Simona Perri, Francesco Ricca:
LLASP: Fine-tuning Large Language Models for Answer Set Programming. CoRR abs/2407.18723 (2024) - [i31]Giuseppe Mazzotta, Francesco Ricca, Mirek Truszczynski:
Quantifying over Optimum Answer Sets. CoRR abs/2408.07697 (2024) - [i30]Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca:
Enumerating Minimal Unsatisfiable Cores of LTLf formulas. CoRR abs/2409.09485 (2024) - 2023
- [j49]Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca:
ASP and subset minimality: Enumeration, cautious reasoning and MUSes. Artif. Intell. 320: 103931 (2023) - [j48]Francesco Calimeri, Nicola Leone, Giovanni Melissari, Francesco Pacenza, Simona Perri, Kristian Reale, Francesco Ricca, Jessica Zangari:
ASP-Based Declarative Reasoning in Data-Intensive Enterprise and IoT Applications. Algorithms 16(3): 159 (2023) - [j47]Manuel A. Borroto, Francesco Ricca:
SPARQL-QA-v2 system for Knowledge Base Question Answering. Expert Syst. Appl. 229(Part A): 120383 (2023) - [j46]Vito Barbara, Massimo Guarascio, Nicola Leone, Giuseppe Manco, Alessandro Quarta, Francesco Ricca, Ettore Ritacco:
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels. Theory Pract. Log. Program. 23(4): 748-764 (2023) - [j45]Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca:
An Efficient Solver for ASP(Q). Theory Pract. Log. Program. 23(4): 948-964 (2023) - [c116]Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca:
Enhancing ASP(Q) evaluation. DP@AI*IA 2023: 38-46 - [c115]Andrea Cuteri, Giuseppe Mazzotta, Francesco Ricca:
Compilation-based Techniques for Evaluating Normal Logic Programs Under the Well-founded Semantics. CILC 2023 - [c114]Ignacio Huitzil, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca:
ASP-based Axiom Pinpointing for Description Logics. Description Logics 2023 - [c113]Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca:
Compilation of Tight ASP Programs. ECAI 2023: 557-564 - [c112]Antonio Ielo, Mark Law, Valeria Fionda, Francesco Ricca, Giuseppe De Giacomo, Alessandra Russo:
Towards ILP-Based LTL f Passive Learning. ILP 2023: 30-45 - [c111]Valeria Fionda, Antonio Ielo, Francesco Ricca:
Logic-based Composition of Business Process Models. KR 2023: 272-281 - [c110]Angelica Liguori, Simone Mungari, Ettore Ritacco, Francesco Ricca, Giuseppe Manco, Salvatore Iiritano:
Neuro-Symbolic techniques for Predictive Maintenance. SEBD 2023: 459-468 - [d3]Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca:
Compilation of tight ASP programs. Zenodo, 2023
- [i29]Wolfgang Faber, Giuseppe Mazzotta, Francesco Ricca:
An efficient solver for ASP(Q). CoRR abs/2305.10021 (2023) - [i28]Vito Barbara, Massimo Guarascio, Nicola Leone, Giuseppe Manco, Alessandro Quarta, Francesco Ricca, Ettore Ritacco:
Neuro-Symbolic AI for Compliance Checking of Electrical Control Panels. CoRR abs/2305.10113 (2023) - [i27]Varsha Behrunani, Marta Zagórowska, Mathias Hudoba de Badyn, Francesco Ricca, Philipp Heer, John Lygeros:
Degradation-aware data-enabled predictive control of energy hubs. CoRR abs/2307.01543 (2023) - 2022
- [c109]Giuseppe Mazzotta, Francesco Ricca, Carmine Dodaro:
Compilation of Aggregates in ASP Systems. AAAI 2022: 5834-5841 - [c108]Giuseppe Mazzotta, Carmine Dodaro, Francesco Ricca:
Compilation of ASP Programs: Recent Developments (Short Paper). DP@AI*IA 2022: 55-64 - [c107]Vito Barbara, Dimitri Buelli, Massimo Guarascio, Stefano Ierace, Salvatore Iiritano, Giovanni Laboccetta, Nicola Leone, Giuseppe Manco, Valerio Pesenti, Alessandro Quarta, Francesco Ricca, Ettore Ritacco:
A Loosely-coupled Neural-symbolic approach to Compliance of Electric Panels. CILC 2022: 247-253 - [c106]Manuel Alejandro Borroto Santana, Bernardo Cuteri, Francesco Ricca, Vito Barbara:
SPARQL-QA enters the QALD challenge. NLIWoD@ESWC 2022: 25-31 - [c105]Manuel Alejandro Borroto Santana, Bernardo Cuteri, Francesco Ricca, Vito Barbara:
From Graph to Graph - Question Answering using Abstract Meaning Representation. NLIWoD@ESWC 2022: 38-42 - [c104]Antonio Ielo, Francesco Ricca, Luigi Pontieri:
Declarative Mining of Business Processes via ASP. PMAI@IJCAI 2022: 105-108 - [c103]Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca:
Enumeration of Minimal Models and MUSes in WASP. LPNMR 2022: 29-42 - [c102]Carmine Dodaro, Davide Ilardi, Luca Oneto, Francesco Ricca:
Deep Learning for the Generation of Heuristics in Answer Set Programming: A Case Study of Graph Coloring. LPNMR 2022: 145-158 - [c101]Rafael Peñaloza, Francesco Ricca:
Pinpointing Axioms in Ontologies via ASP. LPNMR 2022: 315-321 - [c100]Giovanni Amendola, Bernardo Cuteri, Francesco Ricca, Mirek Truszczynski:
Solving Problems in the Polynomial Hierarchy with ASP(Q). LPNMR 2022: 373-386 - [c99]Pierpaolo Bellusci, Giuseppe Mazzotta, Francesco Ricca:
Modelling the Outlier Detection Problem in ASP(Q). PADL 2022: 15-23 - [c98]Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca:
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. PADL 2022: 154-161 - 2021
- [j44]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca:
Paracoherent answer set computation. Artif. Intell. 299: 103519 (2021) - [j43]Christoph Benzmüller, Xavier Parent, Francesco Ricca:
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). Theory Pract. Log. Program. 21(1): 1-3 (2021) - [c97]Vito Barbara, Manuel Borroto, Francesco Ricca:
A Sequence to Sequence Approach for Knowledge Base Relation Linking. NL4AI@AI*IA 2021 - [c96]Giuseppe Benvenuto, Salvatore Iiritano, Luigi Mirto, Pasquale Piccione, Massimiliano Ruffolo, Simone Vizza, Manuel Borroto, Francesco Ricca:
Hydrocontrol IT: an attempt to mitigate water losses in Italy towns. DP@AI*IA 2021: 99-107 - [c95]Riccardo Bertolucci, Carmine Dodaro, Giuseppe Galatà, Marco Maratea, Ivan Porro, Francesco Ricca:
Explaining ASP-based Operating Room Schedules. IPS-RCRA@AI*IA 2021 - [c94]Manuel Borroto, Francesco Ricca, Bernardo Cuteri:
A Neural-Machine-Translation System Resilient to Out of Vocabulary Words for Translating Natural Language to SPARQL. AI*IA 2021: 171-184 - [c93]Antonio Ielo, Francesco Ricca:
Answer Set Computation of Negative Two-Literal Programs Based on Graph Neural Networks: Preliminary Results. CILC 2021: 188-195 - [c92]Manuel Borroto, Bernardo Cuteri, Francesco Ricca:
Mitigating the Impact of out of Vocabulary Words in a Neural-Machine-Translation-based Question Answering System. DeepOntoNLP/X-SENTIMENT@ESWC 2021: 20-29 - [c91]Giovanni Amendola, Tobias Berei, Francesco Ricca:
Testing in ASP: Revisited Language and Programming Environment. JELIA 2021: 362-376 - [c90]Manuel Alejandro Borroto, Francesco Ricca, Bernardo Cuteri:
A system for translating natural language questions into SPARQL queries with neural networks: Preliminary results (Discussion Paper). SEBD 2021: 226-234 - [d2]Carmine Dodaro, Giuseppe Mazzotta, Francesco Ricca:
Compilation of Aggregates in ASP Systems. Zenodo, 2021 - [i26]Manuel A. Borroto Santana, Francesco Ricca, Bernardo Cuteri:
Reducing the impact of out of vocabulary words in the translation of natural language questions into SPARQL queries. CoRR abs/2111.03000 (2021) - 2020
- [j42]Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski:
New models for generating hard random boolean formulas and disjunctive logic programs. Artif. Intell. 279 (2020) - [j41]Mario Alviano, Carmine Dodaro, João Marques-Silva, Francesco Ricca:
Optimum stable model search: algorithms and implementation. J. Log. Comput. 30(4): 863-897 (2020) - [j40]Martin Gebser, Marco Maratea, Francesco Ricca:
The Seventh Answer Set Programming Competition: Design and Results. Theory Pract. Log. Program. 20(2): 176-204 (2020) - [j39]Carmine Dodaro, Francesco Ricca:
The External Interface for Extending WASP. Theory Pract. Log. Program. 20(2): 225-248 (2020) - [j38]Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. Theory Pract. Log. Program. 20(2): 294-309 (2020) - [j37]Francesco Ricca, Alessandra Russo:
Introduction to the 36th International Conference on Logic Programming Special Issue I. Theory Pract. Log. Program. 20(5): 587-592 (2020) - [j36]Francesco Ricca, Alessandra Russo:
Introduction to the 36th International Conference on Logic Programming Special Issue II. Theory Pract. Log. Program. 20(6): 815-817 (2020) - [c89]Giuseppe Mazzotta, Bernardo Cuteri, Carmine Dodaro, Francesco Ricca:
Compilation of Aggregates in ASP: Preliminary Results. CILC 2020: 278-296 - [c88]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller:
Overcoming the Grounding Bottleneck Due to Constraints in ASP Solving: Constraints Become Propagators. IJCAI 2020: 1688-1694 - [e2]Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi:
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. EPTCS 325, 2020 [contents]
2010 – 2019
- 2019
- [j35]Christoph Benzmüller, Xavier Parent, Francesco Ricca:
Report on the Second International Joint Conference on Rules and Reasoning. AI Mag. 40(2): 73-74 (2019) - [j34]Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin:
Debugging Non-ground ASP Programs: Technique and Graphical Tools. Theory Pract. Log. Program. 19(2): 290-316 (2019) - [j33]Giovanni Amendola, Francesco Ricca:
Paracoherent Answer Set Semantics meets Argumentation Frameworks. Theory Pract. Log. Program. 19(5-6): 688-704 (2019) - [j32]Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski:
Beyond NP: Quantifying over Answer Sets. Theory Pract. Log. Program. 19(5-6): 705-721 (2019) - [j31]Giovanni Amendola, Carmine Dodaro, Francesco Ricca:
Better Paracoherent Answer Sets with Less Resources. Theory Pract. Log. Program. 19(5-6): 757-772 (2019) - [j30]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller:
Partial Compilation of ASP Programs. Theory Pract. Log. Program. 19(5-6): 857-873 (2019) - [c87]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca:
Empowering ASPQ to Win in QBFEval 2018. CILC 2019: 167-178 - [c86]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca:
Computing Modular Paracoherent Answer Sets: Preliminary Result. CILC 2019: 279-288 - [c85]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca:
Debugging of Answer Set Programs Using Paracoherent Reasoning. CILC 2019: 289-299 - [c84]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 - [c83]Francesco Ricca:
An Extension of Datalog for Modelling and Solving Complex Combinatorial Problems. Datalog 2019: 7-9 - [c82]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: 10-21 - [c81]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina, Francesco Ricca:
Algorithm Selection for Paracoherent Answer Set Computation. JELIA 2019: 479-489 - [c80]Bernardo Cuteri, Kristian Reale, Francesco Ricca:
A Logic-Based Question Answering System for Cultural Heritage. JELIA 2019: 526-541 - [c79]Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca:
Evaluation of Disjunctive Programs in WASP. LPNMR 2019: 241-255 - [c78]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: 312-325 - [c77]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 - [c76]Bernardo Cuteri, Kristian Reale, Francesco Ricca:
Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper. SEBD 2019 - [r2]Francesco Ricca, Giorgio Terracina:
Knowledge and Reasoning. Encyclopedia of Bioinformatics and Computational Biology (1) 2019: 294-299 - [r1]Gianluigi Greco, Marco Manna, Francesco Ricca:
Ontology: Introduction. Encyclopedia of Bioinformatics and Computational Biology (1) 2019: 785-789 - [d1]Mario Alviano, Giovanni Amendola, Carmine Dodaro, Nicola Leone, Marco Maratea, Francesco Ricca:
Evaluation of disjunctive programs in WASP. Zenodo, 2019 - [i25]Martin Gebser, Marco Maratea, Francesco Ricca:
The Seventh Answer Set Programming Competition: Design and Results. CoRR abs/1904.09134 (2019) - [i24]Giovanni Amendola, Francesco Ricca:
Paracoherent Answer Set Semantics meets Argumentation Frameworks. CoRR abs/1907.09426 (2019) - [i23]Giovanni Amendola, Francesco Ricca, Mirek Truszczynski:
Beyond NP: Quantifying over Answer Sets. CoRR abs/1907.09559 (2019) - [i22]Giovanni Amendola, Carmine Dodaro, Francesco Ricca:
Better Paracoherent Answer Sets with Less Resources. CoRR abs/1907.09560 (2019) - [i21]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller:
Partial Compilation of ASP Programs. CoRR abs/1907.10469 (2019) - [i20]Francesco Calimeri, Wolfgang Faber, Martin Gebser, Giovambattista Ianni, Roland Kaminski, Thomas Krennwallner, Nicola Leone, Marco Maratea, Francesco Ricca, Torsten Schaub:
ASP-Core-2 Input Language Format. CoRR abs/1911.04326 (2019) - 2018
- [j29]Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
The ASP System DLV: Advancements and Applications. Künstliche Intell. 32(2-3): 177-179 (2018) - [j28]Francesco Calimeri, Stefano Germano, Eliana Palermiti, Kristian Reale, Francesco Ricca:
Developing ASP Programs with ASPIDE and LoIDE. Künstliche Intell. 32(2-3): 185-186 (2018) - [c75]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Francesco Ricca:
Externally Supported Models for Efficient Computation of Paracoherent Answer Sets. AAAI 2018: 1720-1727 - [c74]Francesco Ricca:
Compute Paracoherent Answer Sets via Saturation. RiCeRcA@AI*IA 2018 - [c73]Carlo Allocca, Mario Alviano, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Nicola Leone, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
Reasoning over Ontologies with DLV. IC3K 2018: 114-136 - [c72]Martin Gebser, Nicola Leone, Marco Maratea, Simona Perri, Francesco Ricca, Torsten Schaub:
Evaluation Techniques and Systems for Answer Set Programming: a Survey. IJCAI 2018: 5450-5456 - [c71]Giovanni Amendola, Francesco Ricca, Mirek Truszczynski:
A Generator of Hard 2QBF Formulas and ASP Programs. KR 2018: 52-56 - [c70]Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri:
A REST-Based Development Framework for ASP: Tools and Application. PADL 2018: 161-169 - [c69]Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
First Steps towards Reasoning on Big Data with DLV. SEBD 2018 - [e1]Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman:
Rules and Reasoning - Second International Joint Conference, RuleML+RR 2018, Luxembourg, September 18-21, 2018, Proceedings. Lecture Notes in Computer Science 11092, Springer 2018, ISBN 978-3-319-99905-0 [contents] - [i19]Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski:
New Models for Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. CoRR abs/1802.03828 (2018) - [i18]Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin:
Debugging Non-Ground ASP Programs: Technique and Graphical Tools. CoRR abs/1808.00417 (2018) - [i17]Carmine Dodaro, Francesco Ricca:
The External Interface for Extending WASP. CoRR abs/1811.01692 (2018) - 2017
- [j27]Martin Gebser, Marco Maratea, Francesco Ricca:
The Sixth Answer Set Programming Competition. J. Artif. Intell. Res. 60: 41-95 (2017) - [j26]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller:
Constraints, lazy constraints, or propagators in ASP solving: An empirical analysis. Theory Pract. Log. Program. 17(5-6): 780-799 (2017) - [c68]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
On the Computation of Paracoherent Answer Sets. AAAI 2017: 1034-1040 - [c67]Bernardo Cuteri, Alessandro Francesco De Rosis, Francesco Ricca:
lp2cpp: A Tool For Compiling Stratified Logic Programs. AI*IA 2017: 200-212 - [c66]Giovanni Amendola, Francesco Ricca, Miroslaw Truszczynski:
Generating Hard Random Boolean Formulas and Disjunctive Logic Programs. IJCAI 2017: 532-538 - [c65]Martin Gebser, Marco Maratea, Francesco Ricca:
The Design of the Seventh Answer Set Programming Competition. LPNMR 2017: 3-9 - [c64]Mario Alviano, Francesco Calimeri, Carmine Dodaro, Davide Fuscà, Nicola Leone, Simona Perri, Francesco Ricca, Pierfrancesco Veltri, Jessica Zangari:
The ASP System DLV2. LPNMR 2017: 215-221 - [c63]Bernardo Cuteri, Francesco Ricca:
A compiler for stratified Datalog programs: preliminary results. SEBD 2017: 158 - [c62]Marco Manna, Francesco Ricca, Giorgio Terracina:
Decomposing and pruning primary key violations from large data sets (discussion paper). SEBD 2017: 186 - [i16]Bernardo Cuteri, Carmine Dodaro, Francesco Ricca, Peter Schüller:
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis. CoRR abs/1707.04027 (2017) - [i15]Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
On the Computation of Paracoherent Answer Sets. CoRR abs/1707.06813 (2017) - 2016
- [j25]Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca:
Design and results of the Fifth Answer Set Programming Competition. Artif. Intell. 231: 151-181 (2016) - [j24]Toni Mancini, Marco Maratea, Francesco Ricca:
Experimental evaluation of algorithms for solving problems with combinatorial explosion. AI Commun. 29(2): 245-247 (2016) - [j23]Yuliya Lierler, Marco Maratea, Francesco Ricca:
Systems, Engineering Environments, and Competitions. AI Mag. 37(3): 45-52 (2016) - [j22]Giuseppe Marra, Domenico Ursino, Francesco Ricca, Giorgio Terracina:
Information diffusion in a multi-social-network scenario: framework and ASP-based analysis. Knowl. Inf. Syst. 48(3): 619-648 (2016) - [j21]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). Theory Pract. Log. Program. 16(5-6): 653-669 (2016) - [c61]Martin Gebser, Marco Maratea, Francesco Ricca:
What's Hot in the Answer Set Programming Competition. AAAI 2016: 4327-4329 - [c60]Carmine Dodaro, Francesco Ricca, Peter Schüller:
External Propagators in WASP: Preliminary Report. RCRA@AI*IA 2016: 1-9 - [c59]Giovanni Amendola, Carmine Dodaro, Nicola Leone, Francesco Ricca:
On the Application of Answer Set Programming to the Conference Paper Assignment Problem. AI*IA 2016: 164-178 - [c58]Giovanni Amendola, Carmine Dodaro, Francesco Ricca:
ASPQ: An ASP-Based 2QBF Solver. QBF@SAT 2016: 49-54 - [i14]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 abs/1608.00730 (2016) - [i13]Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca, Konstantin Schekotihin:
An integrated Graphical User Interface for Debugging Answer Set Programs. CoRR abs/1611.04969 (2016) - [i12]Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca, Konstantin Schekotihin:
Driving CDCL Search. CoRR abs/1611.05190 (2016) - 2015
- [j20]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. 27(5): 501-502 (2015) - [j19]Marco Maratea, Luca Pulina, Francesco Ricca:
Multi-engine ASP solving with policy adaptation. J. Log. Comput. 25(6): 1285-1306 (2015) - [j18]Marco Manna, Francesco Ricca, Giorgio Terracina:
Taming primary key violations to query large inconsistent data via ASP. Theory Pract. Log. Program. 15(4-5): 696-710 (2015) - [c57]Mario Alviano, Carmine Dodaro, Francesco Ricca:
JWASP: A New Java-Based ASP Solver. RCRA@AI*IA 2015: 16-23 - [c56]Marco Maratea, Luca Pulina, Francesco Ricca:
Advances in Multi-engine ASP Solving. AI*IA 2015: 179-190 - [c55]Mario Alviano, Carmine Dodaro, Francesco Ricca:
A MaxSAT Algorithm Using Cardinality Constraints of Bounded Size. IJCAI 2015: 2677-2683 - [c54]Mario Alviano, Carmine Dodaro, Nicola Leone, Francesco Ricca:
Advances in WASP. LPNMR 2015: 40-54 - [c53]Carmine Dodaro, Philip Gasteiger, Benjamin Musitsch, Francesco Ricca, Kostyantyn M. Shchekotykhin:
Interactive Debugging of Non-ground ASP Programs. LPNMR 2015: 279-293 - [c52]Marco Maratea, Luca Pulina, Francesco Ricca:
Multi-level Algorithm Selection for ASP. LPNMR 2015: 439-445 - [c51]Martin Gebser, Marco Maratea, Francesco Ricca:
The Design of the Sixth Answer Set Programming Competition - - Report -. LPNMR 2015: 531-544 - [c50]Carmine Dodaro, Nicola Leone, Barbara Nardi, Francesco Ricca:
Allotment Problem in Travel Industry: A Solution Based on ASP. RR 2015: 77-92 - [c49]Nicola Leone, Francesco Ricca:
Answer Set Programming: A Tour from the Basics to Advanced Development Tools and Industrial Applications. Reasoning Web 2015: 308-326 - [i11]Marco Manna, Francesco Ricca, Giorgio Terracina:
Taming Primary Key Violations to Query Large Inconsistent Data. CoRR abs/1507.06103 (2015) - 2014
- [j17]Francesco Calimeri, Giovambattista Ianni, Francesco Ricca:
The third open answer set programming competition. Theory Pract. Log. Program. 14(1): 117-135 (2014) - [j16]Mario Alviano, Carmine Dodaro, Francesco Ricca:
Anytime Computation of Cautious Consequences in Answer Set Programming. Theory Pract. Log. Program. 14(4-5): 755-770 (2014) - [j15]Marco Maratea, Luca Pulina, Francesco Ricca:
A multi-engine approach to answer-set programming. Theory Pract. Log. Program. 14(6): 841-868 (2014) - [c48]Giuseppe Marra, Francesco Ricca, Giorgio Terracina, Domenico Ursino:
Exploiting Answer Set Programming for Handling Information Diffusion in a Multi-Social-Network Scenario. JELIA 2014: 618-627 - [c47]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: 191-196 - [c46]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: 264-275 - [i10]Mario Alviano, Carmine Dodaro, Francesco Ricca:
Preliminary Report on WASP 2.0. CoRR abs/1404.6999 (2014) - [i9]Marco Maratea, Luca Pulina, Francesco Ricca:
The Multi-engine ASP Solver ME-ASP: Progress Report. CoRR abs/1405.0876 (2014) - [i8]Mario Alviano, Carmine Dodaro, Francesco Ricca:
Anytime Computation of Cautious Consequences in Answer Set Programming. CoRR abs/1405.3546 (2014) - [i7]Francesco Calimeri, Martin Gebser, Marco Maratea, Francesco Ricca:
The Design of the Fifth Answer Set Programming Competition. CoRR abs/1405.3710 (2014) - 2013
- [j14]Marco Manna, Francesco Ricca, Giorgio Terracina:
Consistent query answering via ASP from different perspectives: Theory and practice. Theory Pract. Log. Program. 13(2): 227-252 (2013) - [j13]Simona Perri, Francesco Ricca, Marco Sirianni:
Parallel instantiation of ASP programs: techniques and experiments. Theory Pract. Log. Program. 13(2): 253-278 (2013) - [c45]Mario Alviano, Carmine Dodaro, Francesco Ricca:
Comparing Alternative Solutions for Unfounded Set Propagation in ASP. AI*IA 2013: 1-12 - [c44]Marco Maratea, Luca Pulina, Francesco Ricca:
Automated Selection of Grounding Algorithm in Answer Set Programming. AI*IA 2013: 73-84 - [c43]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:
The Fourth Answer Set Programming Competition: Preliminary Report. LPNMR 2013: 42-53 - [c42]Mario Alviano, Carmine Dodaro, Wolfgang Faber, Nicola Leone, Francesco Ricca:
WASP: A Native ASP Solver Based on Constraint Learning. LPNMR 2013: 54-66 - [c41]Rosamaria Barilaro, Michael Fink, Francesco Ricca, Giorgio Terracina:
Towards Query Answering in Relational Multi-Context Systems. LPNMR 2013: 168-173 - [c40]Giovanni Grasso, Nicola Leone, Francesco Ricca:
Answer Set Programming: Language, Applications and Development Tools. RR 2013: 19-34 - [c39]Barbara Nardi, Kristian Reale, Francesco Ricca, Giorgio Terracina:
An Integrated Environment for Reasoning over Ontologies via Logic Programming. RR 2013: 253-258 - [c38]Onofrio Febbraro, Nicola Leone, Francesco Ricca, Giorgio Terracina, Pierfrancesco Veltri:
A graphic tool for ontology reasoning under Datalog∃. SEBD 2013: 51-62 - [c37]Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca:
Development Tools for Datalog. SEBD 2013: 385-392 - [i6]Marco Maratea, Luca Pulina, Francesco Ricca:
A Multi-Engine Approach to Answer Set Programming. CoRR abs/1306.4925 (2013) - 2012
- [j12]Francesco Calimeri, Giovambattista Ianni, Thomas Krennwallner, Francesco Ricca:
The Answer Set Programming Competition. AI Mag. 33(4): 114-118 (2012) - [j11]Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone:
Team-building with answer set programming in the Gioia-Tauro seaport. Theory Pract. Log. Program. 12(3): 361-381 (2012) - [c36]Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca:
Extending ASPIDE with User-defined Plugins. CILC 2012: 236-240 - [c35]Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca:
Datalog Development Tools - (Extended Abstract). Datalog 2012: 81-85 - [c34]Marco Maratea, Luca Pulina, Francesco Ricca:
Applying Machine Learning Techniques to ASP Solving. ICLP (Technical Communications) 2012: 37-48 - [c33]Marco Maratea, Luca Pulina, Francesco Ricca:
The Multi-Engine ASP Solver me-asp. JELIA 2012: 484-487 - [c32]Onofrio Febbraro, Nicola Leone, Giovanni Grasso, Francesco Ricca:
JASP: A Framework for Integrating Answer Set Programming with Java. KR 2012 - [c31]Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina:
Distributed Ontology Based Data Access via Logic Programming. RR 2012: 205-208 - [i5]Francesco Calimeri, Giovambattista Ianni, Francesco Ricca:
The third open Answer Set Programming competition. CoRR abs/1206.3111 (2012) - 2011
- [j10]Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Look-back Techniques for ASP Programs with Aggregates. Fundam. Informaticae 107(4): 379-413 (2011) - [c30]Giovanni Grasso, Nicola Leone, Marco Manna, Francesco Ricca:
ASP at Work: Spin-off and Applications of the DLV System. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 432-451 - [c29]Carmine Dodaro, Mario Alviano, Wolfgang Faber, Nicola Leone, Francesco Ricca, Marco Sirianni:
The Birth of a WASP: Preliminary Report on a New ASP Solver. CILC 2011: 99-113 - [c28]Onofrio Febbraro, Kristian Reale, Francesco Ricca:
Testing ASP programs in ASPIDE. CILC 2011: 115-129 - [c27]Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca:
Unit Testing in ASPIDE. INAP/WLP 2011: 345-364 - [c26]Rosamaria Barilaro, Francesco Ricca, Giorgio Terracina:
Optimizing the Distributed Evaluation of Stratified Programs via Structural Analysis. LPNMR 2011: 217-222 - [c25]Onofrio Febbraro, Kristian Reale, Francesco Ricca:
ASPIDE: Integrated Development Environment for Answer Set Programming. LPNMR 2011: 317-330 - [c24]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: 388-403 - [c23]Rosamaria Barilaro, Nicola Leone, Francesco Ricca, Giorgio Terracina:
Optimizing the Distributed Evaluation of Stratified Datalog Programs via Structural Analysis. SEBD 2011: 295-302 - [i4]Francesco Ricca, Giovanni Grasso, Mario Alviano, Marco Manna, Vincenzino Lio, Salvatore Iiritano, Nicola Leone:
Team-building with Answer Set Programming in the Gioia-Tauro Seaport. CoRR abs/1101.4554 (2011) - [i3]Marco Manna, Francesco Ricca, Giorgio Terracina:
Consistent Query Answering via ASP from Different Perspectives: Theory and Practice. CoRR abs/1107.4570 (2011) - [i2]Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca:
Unit Testing in ASPIDE. CoRR abs/1108.5434 (2011) - [i1]Simona Perri, Francesco Ricca, Marco Sirianni:
Parallel Instantiation of ASP Programs: Techniques and Experiments. CoRR abs/1110.1015 (2011) - 2010
- [j9]Francesco Ricca, Antonella Dimasi, Giovanni Grasso, Salvatore Maria Ielpa, Salvatore Iiritano, Marco Manna, Nicola Leone:
A Logic-Based System for e-Tourism. Fundam. Informaticae 105(1-2): 35-55 (2010) - [c22]Onofrio Febbraro, Kristian Reale, Francesco Ricca:
A Visual Interface for Drawing ASP Programs. CILC 2010 - [c21]Giovanni Grasso, Salvatore Iiritano, Vincenzino Lio, Francesco Ricca, Francesco Scalise:
Team-building with Answer Set Programming in the Gioia-Tauro Seaport. CILC 2010 - [c20]Marco Manna, Francesco Ricca, Giorgio Terracina:
Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives. CILC 2010 - [c19]Simona Perri, Francesco Ricca, Marco Sirianni:
Parallel Instantiation in DLV. CILC 2010 - [c18]Simona Perri, Francesco Ricca, Marco Sirianni:
Towards a Fully-Parallel DLV System. RCRA@CPAIOR 2010 - [c17]Marco Maratea, Francesco Ricca, Pierfrancesco Veltri:
DLVMC: Enhanced Model Checking in DLV. JELIA 2010: 365-368 - [c16]Nicola Leone, Francesco Ricca, Luca Agostino Rubino, Giorgio Terracina:
Efficient Application of Answer Set Programming for Advanced Data Integration. PADL 2010: 10-24 - [c15]Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Vincenzino Lio, Francesco Ricca, Francesco Scalise:
An ASP-Based System for Team-Building in the Gioia-Tauro Seaport. PADL 2010: 40-42 - [c14]Simona Perri, Francesco Ricca, Marco Sirianni:
A parallel ASP instantiator based on DLV. DAMP 2010: 73-82 - [p2]Piero A. Bonatti, Francesco Calimeri, Nicola Leone, Francesco Ricca:
Answer Set Programming. 25 Years GULP 2010: 159-182
2000 – 2009
- 2009
- [j8]Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell'Armi, Giovanni Grasso, Nicola Leone:
OntoDLV: An ASP-based System for Enterprise Ontologies. J. Log. Comput. 19(4): 643-670 (2009) - [c13]Simona Perri, Francesco Ricca, Marco Sirianni:
Advanced Heuristics for Parallel ASP Instantiation. RCRA@AI*IA 2009 - [c12]Salvatore Maria Ielpa, Salvatore Iiritano, Nicola Leone, Francesco Ricca:
An ASP-Based System for e-Tourism. LPNMR 2009: 368-381 - [c11]Nicola Leone, Francesco Ricca, Giorgio Terracina:
An ASP-Based Data Integration System. LPNMR 2009: 528-534 - [c10]Giovanni Grasso, Salvatore Iiritano, Nicola Leone, Francesco Ricca:
Some DLV Applications for Knowledge Management. LPNMR 2009: 591-597 - 2008
- [j7]Francesco Calimeri, Simona Perri, Francesco Ricca:
Experimenting with parallelism for the instantiation of ASP programs. J. Algorithms 63(1-3): 34-54 (2008) - [j6]Marco Maratea, Francesco Ricca, Wolfgang Faber, Nicola Leone:
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers. J. Algorithms 63(1-3): 70-89 (2008) - [c9]Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Look-back Techniques for ASP Programs with Aggregates. RCRA 2008 - [p1]Wolfgang Faber, Nicola Leone, Francesco Ricca:
Answer Set Programming. Wiley Encyclopedia of Computer Science and Engineering 2008 - 2007
- [j5]Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Francesco Ricca:
On look-ahead heuristics in disjunctive logic programming. Ann. Math. Artif. Intell. 51(2-4): 229-266 (2007) - [j4]Francesco Ricca, Nicola Leone:
Disjunctive logic programming with types and objects: The DLV+ system. J. Appl. Log. 5(3): 545-573 (2007) - [c8]Wolfgang Faber, Nicola Leone, Marco Maratea, Francesco Ricca:
Experimenting with Look-Back Heuristics for Hard ASP Programs. LPNMR 2007: 110-122 - 2006
- [j3]Alfredo Garro, Luigi Palopoli, Francesco Ricca:
Exploiting agents in e-learning and skills management context. AI Commun. 19(2): 137-154 (2006) - [j2]Francesco Ricca, Wolfgang Faber, Nicola Leone:
A backjumping technique for Disjunctive Logic Programming. AI Commun. 19(2): 155-172 (2006) - 2005
- [j1]Wolfgang Faber, Nicola Leone, Francesco Ricca:
Solving Hard Problems for the Second Level of the Polynomial Hierarchy: Heuristics and Benchmarks. Intelligenza Artificiale 2(3): 21-28 (2005) - [c7]Giovambattista Ianni, Claudio Panetta, Francesco Ricca:
Specification of Assessment-test Criteria through ASP Specifications. Answer Set Programming 2005 - [c6]Wolfgang Faber, Nicola Leone, Francesco Ricca:
Heuristics for Hard ASP Programs. IJCAI 2005: 1562-1563 - [c5]Wolfgang Faber, Francesco Ricca:
Solving Hard ASP Programs Efficiently. LPNMR 2005: 240-252 - [c4]Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso:
A DLP System with Object-Oriented Features. LPNMR 2005: 432-436 - 2004
- [c3]Giovambattista Ianni, Francesco Ricca, Francesco Calimeri, Vincenzino Lio, Stefania Galizia:
An agent system reasoning about the web and the user. WWW (Alternate Track Papers & Posters) 2004: 492-493 - 2003
- [c2]Francesco Ricca:
The DLV Java Wrapper. APPIA-GULP-PRODE 2003: 263-274 - [c1]Francesco Ricca:
A Java Wrapper for DLV. Answer Set Programming 2003
Coauthor Index
Manuel Borroto
aka: Manuel Alejandro Borroto
aka: Manuel Alejandro Borroto Santana
aka: Manuel A. Borroto Santana
aka: Manuel Alejandro Borroto
aka: Manuel Alejandro Borroto Santana
aka: Manuel A. Borroto Santana
[c121] [j49] [c113] [d3] [c109] [c108] [c103] [c102] [j44] [c95] [d2] [j41] [j39] [c89] [c88] [j34] [j31] [j30] [c87] [c86] [c85] [c81] [c79] [d1] [i22] [i21] [j29] [c75] [i18] [i17] [j26] [c68] [c64] [i16] [i15] [j21] [c60] [c59] [c58] [i14] [i13] [i12] [c57] [c55] [c54] [c53] [c50] [j16] [i10] [i8] [c45] [c43] [c42] [c29]
[j48] [j46] [i28] [c107] [c98] [j38] [e2] [c84] [c79] [c78] [c77] [d1] [i20] [j29] [c73] [c72] [c69] [c68] [c64] [i15] [j21] [c59] [i14] [i12] [c54] [c50] [c49] [c42] [c40] [c38] [c37] [j11] [c36] [c35] [c32] [c31] [j10] [c30] [c29] [c27] [c24] [c23] [i4] [i2] [j9] [c16] [c15] [p2] [j8] [c12] [c11] [c10] [j6] [c9] [p1] [j5] [j4] [c8] [j2] [j1] [c6] [c4]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-19 23:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
