Search results for: Yakoub Salhi
Artificial Intelligence > 2017 > 244 > C > 30-47
International Journal of Approximate Reasoning > 2017 > 80 > C > 443-459
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > 255-271
Acta Informatica > 2016 > 53 > 2 > 149-170
Information and Computation > 2011 > 209 > 12 > 1447-1463
Journal of Applied Logic > 2010 > 8 > 4 > 371-385