De Angelis, Emanuele
- Analysis and Transformation of Constrained Horn Clauses for Program Verification
2021/08/02 by De Angelis, Emanuele, Fioravanti, Fabio, Gallagher, John P. +3 · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Learning Brave Assumption-Based Argumentation Frameworks via ASP
2024/08/19 by Emanuele De Angelis, De Angelis, Emanuele, Maurizio Proietti +3 · 2 citations
Computer Science · Business, Management and Accounting · #Semantic Web and Ontologies #Business Process Modeling and Analysis #Software Engineering Techniques and Practices