Annamaria Bria

According to our database, Annamaria Bria authored at least 3 papers between 2009 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

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

Francesco Calimeri, Giovambattista Ianni, Francesco Ricca, Mario Alviano, Annamaria Bria, Gelsomina Catalano, Susanna Cozza, Wolfgang Faber, Onofrio Febbraro, Nicola Leone, Marco Manna, Alessandra Martello, Claudio Panetta, Simona Perri, Kristian Reale, Maria Carmela Santoro, Marco Sirianni, Giorgio Terracina, Pierfrancesco Veltri

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

2009

Normal Form Nested Programs.

Annamaria Bria, Wolfgang Faber, Nicola Leone

Fundam. Informaticae, 2009

nfn2dlp and nfnsolve: Normal Form Nested Programs Compiler and Solver.

Annamaria Bria, Wolfgang Faber, Nicola Leone

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009