2009 | ||
---|---|---|
51 | Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres: A Rule System for Querying Persistent RDFS Data. ESWC 2009: 857-862 | |
50 | Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner: Combining Nonmonotonic Knowledge Bases with External Sources. FroCos 2009: 18-42 | |
49 | 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 | |
48 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: An ASP System with Functions, Lists, and Sets. LPNMR 2009: 483-489 | |
47 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. LPNMR 2009: 71-86 | |
46 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner: Answer Set Programming: A Primer. Reasoning Web 2009: 40-110 | |
45 | Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski: Hybrid Reasoning with Rules and Ontologies. REWERSE 2009: 1-49 | |
2008 | ||
44 | Mario Alviano, Giovambattista Ianni, Marco Marano, Alessandra Martello: Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics. ASWC 2008: 106-121 | |
43 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone: Computable Functions in ASP: Theory and Implementation. ICLP 2008: 407-424 | |
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) |