Search

Your search keyword '"Terracina, Giorgio"' showing total 17 results
Start Over Author "Terracina, Giorgio" Topic logic programming
17 results on '"Terracina, Giorgio"'

1. An ASP-Based Data Integration System

Author

Leone, Nicola, Ricca, Francesco, Terracina, Giorgio, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Goebel, Randy, editor, Siekmann, Jörg, editor, Wahlster, Wolfgang, editor, Erdem, Esra, editor, Lin, Fangzhen, editor, and Schaub, Torsten, editor

Published
2009
Full Text
View/download PDF

4. Taming primary key violations to query large inconsistent data via ASP.

Author

MANNA, MARCO, RICCA, FRANCESCO, TERRACINA, GIORGIO, Eiter, Thomas, and Toni, Francesca

Subjects
SET theory, LOGIC programming, BIG data, POLYNOMIAL time algorithms, DATABASES, MATHEMATICAL decomposition
Abstract

Consistent query answering over a database that violates primary key constraints is a classical hard problem in database research that has been traditionally dealt with logic programming. However, the applicability of existing logic-based solutions is restricted to data sets of moderate size. This paper presents a novel decomposition and pruning strategy that reduces, in polynomial time, the problem of computing the consistent answer to a conjunctive query over a database subject to primary key constraints to a collection of smaller problems of the same sort that can be solved independently. The new strategy is naturally modeled and implemented using Answer Set Programming (ASP). An experiment run on benchmarks from the database world prove the effectiveness and efficiency of our ASP-based approach also on large data sets. [ABSTRACT FROM AUTHOR]

Published
2015
Full Text
View/download PDF

5. Efficiently Querying RDF(S) Ontologies with Answer Set Programming.

Author

IANNI, GIOVAMBATTISTA, MARTELLO, ALESSANDRA, PANETTA, CLAUDIO, and TERRACINA, GIORGIO

Subjects
QUERYING (Computer science), LOGIC programming, QUERY languages (Computer science), DATABASES, SEMANTIC Web
Abstract

Ontologies are pervading many areas of knowledge representation and management. To date, most research efforts have been spent on the development of sufficiently expressive languages for the representation and querying of ontologies; however, querying efficiency has received attention only recently, especially for ontologies referring to large amounts of data. In fact, it is still uncertain how reasoning tasks will scale when applied on massive amounts of data. This work is a first step toward this setting: it first shows that Resource Description Framework(Schema) [RDF(S)] ontologies can be expressed, without loss of semantics, into Answer Set Programming (ASP). Then, based on a previous result showing that the SPARQL query language (a candidate W3C recommendation for RDF(S) ontologies) can be mapped to a rule-based language, it shows that efficient querying of big ontologies can be accomplished with a database oriented extension of the well known ASP system DLV, which we recently developed. Results reported in the article show that our proposed framework is promising for the improvement of both scalability and expressiveness of available RDF(S) storage and query systems. [ABSTRACT FROM AUTHOR]

Published
2009
Full Text
View/download PDF

6. Revisiting the Semantics of Interval Probabilistic Logic Programs

Author

Dekhtyar, Alex, Dekhtyar, Michael I., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baral, Chitta, editor, Greco, Gianluigi, editor, Leone, Nicola, editor, and Terracina, Giorgio, editor

Published
2005
Full Text
View/download PDF

7. The Well Supported Semantics for Multidimensional Dynamic Logic Programs

Author

Banti, F., Alferes, J. J., Brogi, A., Hitzler, P., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baral, Chitta, editor, Greco, Gianluigi, editor, Leone, Nicola, editor, and Terracina, Giorgio, editor

Published
2005
Full Text
View/download PDF

8. Routley Semantics for Answer Sets

Author

Odintsov, Sergei, Pearce, David, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baral, Chitta, editor, Greco, Gianluigi, editor, Leone, Nicola, editor, and Terracina, Giorgio, editor

Published
2005
Full Text
View/download PDF

9. An Algebraic Account of Modularity in ID-Logic

Author

Vennekens, Joost, Denecker, Marc, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baral, Chitta, editor, Greco, Gianluigi, editor, Leone, Nicola, editor, and Terracina, Giorgio, editor

Published
2005
Full Text
View/download PDF

10. A Social Semantics for Multi-agent Systems

Author

Buccafurri, Francesco, Caminiti, Gianluca, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baral, Chitta, editor, Greco, Gianluigi, editor, Leone, Nicola, editor, and Terracina, Giorgio, editor

Published
2005
Full Text
View/download PDF

11. An Approximation of Action Theories of and Its Application to Conformant Planning

Author

Son, Tran Cao, Tu, Phan Huy, Gelfond, Michael, Morales, A. Ricardo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baral, Chitta, editor, Greco, Gianluigi, editor, Leone, Nicola, editor, and Terracina, Giorgio, editor

Published
2005
Full Text
View/download PDF

12. Nested Epistemic Logic Programs

Author

Wang, Kewen, Zhang, Yan, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baral, Chitta, editor, Greco, Gianluigi, editor, Leone, Nicola, editor, and Terracina, Giorgio, editor

Published
2005
Full Text
View/download PDF

13. Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming

Author

Chesñevar, Carlos I., Simari, Guillermo R., Godo, Lluis, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baral, Chitta, editor, Greco, Gianluigi, editor, Leone, Nicola, editor, and Terracina, Giorgio, editor

Published
2005
Full Text
View/download PDF

14. An ID-Logic Formalization of the Composition of Autonomous Databases

Author

Van Nuffelen, Bert, Arieli, Ofer, Cortés-Calabuig, Alvaro, Bruynooghe, Maurice, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baral, Chitta, editor, Greco, Gianluigi, editor, Leone, Nicola, editor, and Terracina, Giorgio, editor

Published
2005
Full Text
View/download PDF

15. On Modular Translations and Strong Equivalence

Author

Ferraris, Paolo, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baral, Chitta, editor, Greco, Gianluigi, editor, Leone, Nicola, editor, and Terracina, Giorgio, editor

Published
2005
Full Text
View/download PDF

16. Nonmonotonic Reasoning in FLORA-2

Author

Kifer, Michael, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baral, Chitta, editor, Greco, Gianluigi, editor, Leone, Nicola, editor, and Terracina, Giorgio, editor

Published
2005
Full Text
View/download PDF

17. Data Integration and Answer Set Programming

Author

Eiter, Thomas, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Carbonell, Jaime G., editor, Siekmann, Jörg, editor, Baral, Chitta, editor, Greco, Gianluigi, editor, Leone, Nicola, editor, and Terracina, Giorgio, editor

Published
2005
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results