Susanna Cozza

According to our database¹, Susanna Cozza authored at least 8 papers between 2006 and 2011.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2011

Finitely recursive programs: Decidability and bottom-up computation.

[BibT_eX]

[DOI]

AI Commun., 2011

The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track.

[BibT_eX]

[DOI]

Maria Carmela Santoro

Marco Sirianni

Giorgio Terracina

Pierfrancesco Veltri

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

2010

Enhancing ASP by Functions: Decidable Classes and Implementation Techniques.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

An ASP System with Functions, Lists, and Sets.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

2008

Computable Functions in ASP: Theory and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, 24th International Conference, 2008

2007

External sources of knowledge and value invention in logic programming.

[BibT_eX]

[DOI]

Francesco Calimeri

Susanna Cozza

Giovambattista Ianni

Ann. Math. Artif. Intell., 2007

2006

Decidable Fragments of Logic Programming with Value Invention.

[BibT_eX]

[DOI]

Francesco Calimeri

Susanna Cozza

Giovambattista Ianni

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Susanna Cozza

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...