Per anno
Per anno
13 pubblicazioni senza IRIS ID / 2022
- 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
- Evaluation Metrics for Symbolic Knowledge Extracted from Machine Learning Black Boxes: A Discussion Paper
- A Methodology and Simulation-Based Toolchain for Estimating Deployment Performance of Smart Collective Services at the Edge
- Towards Human-centric AutoML via Logic and Argumentation
- ICLP Workshops 2022: International Conference on Logic Programming 2022 Workshops
- Modular logic argumentation in Arg-tuProlog
- Clustering-Based Approaches for Symbolic Knowledge Extraction
- Coordination of Autonomous Vehicles: Taxonomy and Survey
- Web of Digital Twins
- Intelligent Systems for Engineers and Scientists: A Practical Guide to Artificial Intelligence