Advanced approach to formalization and controlling of geological prospectingдоклад на конференции