Concepedia

Susanna Cozza

SC

2

Publications

67

Citations

2

H-Index

2007

Active since

Affiliations

University of Calabria(Current)

Susanna Cozza is an author at University of Calabria specializing in computer science, logic programming, and automated reasoning.

Top concepts

EngineeringComputer ScienceLogic ProgrammingAutomated ReasoningCompilersFormal MethodsProgram AnalysisSoftware AnalysisFormal VerificationNon-monotonic Logic

Publications per year

2007–2010

2

Publications

2

External sources of knowledge and value invention in logic programming

Francesco Calimeri, Susanna Cozza, Giovambattista Ianni · Annals of Mathematics and Artificial Intelligence · 2007 · 53 citations

Artificial Intelligence, Applied Logic, Computational Logic +8

Enhancing ASP by Functions: Decidable Classes and Implementation Techniques

Francesco Calimeri, Susanna Cozza, Giovambattista Ianni et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2010 · 14 citations · Full text

Engineering, Software Analysis, Formal Verification +16

Rows per page

1–2 of 2