Seuraa
Giovambattista Ianni
Giovambattista Ianni
Professor of Computer Science, Università della Calabria
Vahvistettu sähköpostiosoite verkkotunnuksessa unical.it - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Combining answer set programming with description logics for the semantic web
T Eiter, G Ianni, T Lukasiewicz, R Schindlauer, H Tompits
Artificial intelligence 172 (12-13), 1495-1539, 2008
7402008
A uniform integration of higher-order reasoning and external evaluations in answer-set programming
T Eiter, G Ianni, R Schindlauer, H Tompits
IJCAI 5, 90-96, 2005
3052005
Answer set programming: A primer
T Eiter, G Ianni, T Krennwallner
Reasoning Web. Semantic Technologies for Information Systems: 5th …, 2009
2592009
Asp-core-2 input language format
F Calimeri, W Faber, M Gebser, G Ianni, R Kaminski, T Krennwallner, ...
Theory and Practice of Logic Programming 20 (2), 294-309, 2020
239*2020
Well-founded semantics for description logic programs in the semantic web
T Eiter, G Ianni, T Lukasiewicz, R Schindlauer
ACM Transactions on Computational Logic (TOCL) 12 (2), 1-41, 2011
188*2011
Effective integration of declarative rules with external evaluations for semantic-web reasoning
T Eiter, G Ianni, R Schindlauer, H Tompits
The Semantic Web: Research and Applications: 3rd European Semantic Web …, 2006
1762006
Computable functions in ASP: Theory and implementation
F Calimeri, S Cozza, G Ianni, N Leone
Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008
1512008
The INFOMIX system for advanced integration of incomplete and inconsistent data
N Leone, G Greco, G Ianni, V Lio, G Terracina, T Eiter, W Faber, M Fink, ...
Proceedings of the 2005 ACM SIGMOD international conference on Management of …, 2005
1262005
Rules and ontologies for the semantic web
T Eiter, G Ianni, T Krennwallner, A Polleres
Reasoning Web, 1-53, 2008
1202008
Reasoning with rules and ontologies
T Eiter, G Ianni, A Polleres, R Schindlauer, H Tompits
Reasoning Web: Second International Summer School 2006, Lisbon, Portugal …, 2006
1132006
NP-SPEC: an executable specification language for solving all problems in NP
M Cadoli, G Ianni, L Palopoli, A Schaerf, D Vasile
Computer Languages 26 (2-4), 165-195, 2000
1102000
The third open answer set programming competition
F Calimeri, G Ianni, F Ricca
Theory and Practice of Logic Programming 14 (1), 117-135, 2014
852014
The third answer set programming competition: Preliminary report of the system competition track
F Calimeri, G Ianni, F Ricca, M Alviano, A Bria, G Catalano, S Cozza, ...
Logic Programming and Nonmonotonic Reasoning: 11th International Conference …, 2011
832011
The DLV system
N Leone, G Pfeifer, W Faber, F Calimeri, T Dell’Armi, T Eiter, G Gottlob, ...
Logics in Artificial Intelligence: 8th European Conference, JELIA 2002 …, 2002
762002
External sources of knowledge and value invention in logic programming
F Calimeri, S Cozza, G Ianni
Annals of Mathematics and Artificial Intelligence 50, 333-361, 2007
702007
The fourth answer set programming competition: Preliminary report
M Alviano, F Calimeri, G Charwat, M Dao-Tran, C Dodaro, G Ianni, ...
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
682013
A model building framework for answer set programming with external computations
T Eiter, M Fink, G Ianni, T Krennwallner, C Redl, P Schüller
Theory and Practice of Logic Programming 16 (4), 418-464, 2016
552016
dlvhex: A prover for semantic-web reasoning under the answer-set semantics
T Eiter, G Ianni, R Schindlauer, H Tompits
2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main …, 2006
542006
Forgetting in managing rules and ontologies
T Eiter, G Ianni, R Schindlauer, H Tompits, K Wang
2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main …, 2006
402006
On the Complexity of Mining Association Rules.
F Angiulli, G Ianni, L Palopoli
SEBD, 177-184, 2001
402001
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20