Следене
Stefano Germano
Stefano Germano
University of Oxford ; prev. University of Calabria
Потвърден имейл адрес: mat.unical.it
Заглавие
Позовавания
Позовавания
Година
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, 2016
452016
AngryHEX: an Artificial Player for Angry Birds Based on Declarative Knowledge Bases.
F Calimeri, M Fink, S Germano, G Ianni, C Redl, A Wimmer
Proceedings of the Workshop Popularize Artificial Intelligence (PAI) co …, 2013
452013
The DLVHEX system
T Eiter, S Germano, G Ianni, T Kaminski, C Redl, P Schüller, A Weinzierl
KI-Künstliche Intelligenz 32, 187-189, 2018
272018
A framework for easing the development of applications embedding answer set programming
D Fuscà, S Germano, J Zangari, M Anastasio, F Calimeri, S Perri
Proceedings of the 18th International Symposium on Principles and Practice …, 2016
232016
ActHEX: implementing HEX programs with action atoms
M Fink, S Germano, G Ianni, C Redl, P Schüller
Logic Programming and Nonmonotonic Reasoning: 12th International Conference …, 2013
192013
Enhancing DLV for large-scale reasoning
N Leone, C Allocca, M Alviano, F Calimeri, C Civili, R Costabile, ...
Logic Programming and Nonmonotonic Reasoning: 15th International Conference …, 2019
162019
Integrating rule-based AI tools into mainstream game development
F Calimeri, S Germano, G Ianni, F Pacenza, S Perri, J Zangari
Rules and Reasoning: Second International Joint Conference, RuleML+ RR 2018 …, 2018
162018
Web stream reasoning in practice: on the expressivity vs. scalability tradeoff
S Germano, TL Pham, A Mileo
Web Reasoning and Rule Systems: 9th International Conference, RR 2015 …, 2015
162015
Fostering the use of declarative formalisms for real-world applications: The embasp framework
F Calimeri, D Fuscà, S Germano, S Perri, J Zangari
New Generation Computing 37, 29-65, 2019
142019
Large-scale reasoning on expressive horn ontologies
C Allocca, F Calimeri, C Civili, R Costabile, B Cuteri, A Fiorentino, ...
3rd International Workshop on the Resurgence of Datalog in Academia and …, 2019
72019
Answer set programming for declarative content specification: A scalable partitioning-based approach
F Calimeri, S Germano, G Ianni, F Pacenza, A Pezzimenti, A Tucci
AI* IA 2018–Advances in Artificial Intelligence: XVIIth International …, 2018
62018
Automatic configuration of smart city applications for user-centric decision support
TL Pham, S Germano, A Mileo, D Küemper, MI Ali
2017 20th Conference on Innovations in Clouds, Internet and Networks (ICIN …, 2017
62017
Embedding ASP in mobile systems: discussion and preliminary implementations
F Calimeri, D Fuscà, S Germano, S Perri, J Zangari
Proceedings of the Eighth Workshop on Answer Set Programming and Other …, 2015
62015
LoIDE: A Web-Based IDE for Logic Programming Preliminary Report
S Germano, F Calimeri, E Palermiti
Practical Aspects of Declarative Languages: 20th International Symposium …, 2018
52018
Answer Set Programming and Declarative Problem Solving in Game AIs.
D Fuscà, S Germano, J Zangari, F Calimeri, S Perri
PAI@ AI* IA, 81-88, 2013
52013
LoIDE: a web-based IDE for Logic Programming-Preliminary Technical Report
S Germano, F Calimeri, E Palermiti
arXiv preprint arXiv:1709.05341, 2017
42017
Rewriting the Infinite Chase
M Benedikt, M Buron, S Germano, K Kappelmann, B Motik
VLDB 2022-48th International Conference on Very Large Databases 15 (11), 2022
32022
Developing ASP Programs with ASPIDE and LoIDE
F Calimeri, S Germano, E Palermiti, K Reale, F Ricca
KI-Künstliche Intelligenz, 1-2, 2018
32018
Boosting the Development of ASP-Based Applications in Mobile and General Scenarios
F Calimeri, D Fuscà, S Germano, S Perri, J Zangari
AI* IA 2016 Advances in Artificial Intelligence, 223-236, 2016
32016
Computing CQ lower-bounds over OWL 2 through approximation to RSA
F Igne, S Germano, I Horrocks
The Semantic Web–ISWC 2021: 20th International Semantic Web Conference, ISWC …, 2021
12021
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20