Learning action models from plan examples using weighted MAX-SAT
scientific article; zbMATH DE number 5576660