Search results for: Mario Benevides
Theoretical Computer Science > 2017 > 685 > C > 23-45
Lecture Notes in Computer Science > Advances in Artificial Intelligence - SBIA 2008 > Knowledge Representation and Reasoning > 134-144
Lecture Notes in Computer Science > Advances in Artificial Intelligence – SBIA 2004 > Logics, Planning, and Theoretical Methods > 1-10
Electronic Notes in Theoretical Computer Science > 2014 > 305 > Complete > 67-83
Electronic Notes in Theoretical Computer Science > 2008 > 195 > Complete > 133-149
Journal of Philosophical Logic > 2007 > 36 > 5 > 489-509