Tina Dell'Armi

According to our database, Tina Dell'Armi authored at least 9 papers between 2001 and 2009.

Collaborative distances:

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

2009

OntoDLV: An ASP-based System for Enterprise Ontologies.

Francesco Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell'Armi, Giovanni Grasso, Nicola Leone

J. Log. Comput., 2009

2008

Design and implementation of aggregate functions in the DLV system.

Wolfgang Faber, Gerald Pfeifer, Nicola Leone, Tina Dell'Armi, Giuseppe Ielpa

Theory Pract. Log. Program., 2008

2006

Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features.

Andrea Gualtieri, Tina Dell'Armi, Nicola Leone

Proceedings of the Business Process Management Workshops, 2006

2005

A DLP System with Object-Oriented Features.

Francesco Ricca, Nicola Leone, Valerio De Bonis, Tina Dell'Armi, Stefania Galizia, Giovanni Grasso

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

2004

System Description: DLV with Aggregates.

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Simona Perri, Gerald Pfeifer

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

2003

Aggregate Functions in Disjunctive Logic Programming: Semantics, Complexity, and Implementation in DLV.

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer

Proceedings of the IJCAI-03, 2003

Aggregate Functions in DLV.

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Nicola Leone, Gerald Pfeifer

Proceedings of the Answer Set Programming, 2003

2002

The DLV System.

Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

System Description: DLV.

Tina Dell'Armi, Wolfgang Faber, Giuseppe Ielpa, Christoph Koch, Nicola Leone, Simona Perri, Gerald Pfeifer

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001