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 | 755 | 2008 |
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 | 342* | 2020 |
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 | 307 | 2005 |
Answer set programming: A primer T Eiter, G Ianni, T Krennwallner Reasoning Web. Semantic Technologies for Information Systems: 5th …, 2009 | 292 | 2009 |
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 | 190* | 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 | 177 | 2006 |
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 | 155 | 2008 |
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 | 130 | 2005 |
Rules and ontologies for the semantic web T Eiter, G Ianni, T Krennwallner, A Polleres Reasoning Web, 1-53, 2008 | 127 | 2008 |
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 | 120 | 2006 |
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 | 111 | 2000 |
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 | 86 | 2011 |
The third open answer set programming competition F Calimeri, G Ianni, F Ricca Theory and Practice of Logic Programming 14 (1), 117-135, 2014 | 82 | 2014 |
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 | 80 | 2002 |
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 | 70 | 2007 |
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 | 69 | 2013 |
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 | 61 | 2016 |
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 | 59 | 2006 |
Angry-HEX: an artificial player for angry birds based on declarative knowledge bases F Calimeri, M Fink, S Germano, A Humenberger, G Ianni, C Redl, ... IEEE Transactions on Computational Intelligence and AI in Games 8 (2), 128-139, 2015 | 45 | 2015 |
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 | 41 | 2006 |