Piero Bertoli (University of Padua): Publications - PhilPeople

University of Padua
Department of Philosophy, Sociology, Education and Applied Psychology

Graduate student

Areas of Interest

African/Africana Philosophy

39

Conformant planning via symbolic model checking and heuristic search
with A. Cimatti and M. Roveri

Artificial Intelligence 159 (1-2): 127-206. 2004.

Science, Logic, and Mathematics