オープン アクセスを義務付けられた論文 - Nicola Leone詳細
一般には非公開: 5 件
Advances in WASP
M Alviano, C Dodaro, N Leone, F Ricca
Logic Programming and Nonmonotonic Reasoning: 13th International Conference …, 2015
委任: Government of Italy
The asp system dlv2
M Alviano, F Calimeri, C Dodaro, D Fuscà, N Leone, S Perri, F Ricca, ...
Logic Programming and Nonmonotonic Reasoning: 14th International Conference …, 2017
委任: Government of Italy
Hypertree decompositions: Questions and answers
G Gottlob, G Greco, N Leone, F Scarcello
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2016
委任: UK Engineering and Physical Sciences Research Council, Government of Italy
Fast query answering over existential rules
N Leone, M Manna, G Terracina, P Veltri
ACM Transactions on Computational Logic (ToCL) 20 (2), 1-48, 2019
委任: Government of Italy
Smart devices and large scale reasoning via ASP: tools and applications
K Reale, F Calimeri, N Leone, F Ricca
International Symposium on Practical Aspects of Declarative Languages, 154-161, 2022
委任: Government of Italy
一般公開: 20 件
Applications of answer set programming
E Erdem, M Gelfond, N Leone
AI Magazine 37 (3), 53-68, 2016
委任: Government of Italy
Grounding and solving in answer set programming
B Kaufmann, N Leone, S Perri, T Schaub
AI magazine 37 (3), 25-32, 2016
委任: German Research Foundation, Government of Italy
Combining answer set programming and domain heuristics for solving hard industrial problems (application paper)
C Dodaro, P Gasteiger, N Leone, B Musitsch, F Ricca, K Shchekotykhin
Theory and Practice of Logic Programming 16 (5-6), 653-669, 2016
委任: Austrian Science Fund, Dutch Cancer Society, Government of Italy
Semi-equilibrium models for paracoherent answer set programs
G Amendola, T Eiter, M Fink, N Leone, J Moura
Artificial Intelligence 234, 219-271, 2016
委任: Austrian Science Fund, Fundação para a Ciência e a Tecnologia, Portugal …
On the application of answer set programming to the conference paper assignment problem
G Amendola, C Dodaro, N Leone, F Ricca
AI* IA 2016 Advances in Artificial Intelligence: XVth International …, 2016
委任: Government of Italy
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
委任: European Commission
Finite model reasoning over existential rules
G Amendola, N Leone, M Manna
Theory and Practice of Logic Programming 17 (5-6), 726-743, 2017
委任: European Commission, Government of Italy
On the computation of paracoherent answer sets
G Amendola, C Dodaro, W Faber, N Leone, F Ricca
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
委任: European Commission, Government of Italy
Complexity and compilation of GZ-aggregates in answer set programming
M Alviano, N Leone
Theory and Practice of Logic Programming 15 (4-5), 574-587, 2015
委任: Government of Italy
Modular paracoherent answer sets
G Amendola, T Eiter, N Leone
European Workshop on Logics in Artificial Intelligence, 457-471, 2014
委任: Government of Italy
Finite Controllability of Conjunctive Query Answering with Existential Rules: Two Steps Forward.
G Amendola, N Leone, M Manna
IJCAI, 5189-5193, 2018
委任: European Commission
Enhancing magic sets with an application to ontological reasoning
M Alviano, N Leone, P Veltri, J Zangari
Theory and Practice of Logic Programming 19 (5-6), 654-670, 2019
委任: European Commission, Government of Italy
On the Properties of GZ-Aggregates in Answer Set Programming.
M Alviano, N Leone
IJCAI, 4105-4109, 2016
委任: Government of Italy
A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification
R Costabile, G Catalano, B Cuteri, MC Morelli, N Leone, M Manna
Theory and Practice of Logic Programming 20 (6), 864-879, 2020
委任: European Commission
Structural decomposition methods: Key notions and database applications
G Greco, N Leone, F Scarcello, G Terracina
A Comprehensive Guide Through the Italian Database Research Over the Last 25 …, 2018
委任: Government of Italy
公開と助成金に関する情報は、コンピュータ プログラムによって自動的に決定されます