Search results for: Agostino Dovier
Wiley Interdisciplinary Reviews: Computational Molecular Science > 14 > 1 > n/a - n/a
Fundamenta Informaticae > 2020 > Vol. 176, nr 3/4 > 299--319
KI - Künstliche Intelligenz > 2018 > 32 > 2-3 > 157-164
Science of Computer Programming > 2017 > 147 > C > 54-77
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 48-63
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 4. Short Papers > 423-429
Lecture Notes in Computer Science > Energy Minimization Methods in Computer Vision and Pattern Recognition > Probabilistic Models and Estimation > 75-90
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 6. Summaries of Existing Successful Applications Papers > 560-566
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Session 8 (Panel on Future Applications). Position Papers by the Panelists > 622-624
Lecture Notes in Computer Science > Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning > ASP and Dynamic Domains > 259-279
Lecture Notes in Computer Science > Computer Aided Verification > Verification Core Technology > 79-90
Lecture Notes in Computer Science > Multiset Processing > 103-121