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