Search results for: Sheila R. M. Veloso
Lecture Notes in Computer Science > Diagrammatic Representation and Inference > Formal Aspects of Diagrams > 84-98
Lecture Notes in Computer Science > Advances in Artificial Intelligence > Knowledge Representation and Reasoning > 227-235
Lecture Notes in Computer Science > Advances in Artificial Intelligence - SBIA 2008 > Knowledge Representation and Reasoning > 187-196
Lecture Notes in Computer Science > Advances in Artificial Intelligence > Theoretical and Logical Methods > 1-10
Lecture Notes in Computer Science > Advances in Artificial Intelligence – SBIA 2004 > Logics, Planning, and Theoretical Methods > 1-10
Journal of Philosophical Logic > 2007 > 36 > 5 > 489-509
Studia Logica > 2004 > 78 > 3 > 459-477
Journal of Philosophical Logic > 2003 > 32 > 4 > 343-355