Search results for: Valentina Poggioni
Computer‐Aided Civil and Infrastructure Engineering > 38 > 8 > 959 - 974
Lecture Notes in Computer Science > AI*IA 2003: Advances in Artificial Intelligence > Planning > 324-335
Lecture Notes in Computer Science > AI*IA 2003: Advances in Artificial Intelligence > Planning > 336-348
Lecture Notes in Computer Science > Computational Science and Its Applications – ICCSA 2004 > Track on Software Engineering > 563-573
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > System Descriptions > 307-311
Annals of Mathematics and Artificial Intelligence > 2011 > 62 > 3-4 > 187-217
Journal of Logic, Language and Information > 2007 > 16 > 1 > 63-89