Giovambattista Ianni

	2011
59		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: The Third Answer Set Programming Competition: Preliminary Report of the System Competition Track. LPNMR 2011: 388-403
58		Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller: Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. LPNMR 2011: 93-106
57		Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer: Well-founded semantics for description logic programs in the semantic web. ACM Trans. Comput. Log. 12(2): 11 (2011)
56		Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: Finitely recursive programs: Decidability and bottom-up computation. AI Commun. 24(4): 311-334 (2011)
	2010
55		Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. AAAI 2010
54		Selen Basol, Ozan Erdem, Michael Fink, Giovambattista Ianni: HEX Programs with Action Atoms. ICLP (Technical Communications) 2010: 24-33
	2009
53		Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres: A Rule System for Querying Persistent RDFS Data. ESWC 2009: 857-862
52		Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner: Combining Nonmonotonic Knowledge Bases with External Sources. FroCos 2009: 18-42
51		Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres: Dynamic Querying of Mass-Storage RDF Data with Rule-Based Entailment Regimes. International Semantic Web Conference 2009: 310-327
50		Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: An ASP System with Functions, Lists, and Sets. LPNMR 2009: 483-489
49		Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. LPNMR 2009: 71-86
48		Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner: Answer Set Programming: A Primer. Reasoning Web 2009: 40-110
47		Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski: Hybrid Reasoning with Rules and Ontologies. REWERSE 2009: 1-49
46		Giovambattista Ianni, Alessandra Martello, Claudio Panetta, Giorgio Terracina: Efficiently Querying RDF(S) Ontologies with Answer Set Programming. J. Log. Comput. 19(4): 671-695 (2009)
	2008
45		Mario Alviano, Giovambattista Ianni, Marco Marano, Alessandra Martello: Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics. ASWC 2008: 106-121
44		Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: Computable Functions in ASP: Theory and Implementation. ICLP 2008: 407-424
43		Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni: Exploiting Conjunctive Queries in Description Logic Programs. ISAIM 2008
42		Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres: Rules and Ontologies for the Semantic Web. Reasoning Web 2008: 1-53
41		Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer: Exploiting conjunctive queries in description logic programs. Ann. Math. Artif. Intell. 53(1-4): 115-152 (2008)
40		Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits: Combining answer set programming with description logics for the Semantic Web. Artif. Intell. 172(12-13): 1495-1539 (2008)
	2007
39		Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer: Exploiting Conjunctive Queries in Description Logic Programs. Description Logics 2007
38		Giovambattista Ianni, Alessandra Martello, Claudio Panetta, Giorgio Terracina: Some Experiments on the Usage of a Deductive Database for RDFS Querying and Reasoning. SWAP 2007
37		Francesco Calimeri, Susanna Cozza, Giovambattista Ianni: External sources of knowledge and value invention in logic programming. Ann. Math. Artif. Intell. 50(3-4): 333-361 (2007)
	2006
36		Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits: Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. ESWC 2006: 273-287
35		Francesco Calimeri, Susanna Cozza, Giovambattista Ianni: Decidable Fragments of Logic Programming with Value Invention. JELIA 2006: 95-110
34		Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, Hans Tompits: Reasoning with Rules and Ontologies. Reasoning Web 2006: 93-127
33		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
32		Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Luigi Palopoli: Protection Techniques from Information Extraction. Web Intelligence 2006: 1029-1033
31		Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits: dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics. Web Intelligence 2006: 1073-1074
30		Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, Kewen Wang: Forgetting in Managing Rules and Ontologies. Web Intelligence 2006: 411-419
29		Francesco Calimeri, Giovambattista Ianni: Template programs for Disjunctive Logic Programming: An operational semantics. AI Commun. 19(3): 193-206 (2006)
	2005
28		Giovambattista Ianni, Claudio Panetta, Francesco Ricca: Specification of Assessment-test Criteria through ASP Specifications. Answer Set Programming 2005
27		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
26		Francesco Calimeri, Giovambattista Ianni: External Sources of Computation for Answer Set Solvers. LPNMR 2005: 105-118
25		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
24		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
	2004
23		Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro: A System with Template Answer Set Programs. JELIA 2004: 693-697
22		Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits: Nonmonotonic Description Logic Programs: Implementation and Experiments. LPAR 2004: 511-527
21		Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri: Enhancing answer set programming with templates. NMR 2004: 233-239
20		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
19		Giovambattista Ianni, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro: Parametric external predicates for the DLV System CoRR cs.AI/0404011: (2004)
18		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)
	2003
17		Giovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia: Reasoning about the Semantic Web using Answer Set Programming. APPIA-GULP-PRODE 2003: 324-336
16		Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro: Answer Set Programming with Templates. Answer Set Programming 2003
15		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli: Computational properties of metaquerying problems. ACM Trans. Comput. Log. 4(2): 149-180 (2003)
14		Rachel Ben-Eliyahu-Zohary, Ehud Gudes, Giovambattista Ianni: Metaqueries: Semantics, complexity, and efficient algorithms. Artif. Intell. 149(1): 61-87 (2003)
	2002
13		Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni: Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings Springer 2002
12		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
	2001
11		A. Castellucci, Giovambattista Ianni, Domenico Vasile, S. Costa: Searching and Surfing the Web Using a Semi-Adaptive Meta-Engine. ITCC 2001: 416-420
10		Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli: On the Complexity of Mining Association Rules. SEBD 2001: 177-184
9		Giovambattista Ianni: Intelligent anticipated exploration of Web sites. AI Commun. 14(4): 197-214 (2001)
8		Giovambattista Ianni: Intelligent Anticipated Exploration of Web Sites CoRR cs.AI/0111012: (2001)
7		Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli: On the complexity of inducing categorical and quantitative association rules CoRR cs.CC/0111009: (2001)
6		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli: Computational Properties of Metaquerying Problems CoRR cs.DB/0106012: (2001)
5		Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello: Abduction with Penalization in Logic Programming CoRR cs.LO/0111010: (2001)
4		Giovambattista Ianni: Sintesi di algoritmi con SKY CoRR cs.LO/0111011: (2001)
	2000
3		Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli: Computational Properties of Metaquerying Problems. PODS 2000: 237-244
2		Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli: Metaquerying: proprietà e tecniche di implementazione. SEBD 2000: 317-330
1		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)

Coauthor Index

1	Mario Alviano	[45] [59]
2	Fabrizio Angiulli	[2] [3] [6] [7] [10] [15] [18]
3	Selen Basol	[54]
4	Rachel Ben-Eliyahu-Zohary (Rachel Ben-Eliyahu)	[3] [6] [14] [15]
5	Gerhard Brewka	[52]
6	Annamaria Bria	[59]
7	Marco Cadoli	[1]
8	Francesco Calimeri	[12] [17] [19] [20] [21] [23] [26] [29] [35] [37] [44] [49] [50] [55] [56] [59]
9	A. Castellucci	[11]
10	Gelsomina Catalano	[59]
11	S. Costa	[11]
12	Susanna Cozza	[35] [37] [44] [49] [50] [55] [56] [59]
13	Minh Dao-Tran	[52]
14	Tina Dell'Armi	[12]
15	Wlodzimierz Drabent (Wlodek Drabent)	[47]
16	Thomas Eiter	[12] [22] [24] [25] [27] [30] [31] [33] [34] [36] [39] [40] [41] [42] [43] [47] [48] [52] [57] [58]
17	Ozan Erdem	[54]
18	Wolfgang Faber	[12] [24] [25] [59]
19	Onofrio Febbraro	[59]
20	Michael Fink	[24] [25] [52] [54] [58]
21	Sergio Flesca	[13]
22	Stefania Galizia	[17] [20]
23	Georg Gottlob	[12] [24] [25]
24	Luigi Granata	[25]
25	Gianluigi Greco	[24] [25] [32]
26	Sergio Greco	[13]
27	Ehud Gudes	[14]
28	Giuseppe Ielpa	[12] [16] [21] [23]
29	Edyta Kalka	[24] [25]
30	Christoph Koch	[12]
31	Thomas Krennwallner	[39] [41] [42] [43] [47] [48] [51] [52] [53] [58]
32	Domenico Lembo	[24] [25]
33	Maurizio Lenzerini	[24] [25]
34	Nicola Leone	[5] [12] [13] [24] [25] [44] [49] [50] [55] [56] [59]
35	Vincenzino Lio	[17] [20] [24] [25] [32]
36	Thomas Lukasiewicz	[40] [47] [57]
37	Jan Maluszynski	[47]
38	Marco Manna	[59]
39	Marco Marano	[45]
40	Alessandra Martello	[38] [45] [46] [51] [53] [59]
41	Bartosz Nowicki	[24] [25]
42	Luigi Palopoli	[1] [2] [3] [6] [7] [10] [15] [18] [32]
43	Claudio Panetta	[28] [38] [46] [59]
44	Simona Perri	[5] [12] [59]
45	Gerald Pfeifer	[12]
46	Adriana Pietramala	[16] [19] [21] [23]
47	Axel Polleres	[12] [34] [42] [51] [53]
48	Kristian Reale	[59]
49	Francesco Ricca	[20] [28] [59]
50	Riccardo Rosati	[24] [25]
51	Marco Ruzzi	[24] [25]
52	Maria Carmela Santoro	[16] [19] [21] [23] [59]
53	Francesco Scarcello	[5]
54	Andrea Schaerf	[1]
55	Roman Schindlauer	[22] [27] [30] [31] [33] [34] [36] [39] [40] [41] [43] [57]
56	Peter Schüller	[58]
57	Marco Sirianni	[59]
58	Witold Staniszkis	[24] [25]
59	Giorgio Terracina	[24] [25] [38] [46] [59]
60	Hans Tompits	[22] [27] [30] [31] [33] [34] [36] [40]
61	Domenico Vasile	[1] [11]
62	Pierfrancesco Veltri	[59]
63	Kewen Wang	[30]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page