Search results for: Guido Sciavicco
Expert Systems > 36 > 3 > n/a - n/a
Expert Systems > 34 > 4 > n/a - n/a
Lecture Notes in Computer Science > Logic for Programming, Artificial Intelligence, and Reasoning > Session 10. Modal and Temporal Logics > 590-604
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2007 > Intelligent Information Processing > 313-320
Lecture Notes in Computer Science > Bioinspired Applications in Artificial and Natural Computation > 158-167
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 73-87
Lecture Notes in Computer Science > Advances in Artificial Intelligence > Knowledge Representation, Logic, Search and Planning > 173-182
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > Research Papers > 102-116
Lecture Notes in Computer Science > Automated Reasoning with Analytic Tableaux and Related Methods > 123-137
Acta Informatica > 2016 > 53 > 3 > 207-246
Annals of Mathematics and Artificial Intelligence > 2014 > 71 > 1-3 > 11-39