Các bài viết có thể truy cập công khai - Agostino DovierTìm hiểu thêm
Có tại một số nơi: 39
Special issue on 28th International Conference on Logic Programming
A Dovier, V Santos Costa
TPLP 12 (4-5), 421-810, 2012
Các cơ quan ủy nhiệm: Austrian Science Fund, German Research Foundation, Danish Council for …
CUD@SAT: SAT solving on GPUs
A Dal Palu, A Dovier, A Formisano, E Pontelli
Journal of Experimental & Theoretical Artificial Intelligence 27 (3), 293-316, 2015
Các cơ quan ủy nhiệm: Government of Italy
EFP 2.0: A multi-agent epistemic solver with multiple e-state representations
F Fabiano, A Burigana, A Dovier, E Pontelli
Proceedings of the International Conference on Automated Planning and …, 2020
Các cơ quan ủy nhiệm: US National Science Foundation, Government of Italy
A theoretical perspective of Coinductive Logic Programming
D Ancona, A Dovier
Fundamenta Informaticae. 140 (3-4), 1-26, 2015
Các cơ quan ủy nhiệm: Government of Italy
Proceedings of the 38th Italian Conference on Computational Logic (CILC 2023)
A Dovier, A Formisano
CEUR WORKSHOP PROCEEDINGS 3428, 2023
Các cơ quan ủy nhiệm: US National Science Foundation, Government of Italy
A GPU implementation of the ASP computation
A Dovier, A Formisano, E Pontelli, F Vella
Practical Aspects of Declarative Languages: 18th International Symposium …, 2016
Các cơ quan ủy nhiệm: US National Science Foundation, Government of Italy
Planning as tabled logic programming
NF Zhou, R Barták, A Dovier
Theory and Practice of Logic Programming 15 (4-5), 543-558, 2015
Các cơ quan ủy nhiệm: Government of Italy
A declarative concurrent system for protein structure prediction on GPU
F Campeotto, A Dovier, E Pontelli
Journal of Experimental & Theoretical Artificial Intelligence, 2015
Các cơ quan ủy nhiệm: Government of Italy
A constraint solver for flexible protein model
F Campeotto, A Dal Palu, A Dovier, F Fioretto, E Pontelli
Journal of Artificial Intelligence Research 48, 953-1000, 2013
Các cơ quan ủy nhiệm: Government of Italy
Parallel Answer Set Programming
A Dovier, A Formisano, E Pontelli
Handbook of Parallel Constraint Reasoning, 237-282, 2018
Các cơ quan ủy nhiệm: US National Science Foundation, Government of Italy
Modelling multi-agent epistemic planning in ASP
A Burigana, F Fabiano, A Dovier, E Pontelli
Theory and Practice of Logic Programming 20 (5), 593-608, 2020
Các cơ quan ủy nhiệm: US National Science Foundation, Government of Italy
Extending logic programming with labelled variables: Model and semantics
R Calegari, E Denti, A Dovier, A Omicini
Fundamenta Informaticae 161 (1-2), 53-74, 2018
Các cơ quan ủy nhiệm: Government of Italy
Multi-agent epistemic planning with inconsistent beliefs, trust and lies
F Fabiano, A Burigana, A Dovier, E Pontelli, TC Son
Pacific Rim International Conference on Artificial Intelligence, 586-597, 2021
Các cơ quan ủy nhiệm: US National Science Foundation, Government of Italy
Parallel logic programming: A sequel
A Dovier, A Formisano, G Gupta, MV Hermenegildo, E Pontelli, R Rocha
Theory and Practice of Logic Programming 22 (6), 905-973, 2022
Các cơ quan ủy nhiệm: US National Science Foundation, Fundação para a Ciência e a Tecnologia …
Advances in computational logic (CILC23): preface
A Dovier, A Formisano
Journal of Logic and Computation 34 (8), 1397-1398, 2024
Các cơ quan ủy nhiệm: Agence Nationale de la Recherche
Exploring life: answer set programming in bioinformatics
A Dal Palu, A Dovier, A Formisano, E Pontelli
Declarative logic programming: theory, systems, and applications, 359-412, 2018
Các cơ quan ủy nhiệm: US National Science Foundation, Government of Italy
Distributed multi-agent optimization for smart grids and home automation
F Fioretto, A Dovier, E Pontelli
Intelligenza Artificiale 12 (2), 67-87, 2019
Các cơ quan ủy nhiệm: US National Science Foundation, Government of Italy
Constraint propagation on GPU: A case study for the AllDifferent constraint
F Tardivo, A Dovier, A Formisano, L Michel, E Pontelli
Journal of Logic and Computation 33 (8), 1734-1752, 2023
Các cơ quan ủy nhiệm: US National Science Foundation
Logic programming and bisimulation
A Dovier
CEUR Workshop Proceedings 1433, 1-14, 2015
Các cơ quan ủy nhiệm: Government of Italy
Logic programming applied to genome evolution in cancer?
D Palù, A Dovier, A Formisano, A Policriti, E Pontelli
CEUR Workshop Proceedings 1645, 148-157, 2016
Các cơ quan ủy nhiệm: Government of Italy
Chương trình máy tính sẽ tự động xác định thông tin xuất bản và thông tin về nhà tài trợ