Università della Calabria
Polaris Home Torna alla pagina precedente Aiuto su Polaris Suggerimenti e commenti
GIOVAMBATTISTA IANNI
Informazioni sull'utente  E-Mail  Home Page
   Pubblicazioni:
Elenco per anno di pubblicazione
Elenco per categoria di pubblicazione
Visualizza curriculum (in italiano)
Esporta pubblicazioni in formato Latex
Esporta pubblicazioni in formato PDF
Switch to english
 

 

 

 

Pubblicazioni

Articoli
Calimeri F. , Ianni G. , Ricca F. , " The third open Answer Set Programming competition". Theory and Practice of Logic Programming, 2014, Vol. 13, n. 2, pp. 253-278.
Calimeri F. , Ianni G. , Krennwallner T. , Ricca F. , " The Answer Set Programming Competition". AI Magazine, 2012, Vol. 33, n. 4, pp. 144-118.
Eiter T. , Ianni G. , Lukasiewicz T. , Schindlauer R. , " Well-founded semantics for description logic programs in the semantic web". ACM Transactions on Computational Logic, 2011, Vol. 12, n. 2, pp. 11:1-11:41.
Calimeri F. , Cozza S. , Ianni G. , Leone N. , " Finitely recursive programs: Decidability and bottom-up computation". AI Communications, 2011, Vol. 24, n. 4, pp. 311-334.
Alviano M. , Calimeri F. , Ianni G. , Faber W. , Leone N. , Nonmonotonic Reasoning at 30. Studies in Logic Vol. 31. Brewka G., Marek V., Truszczynski M. (a cura di), Cap. 1, " Function Symbols in ASP: Overview and Perspectives", : College Publications. 2011. pp. 1-24.
Ianni G. , Martello A. , Panetta C. , Terracina G. , " Efficiently querying RDF(S) ontologies with Answer Set Programming". Journal of Logic and Computation, 2009, Vol. 19, n. 4, pp. 671-695.
Drabent W. , Eiter T. , Ianni G. , Krennwallner T. , Maluszynski J. , Semantic Techniques for the Web, The REWERSE Perspective.. Cap. 1, " Hybrid Reasoning with Rules and Ontologies", : Springer Verlag. 2009. pp. 1-39.
Eiter T. , Ianni G. , Lukasiewicz T. , Schindlauer R. , Tompits H. , " Combining Answer Set Programming with Description Logics for the Semantic Web". Artificial Intelligence, 2008, Vol. 172, n. 12-13, pp. 1495-1539.
Eiter T. , Ianni G. , Krennwallner T. , Schindlauer R. , " Exploiting Conjunctive Queries in Description Logic Programs". Annals of Mathematics and Artificial Intelligence, 2008, Vol. 53, n. 1-4, pp. 115-152.
Calimeri F. , Cozza S. , Ianni G. , " External Sources of Knowledge and Value Invention in Logic Programming". Annals of Mathematics and Artificial Intelligence, NuovaSerie, 2007, Vol. 50, pp. 333-361.
Leone N. , Faber W. , Bria A. , Calimeri F. , Catalano G. , Cozza S. , Dell'Armi T. , Greco G. , Ianni G. , Ielpa G. , Maratea M. , Panetta C. , Perri S. , Ricca F. , Scarcello F. , Terracina G. , Pfeifer G. , Eiter T. , Gottlob G. , " DLV: An Advanced System for Knowledge Representation and Reasoning". In ALP Newsletter, Pontelli E. (a cura di), : Nessuna Casa Editrice, 2007, Vol. 20 (3/4), pp. ---.
Calimeri F. , Ianni G. , " Template Programs for Disjunctive Logic Programming: An Operational Semantics". AI Communications, 2006, Vol. 19, n. 3, pp. 193-206.
Eiter T. , Ianni G. , Polleres A. , Schindlauer R. , Tompits H. , " Reasoning with Rules and Ontologies". In Lecture Notes In Computer Science, : Springer Verlag, 2006, Vol. 4126, pp. 93-127.
Angiulli F. , Palopoli L. , Ianni G. , " On the complexity of inducing categorical and quantitative association rules". Theoretical computer science, 2004, Vol. 314, pp. 217-249.
Angiulli F. , Ben-eliyahu R. Z. , Ianni G. , Palopoli L. , " Computational Properties of Meta-querying problems". ACM Transactions on Computational Logic, 2003, Vol. 4, n. 2, pp. 149-180.
Ben-eliyahu R. Z. , Gudes E. , Ianni G. , " Metaqueries: Semantics, Complexity, and Efficient Algorithms". Artificial Intelligence, 2003, Vol. 149, n. 1, pp. 61-87.
Leone N. , Pfeifer G. , Faber W. , Calimeri F. , Dell'Armi T. , Eiter T. , Gottlob G. , Ianni G. , Ielpa G. , Koch C. , Perri S. , Polleres A. , Logics in Artificial Intelligence. Lecture Notes in Computer Science Vol. 2424. Cap. 50, " The DLV System", : Springer. 2002. pp. 537-540.
Ianni G. , " Intelligent Anticipated Exploration of Web Sites". AI Communications, 2002, Vol. 40, n. 4, pp. 285-314.
Cadoli M. , Ianni G. , Palopoli L. , Schaerf A. , Vasile D. , " NP-SPEC: an executable specification language for solving all problems in NP". Computer languages, 2000, Vol. 26, n. 2-4, pp. 165-195.
Atti di convegno
Cauteruccio F. , Ianni G. , " A Domain Meta-wrapper Using Seeds for Intelligent Author List Extraction in the Domain of Scholarly Articles". Atti del convegno "Theory and Practice of Digital Libraries (TPDL)", La Valletta, Malta, 2013, 2013, pp. -
Calimeri F. , Charwat G. , Dodaro C. , Dao-tran M. , Ianni G. , Krennwallner T. , Kronegger M. , Oetsch J. , Pfandler A. , Puerher J. , Redl C. , Ricca F. , Schneider P. , Schwengerer M. , Spendier L. , Wallner P. J. , Xiao G. , " The Fourth Answer Set Programming Competition: Preliminary Report". Atti del convegno "Logic Programming and Nonmonotonic Reasoning - 13th International Conference (LPNMR)", La Coruna, Spagna, 2013, 2013, pp. -
Charwat G. , Ianni G. , Krennwallner T. , Kronegger M. , Pfandler A. , Redl C. , Spendier L. , Schwengerer M. , Wallner P. J. , Xiao G. , " VCWC: A Versioning Competition Workflow Compiler". Atti del convegno "Logic Programming and Nonmonotonic Reasoning - 11th International Conference (LPNMR)", La Coruna, Spagna, 2013, 2013, pp. -
Fink M. , Germano S. , Ianni G. , Redl C. , Schueller P. , " ActHEX: Implementing HEX Programs with Action Atoms". Atti del convegno "LPNMR", La Coruna, Spagna, 2013, 2013, pp. -
Calimeri F. , Fink M. , Germano S. , Ianni G. , Wimmer A. , Redl C. , " AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases". Atti del convegno "Popularize Artificial Intelligence 2013 (PAI 2013), XIII Conference of the Italian Association for Artificial Intelligence, Turin (Italy)", Torino, 2013, 2013, pp. -
Calimeri F. , Ianni G. , Perri S. , Zangari J. , " The Eternal Battle between Determinism and Nondeterminism: preliminary Studies in the Sudoku Domain". Atti del convegno "RCRA", Roma, 2013, 2013, pp. -
Eiter T. , Fink M. , Ianni G. , Schueller P. , " Towards a Policy Language for Managing Inconsistency in Multi-Context Systems". Atti del convegno "2nd Workshop Log-IC11", Vancouver, CA, 2011, CEUR Workshop Proceedings:2011, Vol. 738, pp. 23-35.
Eiter T. , Fink M. , Ianni G. , Krennwallner T. , Schueller P. , " Pushing Efficient Evaluation of HEX Programs by Modular Decomposition". Atti del convegno "LPNMR-11", Vancouver, CA, 2011, Springer:2011, Vol. 6645, pp. 93-106.
Calimeri F. , Ianni G. , Ricca F. , Alviano M. , Bria A. , Catalano G. , Cozza S. , Faber W. , Febbraro O. , Leone N. , Manna M. , Martello A. , Panetta C. , Perri S. , Reale K. , Santoro M. C. , Sirianni M. , Terracina G. , Veltri P. , " The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track". Atti del convegno "LPNMR 2011", Vancouver, Canada, May 16-19, 2011, A cura di Delgrande J., Faber W., Springer:Berlin / Heidelberg, 2011, Vol. 6645, pp. 388-403.
Calimeri F. , Cozza S. , Ianni G. , Leone N. , " Enhancing ASP by Functions: Decidable Classes and Implementation Techniques". Atti del convegno "Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010)", Atlanta, Georgia, USA, 2010, 2010, pp. 1666-1670.
Selen B. , Ozan E. , Ianni G. , Fink M. , " HEX Programs with Action Atoms". Atti del convegno "ICLP", Edinburgh, UK, 2010, 2010, Vol. 7, pp. 24-33.
Calimeri F. , Cozza S. , Ianni G. , Leone N. , " Magic Sets for the Bottom-up Evaluation of Finitely Recursive Programs". Atti del convegno "10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", Potsdam, Germany, 14-18 Settembre, 2009, A cura di Erdem E., Fangzhen L., Schaub T., Springer Verlag:Heidelberg Germany, 2009, pp. 71-86.
Eiter T. , Brewka G. , Dao-tran M. , Fink M. , Ianni G. , Krennwallner T. , " Combining Nonmonotonic Knowledge Bases with External Sources". Atti del convegno "Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009", Trento, 2009, 2009, Vol. LNCS 5749, pp. -
Calimeri F. , Cozza S. , Ianni G. , Leone N. , " Bottom-up Evaluation of Finitely Recursive Queries". Atti del convegno "24-esimo Convegno Italiano di Logica Computazionale (CILC 2009)", Ferrara, Italy, 24-26 giugno, 2009, 2009, pp. -
Ianni G. , Krennwallner T. , Martello A. , Polleres A. , " Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes". Atti del convegno "8th International Semantic Web Conference, ISWC 2009", Washington (USA), 2009, 2009, pp. -
Calimeri F. , Cozza S. , Ianni G. , Leone N. , " An ASP System with Functions, Lists, and Sets". Atti del convegno "10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2009)", Potsdam, Germany, 2009, A cura di Schaub T., Fangzhen L., Erdem E., Springer Verlag:Heidelberg Germany, 2009, Vol. 5753, pp. 483-489.
Eiter T. , Ianni G. , Krennwallner T. , " Answer Set Programming: A Primer". Atti del convegno "Reasoning Web School 2009", Brixen (BZ), 2009, 2009, Vol. LNCS 5689, pp. -
Ianni G. , Krennwallner T. , Martello A. , Polleres A. , " A Rule System for Querying Persistent RDFS Data". Atti del convegno "ESWC", Heraklion, Grecia, 2009, 2009, Vol. LNCS 5554, pp. 857-862.
Alviano M. , Ianni G. , Martello A. , Marano M. , " Versatile semantic modeling of frame logic programs under answer set semantics". Atti del convegno "3rd Asian Semantic Web Conference (ASWC 2008)", Bangkok, Thailand, 2008, Springer:2008, Vol. 5367, pp. 106-121.
Calimeri F. , Cozza S. , Ianni G. , Leone N. , " Computable Functions in ASP: Theory and Implementation". Atti del convegno "ICLP’08", Udine, Italy, December 9–13, 2008, Springer-Verlag:2008, pp. 407-424.
Eiter T. , Ianni G. , Krennwallner T. , Schindlauer R. , " Exploiting Conjunctive Queries in Description Logic Programs". Atti del convegno "10th International Symposium on Artificial Intelligence and Mathematics (ISAIM2008)", Fort Lauderdale, Florida, 2008, 2008, pp. -
Ianni G. , Martello A. , Panetta C. , Terracina G. , " Faithful and effective querying of RDF ontologies using DLV-DB". Atti del convegno "Answer Set Programming: Advances in Theory and Implementation (ASP 2007)", Porto (Portogallo), 2007, 2007, pp. -
Eiter T. , Ianni G. , Krennwallner T. , Schindlauer R. , " Exploiting Conjunctive Queries in Description Logic Programs". Atti del convegno "International Workshop on Description Logics (DL 2007)", Brixen - Bressanone, 2007, 2007, pp. -
Calimeri F. , Ianni G. , Alviano M. , Martello A. , " Frame Logic under Answer Set Semantics". Atti del convegno "Convegno Italiano di Logica Computazionale (CILC)", S. Agata di Messina, Giugno, 2007, 2007, pp. -
Ianni G. , Martello A. , Panetta C. , Terracina G. , " Some experiments on the usage of a deductive database for RDFS querying and reasoning". Atti del convegno "Semantics Web Applications and perspective - SWAP 2007", Bari (Italia), 2007, 2007, pp. 212-221.
Eiter T. , Ianni G. , Tompits H. , Schindlauer R. , " DLV-HEX: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework". Atti del convegno "WLP 2006", Vienna, 2006, 2006, pp. -
Eiter T. , Ianni G. , Schindlauer R. , Tompits H. , Wang K. , " Forgetting in Managing Rules and Ontologies". Atti del convegno "International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services", Seattle, UK, 2006, 2006, pp. -
Calimeri F. , Cozza S. , Ianni G. , " Decidable Fragments Of Logic Programming With Value Invention". Atti del convegno "JELIA06: 10th European Conference on Logics in Artificial Intelligence", Liverpool, UK, 2006, 2006, Vol. 4160, pp. 95-110.
Greco G. , Ianni G. , Lio V. , Palopoli L. , " Protection Techniques from Information Extraction". Atti del convegno "IEEE / WIC / ACM International Conference on Web Intelligence (WI 2006)", Hong Kong, China, 2006, IEEE Computer Society:2006, pp. 1029-1033.
Eiter T. , Ianni G. , Schindlauer R. , Tompits H. , " Effective Integration of Declarative Rules with External Evaluations". Atti del convegno "ESWC 2006", Budva, Montenegro, 2006, Springer:2006, pp. 273-287.
Eiter T. , Ianni G. , Schindlauer R. , Tompits H. , " Towards Efficient Evaluation of HEX-Programs". Atti del convegno "NMR 2006", Lake District, UK, 2006, 2006, pp. -
Eiter T. , Ianni G. , Schindlauer R. , Tompits H. , " dlvhex: A Tool for Semantic-Web Reasoning under the Answer-Set Semantics". Atti del convegno "International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services", Seattle, UK, 2006, 2006, pp. -
Calimeri F. , Ianni G. , " Extending ASP by Value Invention". Atti del convegno "Giornata di Lavoro del gruppo RCRA-AIIA: Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale", Udine, 2006, 2006, pp. -
Eiter T. , Ianni G. , Schindlauer R. , Tompits H. , " Towards Efficient Evaluation of HEX-Programs". Atti del convegno "NMR'06 - Eleventh International Workshop on Non-Monotonic Reasoning", Lake District, UK, 2006, 2006, pp. 40-46.
Eiter T. , Ianni G. , Schindlauer R. , Tompits H. , " Integration of Multiple Semantics in an Answer Set Framework". Atti del convegno "Giornata di Lavoro del gruppo RCRA-AIIA: Analisi sperimentale e benchmark di algoritmi per l'Intelligenza Artificiale", Udine, 2006, 2006, pp. -
Calimeri F. , Ianni G. , " External sources of computation for Answer Set Solvers". Atti del convegno "LPNMR 2005", Diamante, Italia, 2005, 2005, pp. -
Ianni G. , Panetta C. , Ricca F. , " Specification of assessment-test criteria through ASP specifications". Atti del convegno "Answer Set Programming: Advances in Theory and Implementation", Bath, UK, 2005, 2005, pp. -
Leone N. , Eiter T. , Faber W. , Fink M. , Gottlob G. , Greco G. , Kalka E. , Ianni G. , Lembo D. , Lio V. , Nowicki B. , Rosati R. , Ruzzi M. , Staniszkis W. , Terracina G. , " Boosting Information Integration: The INFOMIX System". Atti del convegno "SEBD 2005", Brixen-Bressanone, Bolzano, Italy, 2005, 2005, pp. 55-66.
Eiter T. , Ianni G. , Tompits H. , Schindlauer R. , " Nonmonotonic Description Logic Programs: Implementation and Experiments". Atti del convegno "LPAR 2004", Montevideo, Uruguay, 2005, 2005, pp. -
Eiter T. , Ianni G. , Schindlauer R. , Tompits H. , " NLP-DL: A KR System for Coupling Nonmonotonic Logic Programs with Description Logics". Atti del convegno "ISWC 2005", Galway, Irlanda, 2005, 2005, pp. -
Eiter T. , Ianni G. , Schindlauer R. , Tompits H. , " DLV-HEX: Dealing with Semantic Web under Answer-Set Programming". Atti del convegno "ISWC 2005", Galway, Irlanda, 2005, 2005, pp. -
Leone N. , Greco G. , Ianni G. , Lio V. , Terracina G. , Eiter T. , Faber W. , Fink M. , Gottlob G. , Rosati R. , Lembo D. , Lenzerini M. , Ruzzi M. , Kalka E. , Nowicki B. , Staniszkis W. , " The INFOMIX System for Advanced Integration of Incomplete and Inconsistent Data". Atti del convegno "24th ACM SIGMOD International Conference on Management of Data (SIGMOD 2005)", Baltimore, Maryland, USA, 2005, ACM Press:2005, pp. 915-917.
Eiter T. , Ianni G. , Schindlauer R. , Tompits H. , " A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer Set Programming". Atti del convegno "International Joint Conference on Artificial Intelligence (IJCAI)", Edinburgh, UK, 2005, 2005, pp. -
Ianni G. , Ricca F. , " Specification of Assessment-Test Criteria through ASP". Atti del convegno "Answer Set Programming: Advances in Theory and Implementation", Bath, UK, 2005, 2005, pp. -
Leone N. , Eiter T. , Faber W. , Fink M. , Gottlob G. , Greco G. , Kalka E. , Ianni G. , Lembo D. , Lenzerini M. , Lio V. , Nowicki B. , Rosati R. , Ruzzi M. , Staniskzis W. , Terracina G. , Granata L. , " Data Integration: a Challenging ASP Application". Atti del convegno "8th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2005)", Diamante, Cosenza, Italy, September 5-8, 2005, Springer:2005, Vol. 3662, pp. 379-383.
Ianni G. , Ricca F. , " Specification of assessment-test criteria through logic programming". Atti del convegno "Conferenza italiana sui sistemi intelligenti (CISI-04)", Perugia, 2004, 2004, pp. 72-72.
Ianni G. , Calimeri F. , Ielpa G. , Pietramala A. , Santoro M. C. , " A System With Template Answer Set Programs". Atti del convegno "Ninth European Conference on Logics in Artificial Intelligence", Lisbon, 2004, 2004, Vol. 3229, pp. 693-697.
Calimeri F. , Ianni G. , Ielpa G. , Pietramala A. , Santoro M. C. , " A System with Template Answer Set Programs". Atti del convegno "JELIA 2004", Lisbona (Portogallo), Settembre, 2004, A cura di Alferes J. J., Leite J. A., Springer Verlag:GmbH Tiergartenstrasse 17, 69121, Heidelberg, Germany, 2004, Vol. 3229, pp. 693-697.
Ianni G. , Ielpa G. , Pietramala A. , Santoro M. C. , Calimeri F. , " Enhancing Answer Set Programming with Templates". Atti del convegno "10th International Workshop on Non-Monotonic Reasoning NMR2004", Whistler, Canada, Giugno, 2004, 2004, pp. -
Ianni G. , Calimeri F. , Ricca F. , Lio V. , Galizia S. , " An agent system reasoning about the web and the user". Atti del convegno "World Wide Web Conference, poster session", New York City, U.S.A., 17-22/05, 2004, 2004, pp. 492-493.
Ianni G. , Ielpa G. , Pietramala A. , Santoro M. C. , " Answer Set Programming with Templates". Atti del convegno "Answer Set Programming: Advances in Theory and Implementation", Messina, 2003, A cura di 2003, pp. -
Ianni G. , Calimeri F. , Lio V. , Galizia S. , Bonfa' A. , " Reasoning about the Semantic Web using Answer Set Programming". Atti del convegno "APPIA-GULP-PRODE 2003. Joint Conference on Declarative Programming", Reggio Calabria, 2003, A cura di Buccafurri F., 2003, pp. 324-336.
Angiulli F. , Ianni G. , Palopoli L. , " On the Complexity of Mining Association Rules". Atti del convegno "Sistemi Evoluti di Basi di Dati", Venezia, 27-29 Giugno, 2001, pp. 177-184.
Ianni G. , Castellucci A. , Vasile D. , Costa S. , " Surfing and searching the web using a semi-adaptive meta-engine". Atti del convegno "IEEE International Conference on Information Technology: Coding and Computing (ITCC)", Las Vegas. USA, 2-4 Aprile, 2001, 2001, pp. 416-420.
Angiulli F. , Ianni G. , Palopoli L. , " Metaquerying: proprieta' e tecniche di implementazione". Atti del convegno "Sistemi Evoluti di Basi di Dati", L'Aquila, 2000, pp. 317-330.
Angiulli F. , Ben-eliyahu R. Z. , Ianni G. , Palopoli L. , " Computational Properties of metaquerying problems". Atti del convegno "ACM Symposium on Principle of Database Systems", Dallas (TX), 2000, pp. 237-244.
Castellucci A. , Ianni G. , Vasile D. , " Global Search Agent: the experience of a web meta-engine integrated with autonomous and adaptive capabilities". Atti del convegno "Settimo convegno AI*IA (Associazione Italiana per L'Intelligenza Artificiale)", Milano, 13-15 Settembre, 2000, 2000, pp. -
Ianni G. , Palopoli L. , Vasile D. , Ursino D. , " Un tool di ausilio alla progettazione di datawarehouse". Atti del convegno "Congresso nazionale dell'AICA", Padova, 1999, pp. -
Volume intero in qualità di curatore o co-autore
A cura di Flesca S. G. , Greco S. , Ianni G. , Leone N. , Logics in Artificial Intelligence (JELIA), LNAI Vol. 2424, : Springer Verlag, 2002.
Altro
Marano M. , Ianni G. , Ricca F. , " Magic Set Implementation for Disjunctive Logic Programming with Function Symbols". Contributo a Convegno Italiano di Logica Computazionale CILC-09, Ferrara, Italia, 24-26 Giugno 2009.
Calimeri F. , Ianni G. , Pietramala A. , Santoro M. C. , Parametric External Predicates for the DLV System. , 2004, Progetto di riferimento: DLV