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