Search results for: N. Olivetti
Fundamenta Informaticae > 2018 > Vol. 159, nr 1/2 > 95--122
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 107-121
Artificial Intelligence > 2015 > 226 > Complete > 1-33
Artificial Intelligence > 2013 > 195 > Complete > 165-202
Fundamenta Informaticae > 2009 > Vol. 96, nr 3 > 341-372
The Journal of Logic Programming > 2000 > 44 > 1-3 > 37-74
Soft Computing > 1998 > 2 > 4 > 147-156