| |
 |      |
                                               |
Note: Links lead to the DBLP on the Web. Giovambattista Ianni Thomas Eiter , Giovambattista Ianni, Roman Schindlauer , Hans Tompits : Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. ESWC 2006 : 273-287 Thomas Eiter , Giovambattista Ianni, Roman Schindlauer , Hans Tompits : dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. WLP 2006 : 206-210 Giovambattista Ianni, Claudio Panetta , Francesco Ricca : Specification of Assessment-test Criteria through ASP Specifications. Answer Set Programming 2005 Thomas Eiter , Giovambattista Ianni, Roman Schindlauer , Hans Tompits : A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. IJCAI 2005 : 90-96 Francesco Calimeri , Giovambattista Ianni: External Sources of Computation for Answer Set Solvers. LPNMR 2005 : 105-118 Nicola Leone , Thomas Eiter , Wolfgang Faber , Michael Fink , Georg Gottlob , Luigi Granata , Gianluigi Greco , Edyta Kalka , Giovambattista Ianni, Domenico Lembo , Maurizio Lenzerini , Vincenzino Lio , Bartosz Nowicki , Riccardo Rosati , Marco Ruzzi , Witold Staniszkis , Giorgio Terracina : Data Integration: a Challenging ASP Application. LPNMR 2005 : 379-383 Nicola Leone , Gianluigi Greco , Giovambattista Ianni, Vincenzino Lio , Giorgio Terracina , Thomas Eiter , Wolfgang Faber , Michael Fink , Georg Gottlob , Riccardo Rosati , Domenico Lembo , Maurizio Lenzerini , Marco Ruzzi , Edyta Kalka , Bartosz Nowicki , Witold Staniszkis : The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference 2005 : 915-917 Francesco Calimeri , Giovambattista Ianni, Giuseppe Ielpa , Adriana Pietramala , Maria Carmela Santoro : A System with Template Answer Set Programs. JELIA 2004 : 693-697 Thomas Eiter , Giovambattista Ianni, Roman Schindlauer , Hans Tompits : Nonmonotonic Description Logic Programs: Implementation and Experiments. LPAR 2004 : 511-527 Giovambattista Ianni, Giuseppe Ielpa , Adriana Pietramala , Maria Carmela Santoro , Francesco Calimeri : Enhancing answer set programming with templates. NMR 2004 : 233-239 Giovambattista Ianni, Francesco Ricca , Francesco Calimeri , Vincenzino Lio , Stefania Galizia : An agent system reasoning about the web and the user. WWW (Alternate Track Papers & Posters) 2004 : 492-493 Giovambattista Ianni, Francesco Calimeri , Adriana Pietramala , Maria Carmela Santoro : Parametric external predicates for the DLV System CoRR cs.AI/0404011 : (2004) Fabrizio Angiulli , Giovambattista Ianni, Luigi Palopoli : On the complexity of inducing categorical and quantitative association rules. Theor. Comput. Sci. 314 (1-2): 217-249 (2004) Giovambattista Ianni, Francesco Calimeri , Vincenzino Lio , Stefania Galizia : Reasoning about the Semantic Web using Answer Set Programming. APPIA-GULP-PRODE 2003 : 324-336 Giovambattista Ianni, Giuseppe Ielpa , Adriana Pietramala , Maria Carmela Santoro : Answer Set Programming with Templates. Answer Set Programming 2003 Fabrizio Angiulli , Rachel Ben-Eliyahu-Zohary , Giovambattista Ianni, Luigi Palopoli : Computational properties of metaquerying problems. ACM Trans. Comput. Log. 4 (2): 149-180 (2003) Rachel Ben-Eliyahu-Zohary , Ehud Gudes , Giovambattista Ianni: Metaqueries: Semantics, complexity, and efficient algorithms. Artif. Intell. 149 (1): 61-87 (2003) Sergio Flesca , Sergio Greco , Nicola Leone , Giovambattista Ianni: Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings Springer 2002 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 : The DLV System. JELIA 2002 : 537-540 A. Castellucci , Giovambattista Ianni, Domenico Vasile , S. Costa : Searching and Surfing the Web Using a Semi-Adaptive Meta-Engine. ITCC 2001 : 416-420 Fabrizio Angiulli , Giovambattista Ianni, Luigi Palopoli : On the Complexity of Mining Association Rules. SEBD 2001 : 177-184 Giovambattista Ianni: Intelligent anticipated exploration of Web sites. AI Commun. 14 (4): 197-214 (2001) Giovambattista Ianni: Intelligent Anticipated Exploration of Web Sites CoRR cs.AI/0111012 : (2001) Fabrizio Angiulli , Giovambattista Ianni, Luigi Palopoli : On the complexity of inducing categorical and quantitative association rules CoRR cs.CC/0111009 : (2001) Fabrizio Angiulli , Rachel Ben-Eliyahu-Zohary , Giovambattista Ianni, Luigi Palopoli : Computational Properties of Metaquerying Problems CoRR cs.DB/0106012 : (2001) Giovambattista Ianni, Nicola Leone , Simona Perri , Francesco Scarcello : Abduction with Penalization in Logic Programming CoRR cs.LO/0111010 : (2001) Giovambattista Ianni: Sintesi di algoritmi con SKY CoRR cs.LO/0111011 : (2001) Fabrizio Angiulli , Rachel Ben-Eliyahu-Zohary , Giovambattista Ianni, Luigi Palopoli : Computational Properties of Metaquerying Problems. PODS 2000 : 237-244 Fabrizio Angiulli , Giovambattista Ianni, Luigi Palopoli : Metaquerying: proprietà e tecniche di implementazione. SEBD 2000 : 317-330 Marco Cadoli , Giovambattista Ianni, Luigi Palopoli , Andrea Schaerf , Domenico Vasile : NP-SPEC: an executable specification language for solving all problems in NP. Comput. Lang. 26 (2-4): 165-195 (2000) 1 [ 2 ] [ 3 ] [ 6 ] [ 7 ] [ 10 ] [ 15 ] [ 18 ] 2 [ 3 ] [ 6 ] [ 14 ] [ 15 ] 3 [ 1 ] 4 [ 12 ] [ 17 ] [ 19 ] [ 20 ] [ 21 ] [ 23 ] [ 26 ] 5 [ 11 ] 6 [ 11 ] 7 [ 12 ] 8 [ 12 ] [ 22 ] [ 24 ] [ 25 ] [ 27 ] [ 29 ] [ 30 ] 9 [ 12 ] [ 24 ] [ 25 ] 10 [ 24 ] [ 25 ] 11 [ 13 ] 12 [ 17 ] [ 20 ] 13 [ 12 ] [ 24 ] [ 25 ] 14 [ 25 ] 15 [ 24 ] [ 25 ] 16 [ 13 ] 17 [ 14 ] 18 [ 12 ] [ 16 ] [ 21 ] [ 23 ] 19 [ 24 ] [ 25 ] 20 [ 12 ] 21 [ 24 ] [ 25 ] 22 [ 24 ] [ 25 ] 23 [ 5 ] [ 12 ] [ 13 ] [ 24 ] [ 25 ] 24 [ 17 ] [ 20 ] [ 24 ] [ 25 ] 25 [ 24 ] [ 25 ] 26 [ 1 ] [ 2 ] [ 3 ] [ 6 ] [ 7 ] [ 10 ] [ 15 ] [ 18 ] 27 [ 28 ] 28 [ 5 ] [ 12 ] 29 [ 12 ] 30 [ 16 ] [ 19 ] [ 21 ] [ 23 ] 31 [ 12 ] 32 [ 20 ] [ 28 ] 33 [ 24 ] [ 25 ] 34 [ 24 ] [ 25 ] 35 [ 16 ] [ 19 ] [ 21 ] [ 23 ] 36 [ 5 ] 37 [ 1 ] 38 [ 22 ] [ 27 ] [ 29 ] [ 30 ] 39 [ 24 ] [ 25 ] 40 [ 24 ] [ 25 ] 41 [ 22 ] [ 27 ] [ 29 ] [ 30 ] 42 [ 1 ] [ 11 ]  ©2006 Association for Computing Machinery |
