default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
Exact matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 43 matches
- 2024
- Francesco Forlingieri, Diego Reale, Filippo Biondi, Pia Addabbo, Gianfranco Fornaro, Gaetano Giunta, Danilo Orlando:
Towards Adaptive Persistent Scatteres Detection Using Multiple Alternative Hypotheses Scheme. IGARSS 2024: 11001-11003 - 2023
- 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) - 2022
- Marina Buzzi, Francesco Gennai, Loredana Martusciello, Alessandra Antolini, Giuseppe Mancinelli, Claudio Petrucci, Roberto Reale:
From National Certified Email Systems to European Registered Email Systems: a Case Study. ICEGOV 2022: 538-541 - Kristian Reale, Francesco Calimeri, Nicola Leone, Francesco Ricca:
Smart Devices and Large Scale Reasoning via ASP: Tools and Applications. PADL 2022: 154-161 - 2020
- Riccardo Lanari, Diego Reale, Manuela Bonano, Simona Verde, Yasir Muhammad, Gianfranco Fornaro, Francesco Casu, Michele Manunta:
Comment on "Pre-Collapse Space Geodetic Observations of Critical Infrastructure: The Morandi Bridge, Genoa, Italy" by Milillo et al. (2019). Remote. Sens. 12(24): 4011 (2020) - 2019
- Giuseppe Città, Manuel Gentile, Mario Allegra, Marco Arrigo, Daniela Conti, Simona Ottaviano, Francesco Reale, Marinella Sciortino:
The effects of mental rotation on computational thinking. Comput. Educ. 141 (2019) - 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) - 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 - 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 - Bernardo Cuteri, Kristian Reale, Francesco Ricca:
A Logic-Based Question Answering System for Cultural Heritage. JELIA 2019: 526-541 - 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 - 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 - Bernardo Cuteri, Kristian Reale, Francesco Ricca:
Querying Cultural Heritage Knowledge Bases in Natural Language: Discussion Paper. SEBD 2019 - 2018
- 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) - Manuel Gentile, Giuseppe Città, Salvatore Perna, Alessandro Signa, Francesco Reale, Valentina Dal Grande, Simona Ottaviano, Dario La Guardia, Mario Allegra:
The Effect of Disposition to Critical Thinking on Playing Serious Games. GALA 2018: 3-15 - 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 - Gelsomina Catalano, Giovanni Laboccetta, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri:
A REST-Based Development Framework for ASP: Tools and Application. PADL 2018: 161-169 - Carmine Dodaro, Philip Gasteiger, Kristian Reale, Francesco Ricca, Konstantin Schekotihin:
Debugging Non-Ground ASP Programs: Technique and Graphical Tools. CoRR abs/1808.00417 (2018) - 2016
- 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) - 2015
- Giovanni Ludeno, Ferdinando Reale, Fabio Dentale, Eugenio Pugliese Carratelli, Antonio Natale, Francesco Soldovieri, Francesco Serafino:
An X-Band Radar System for Bathymetry and Wave Field Analysis in a Harbour Area. Sensors 15(1): 1691-1707 (2015) - Francescopaolo Sica, Diego Reale, Giovanni Poggi, Luisa Verdoliva, Gianfranco Fornaro:
Nonlocal Adaptive Multilooking in SAR Multipass Differential Interferometry. IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens. 8(4): 1727-1742 (2015) - Diego Reale, Walter Franzé, Antonio Pauciullo, Francescopaolo Sica, Simona Verde, Gianfranco Fornaro:
Detection of single scatterers in multilook SAR Tomography. JURSE 2015: 1-4 - 2014
- Francescopaolo Sica, Luciano Alparone, Fabrizio Argenti, Gianfranco Fornaro, Alessandro Lapini, Diego Reale:
Benefits of blind speckle decorrelation for InSAR processing. SAR 2014: 92430D - 2013
- Barbara Nardi, Kristian Reale, Francesco Ricca, Giorgio Terracina:
An Integrated Environment for Reasoning over Ontologies via Logic Programming. RR 2013: 253-258 - Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca:
Development Tools for Datalog. SEBD 2013: 385-392 - 2012
- Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca:
Extending ASPIDE with User-defined Plugins. CILC 2012: 236-240 - Onofrio Febbraro, Giovanni Grasso, Nicola Leone, Kristian Reale, Francesco Ricca:
Datalog Development Tools - (Extended Abstract). Datalog 2012: 81-85 - Giovanni Poggi, Francescopaolo Sica, Luisa Verdoliva, Gianfranco Fornaro, Diego Reale, Simona Verde:
Non-local methods for filtering interferometric SAR datasets. TyWRRS 2012: 136-139 - 2011
- Onofrio Febbraro, Kristian Reale, Francesco Ricca:
Testing ASP programs in ASPIDE. CILC 2011: 115-129 - Onofrio Febbraro, Nicola Leone, Kristian Reale, Francesco Ricca:
Unit Testing in ASPIDE. INAP/WLP 2011: 345-364
skipping 13 more matches
loading more results
failed to load more results, please try again later
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.
retrieved on 2024-09-29 17:21 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint