Per anno
Per anno
18 pubblicazioni senza DBLP Key / 2022
- Probabilistic logic programming in 2P-Kt
- Logic Programming library for Machine Learning: API design and prototype
- On Correctness and Completeness of an n Queens Program
- Arguing About the Existence of Conflicts
- Taking stock of available technologies for compliance checking on first-order knowledge
- Fifty Years of Prolog and Beyond
- Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper
- Pervasive and Connected Digital Twins - A Vision for Digital Health
- Preface – Proceedings of the 37th Italian Conference on Computational Logic (CILC 2022)
- Towards Human-centric AutoML via Logic and Argumentation
- Modular logic argumentation in Arg-tuProlog
- How to model contrary-to-duty with GCP-nets
- Clustering-Based Approaches for Symbolic Knowledge Extraction
- Selected papers from the 22nd Workshop “From Objects to Agents'' (WOA 2021)
- Coordination of Autonomous Vehicles: Taxonomy and Survey
- Symbolic Knowledge Extraction from Opaque Machine Learning Predictors: GridREx & PEDRO
- Web of Digital Twins
- Intelligent Systems for Engineers and Scientists: A Practical Guide to Artificial Intelligence