|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 7 keywords
|
|
|
|
|
Results
Found 59 publication records. Showing 59 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
Finitely recursive programs: Decidability and bottom-up computation.  |
AI Commun.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer |
Well-founded semantics for description logic programs in the semantic web. |
ACM Trans. Comput. Log. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Michael Fink, Giovambattista Ianni, Thomas Krennwallner, Peter Schüller |
Pushing Efficient Evaluation of HEX Programs by Modular Decomposition. |
LPNMR |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Selen Basol, Ozan Erdem, Michael Fink, Giovambattista Ianni |
HEX Programs with Action Atoms. |
ICLP (Technical Communications) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
Enhancing ASP by Functions: Decidable Classes and Implementation Techniques. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Giovambattista Ianni, Alessandra Martello, Claudio Panetta, Giorgio Terracina |
Efficiently Querying RDF(S) Ontologies with Answer Set Programming. |
J. Log. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Wlodzimierz Drabent, Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Thomas Lukasiewicz, Jan Maluszynski |
Hybrid Reasoning with Rules and Ontologies. |
REWERSE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovambattista Ianni, Thomas Krennwallner, Alessandra Martello, Axel Polleres |
A Rule System for Querying Persistent RDFS Data. |
ESWC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Gerhard Brewka, Minh Dao-Tran, Michael Fink, Giovambattista Ianni, Thomas Krennwallner |
Combining Nonmonotonic Knowledge Bases with External Sources. |
FroCos |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
An ASP System with Functions, Lists, and Sets. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner |
Answer Set Programming: A Primer. |
Reasoning Web |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits |
Combining answer set programming with description logics for the Semantic Web. |
Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer |
Exploiting conjunctive queries in description logic programs. |
Ann. Math. Artif. Intell. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T35, 68T30 |
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni, Nicola Leone |
Computable Functions in ASP: Theory and Implementation. |
ICLP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Giovambattista Ianni, Marco Marano, Alessandra Martello |
Versatile Semantic Modeling of Frame Logic Programs under Answer Set Semantics. |
ASWC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Thomas Krennwallner, Roman Schindlauer, Giovambattista Ianni |
Exploiting Conjunctive Queries in Description Logic Programs. |
ISAIM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Axel Polleres |
Rules and Ontologies for the Semantic Web. |
Reasoning Web |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni |
External sources of knowledge and value invention in logic programming. |
Ann. Math. Artif. Intell. |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 68T30 |
| 1 | Thomas Eiter, Giovambattista Ianni, Thomas Krennwallner, Roman Schindlauer |
Exploiting Conjunctive Queries in Description Logic Programs. |
Description Logics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Giovambattista Ianni, Alessandra Martello, Claudio Panetta, Giorgio Terracina |
Some Experiments on the Usage of a Deductive Database for RDFS Querying and Reasoning. |
SWAP |
2007 |
DBLP BibTeX RDF |
|
| 1 | Francesco Calimeri, Giovambattista Ianni |
Template programs for Disjunctive Logic Programming: An operational semantics. |
AI Commun. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits |
Effective Integration of Declarative Rules with External Evaluations for Semantic-Web Reasoning. |
ESWC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits, Kewen Wang |
Forgetting in Managing Rules and Ontologies. |
Web Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits |
dlvhex: A Prover for Semantic-Web Reasoning under the Answer-Set Semantics. |
Web Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Luigi Palopoli |
Protection Techniques from Information Extraction. |
Web Intelligence |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Susanna Cozza, Giovambattista Ianni |
Decidable Fragments of Logic Programming with Value Invention. |
JELIA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Axel Polleres, Roman Schindlauer, Hans Tompits |
Reasoning with Rules and Ontologies. |
Reasoning Web |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits |
dlvhex: A System for Integrating Multiple Semantics in an Answer-Set Programming Framework. |
WLP |
2006 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits |
A Uniform Integration of Higher-Order Reasoning and External Evaluations in Answer-Set Programming. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Calimeri, Giovambattista Ianni |
External Sources of Computation for Answer Set Solvers. |
LPNMR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovambattista Ianni, Claudio Panetta, Francesco Ricca |
Specification of Assessment-test Criteria through ASP Specifications. |
Answer Set Programming |
2005 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli |
On the complexity of inducing categorical and quantitative association rules. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovambattista Ianni, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro |
Parametric external predicates for the DLV System |
CoRR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Thomas Eiter, Giovambattista Ianni, Roman Schindlauer, Hans Tompits |
Nonmonotonic Description Logic Programs: Implementation and Experiments. |
LPAR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
information retrieval, agents, logic programming, answer set programming |
| 1 | Francesco Calimeri, Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro |
A System with Template Answer Set Programs. |
JELIA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro, Francesco Calimeri |
Enhancing answer set programming with templates. |
NMR |
2004 |
DBLP BibTeX RDF |
|
| 1 | Rachel Ben-Eliyahu-Zohary, Ehud Gudes, Giovambattista Ianni |
Metaqueries: Semantics, complexity, and efficient algorithms. |
Artif. Intell. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli |
Computational properties of metaquerying problems. |
ACM Trans. Comput. Log. |
2003 |
DBLP DOI BibTeX RDF |
data mining, Computational complexity |
| 1 | Giovambattista Ianni, Francesco Calimeri, Vincenzino Lio, Stefania Galizia |
Reasoning about the Semantic Web using Answer Set Programming. |
APPIA-GULP-PRODE |
2003 |
DBLP BibTeX RDF |
|
| 1 | Giovambattista Ianni, Giuseppe Ielpa, Adriana Pietramala, Maria Carmela Santoro |
Answer Set Programming with Templates. |
Answer Set Programming |
2003 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni (eds.) |
Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings |
JELIA |
2002 |
DBLP BibTeX RDF |
|
| 1 | Giovambattista Ianni |
Intelligent anticipated exploration of Web sites. |
AI Commun. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli |
Computational Properties of Metaquerying Problems |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Giovambattista Ianni, Nicola Leone, Simona Perri, Francesco Scarcello |
Abduction with Penalization in Logic Programming |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Giovambattista Ianni |
Sintesi di algoritmi con SKY |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli |
On the complexity of inducing categorical and quantitative association rules |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Giovambattista Ianni |
Intelligent Anticipated Exploration of Web Sites |
CoRR |
2001 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli |
On the Complexity of Mining Association Rules. |
SEBD |
2001 |
DBLP BibTeX RDF |
|
| 1 | A. Castellucci, Giovambattista Ianni, Domenico Vasile, S. Costa |
Searching and Surfing the Web Using a Semi-Adaptive Meta-Engine. |
ITCC |
2001 |
DBLP DOI BibTeX RDF |
|
| 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. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Giovambattista Ianni, Luigi Palopoli |
Metaquerying: proprietà e tecniche di implementazione. |
SEBD |
2000 |
DBLP BibTeX RDF |
|
| 1 | Fabrizio Angiulli, Rachel Ben-Eliyahu-Zohary, Giovambattista Ianni, Luigi Palopoli |
Computational Properties of Metaquerying Problems. |
PODS |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #59 of 59 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")