DM
Daniele Magazzeni
0000-0002-1934-3447193
Publications
4,179
Citations
31
h-index
62
i10-index
Loading papers...
Search by keywords
Filter by Type
- Article (124)
- Preprint (44)
- Book Chapter (24)
- Book (1)
Filter by Open Access Type
- Open Access (81)
- Closed Access (112)
Filter by Authors
- Daniele Magazzeni (193)
- Michael Cashmore (41)
- Giuseppe Della Penna (33)
- Maria Fox (30)
- Derek Long (28)
Filter by Topics
- AI-based Problem Solving and Planning (64)
- Logic, Reasoning, and Knowledge (33)
- Formal Methods in Verification (28)
- Constraint Satisfaction and Optimization (25)
- Explainable Artificial Intelligence (XAI) (25)