Francesco Calimeri
Orcid: 0000-0002-0866-0834Affiliations:
- University of Calabria, Cosenza, Italy
According to our database1,
Francesco Calimeri
authored at least 116 papers
between 2002 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on orcid.org
-
on d-nb.info
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Compliance checking on first-order knowledge with conflicting and compensatory norms: a comparison among currently available technologies.
Artif. Intell. Law, June, 2024
Special issue on learning from multiple data sources for decision making in health care.
J. Biomed. Informatics, 2024
Towards Effective ASP-based Stream Reasoning: Facilitate the Reasoning over Patterns of Events.
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, 2024
Proceedings of the Practical Aspects of Declarative Languages, 2024
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024
AI-Driven Innovations in Healthcare: Bridging Imaging and Genomics for Advanced Disease Insights.
Proceedings of the Ital-IA Intelligenza Artificiale, 2024
2023
Medical Image Anal., May, 2023
Algorithms, March, 2023
Data Augmentation: a Combined Inductive-Deductive Approach featuring Answer Set Programming.
CoRR, 2023
Big Data Cogn. Comput., 2023
Proceedings of the Italia Intelligenza Artificiale, 2023
2022
Assessing vascular complexity of PAOD patients by deep learning-based segmentation and fractal dimension.
Neural Comput. Appl., 2022
Medical Biol. Eng. Comput., 2022
Preface to the Special Issue from the 35th Italian Conference on Computational Logic (CILC 2020).
J. Log. Comput., 2022
Editorial: Hot topic: Reducing operating times and complication rates through robot-assisted surgery.
Frontiers Robotics AI, 2022
A hybrid inductive learning-based and deductive reasoning-based 3-D path planning method in complex environments.
Auton. Robots, 2022
Proceedings of the Rules and Reasoning, 2022
Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022
Proceedings of the Practical Aspects of Declarative Languages, 2022
A Parallelization Approach for Hybrid-AI-based Models: an Application Study for Semantic Segmentation of Medical Images.
Proceedings of the Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), 2022
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022
Taking stock of available technologies for compliance checking on first-order knowledge.
Proceedings of the 37th Italian Conference on Computational Logic, Bologna, Italy, June 29, 2022
Proceedings of the 1st AIxIA Workshop on Artificial Intelligence For Healthcare (HC@AIxIA 2022) co-located with the 21st International Conference of the Italian Association for Artificial Intelligence (AIxIA 2022), 2022
2021
Introduction to the TPLP Special Issue from the 16th European Conference on Logics in Artificial Intelligence (JELIA 2019).
Theory Pract. Log. Program., 2021
Theory Pract. Log. Program., 2021
A Logic-Based Framework Leveraging Neural Networks for Studying the Evolution of Neurological Disorders.
Theory Pract. Log. Program., 2021
How can we learn (more) from challenges? A statistical approach to driving future algorithm development.
CoRR, 2021
Comput. Methods Programs Biomed., 2021
Combining Deep Learning and ASP-Based Models for the Semantic Segmentation of Medical Images.
Proceedings of the Rules and Reasoning - 5th International Joint Conference, 2021
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
Proceedings of the 1st Italian Workshop on Artificial Intelligence and Applications for Business and Industries (AIABI 2021) co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2021), 2021
2020
Theory Pract. Log. Program., 2020
Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020
Data reduction and data visualization for automatic diagnosis using gene expression and clinical data.
Artif. Intell. Medicine, 2020
Proceedings of the Machine Learning, Optimization, and Data Science, 2020
A Lumen Segmentation Method in Ureteroscopy Images based on a Deep Residual U-Net architecture.
Proceedings of the 25th International Conference on Pattern Recognition, 2020
Understanding Automatic Diagnosis and Classification Processes with Data Visualization.
Proceedings of the IEEE International Conference on Human-Machine Systems, 2020
Proceedings of the Italian Workshop on Explainable Artificial Intelligence co-located with 19th International Conference of the Italian Association for Artificial Intelligence, 2020
Proceedings of the AIxIA 2020 - Advances in Artificial Intelligence, 2020
2019
Blood Vessel Segmentation in Retinal Fundus Images Using Hypercube NeuroEvolution of Augmenting Topologies (HyperNEAT).
Proceedings of the Quantifying and Processing Biomedical and Behavioral Signals, 2019
Theory Pract. Log. Program., 2019
Theory Pract. Log. Program., 2019
Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework.
New Gener. Comput., 2019
Proceedings of the 27th Italian Symposium on Advanced Database Systems, 2019
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2019
Prediction of Multiple Sclerosis Patient Disability from Structural Connectivity using Convolutional Neural Networks.
Proceedings of the 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2019
Proceedings of the Datalog 2.0 2019, 2019
Large Scale DLV: Preliminary Results.
Proceedings of the 34th Italian Conference on Computational Logic, 2019
An ASP-based Approach for Optimizing DLV Evaluation.
Proceedings of the 34th Italian Conference on Computational Logic, 2019
Proceedings of the IEEE Conference on Computational Intelligence in Bioinformatics and Computational Biology, 2019
2018
Proceedings of the 26th Italian Symposium on Advanced Database Systems, 2018
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis.
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
Proceedings of the Practical Aspects of Declarative Languages, 2018
Proceedings of the Practical Aspects of Declarative Languages, 2018
Classification and Survival Prediction in Diffuse Large B-Cell Lymphoma by Gene Expression Profiling.
Proceedings of the Machine Learning, Optimization, and Data Science, 2018
Proceedings of the Knowledge Discovery, Knowledge Engineering and Knowledge Management, 2018
Graph based neural networks for automatic classification of multiple sclerosis clinical courses.
Proceedings of the 26th European Symposium on Artificial Neural Networks, 2018
Answer Set Programming for Declarative Content Specification: A Scalable Partitioning-Based Approach.
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018
Segmentation of vessel tree from cine-angiography images for intraoperative clinical evaluation.
Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence, 2018
Using CNNs for Designing and Implementing an Automatic Vascular Segmentation Method of Biomedical Images.
Proceedings of the AI*IA 2018 - Advances in Artificial Intelligence, 2018
2017
CoRR, 2017
A Framework for Easing the Development of Applications Embedding Answer Set Programming.
CoRR, 2017
Proceedings of the 11th Workshop on Recent Advances in Slavonic Natural Languages Processing, 2017
Proceedings of the Machine Learning, Optimization, and Big Data, 2017
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017
Proceedings of the 2017 IEEE International Symposium on Signal Processing and Information Technology, 2017
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2017, 2017
Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017
Proceedings of the 24th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 2017 co-located with the 16th International Conference of the Italian Association for Artificial Intelligence (AI*IA 2017), 2017
Proceedings of the AI*IA 2017 Advances in Artificial Intelligence, 2017
2016
Angry-HEX: An Artificial Player for Angry Birds Based on Declarative Knowledge Bases.
IEEE Trans. Comput. Intell. AI Games, 2016
Artif. Intell., 2016
Proceedings of the 12th International Conference on Signal-Image Technology & Internet-Based Systems, 2016
A framework for easing the development of applications embedding answer set programming.
Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016
Proceedings of the AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29, 2016
2014
2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013
Proceedings of the Workshop Popularize Artificial Intelligence co-located with the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), 2013
2012
2011
J. Artif. Intell. Res., 2011
AI Commun., 2011
The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011
2010
Proceedings of the A 25-Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009
2008
J. Algorithms, 2008
Proceedings of the Logic Programming, 24th International Conference, 2008
2007
Ann. Math. Artif. Intell., 2007
2006
Fundam. Informaticae, 2006
AI Commun., 2006
Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006
2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
2004
Toward the Implementation of Functions in the DLV System (Preliminary Technical Report)
CoRR, 2004
Proceedings of the 13th international conference on World Wide Web, 2004
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004
2003
Proceedings of the Answer Set Programming, 2003
Reasoning about the Semantic Web using Answer Set Programming.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
Enhancing Disjunctive Logic Programming for Ontology Specification.
Proceedings of the 2003 Joint Conference on Declarative Programming, 2003
2002
Pruning operators for answer set programming systems.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002