Milano / York / Berlin / Springer Verlag / Amsterdam / Guangzhou / /
Company
Oxford University Press / Business Unit Truck / Pirelli / IOS Press / AAAI Press / /
Country
Italy / China / / /
Facility
University of Milano-Bicocca / /
IndustryTerm
chemical formulation / synthetic rubber / heuristic search / chemical compound / chemical formulation problem / labelled transition systems / tread rubber compounding / possible labelled transition systems / feasible solution / atomic chemical ingredients / given chemical substance / rubber compound / genetic algorithms / heuristic search space / chemical formulation problems / chemical compounds / natural and synthetic rubber / chemical compound formulation / rubber / chemical / chemical rubber compound formulation / search space / transition systems / search algorithm / rubber compounds / chemicals / chemical elements / search algorithms / prototypical chemical compounding problems / /
Organization
Congress / University of Milano-Bicocca / Matteo Palmonari Department of Computer Science / Systems and Communication / Department of Computer Science / Systems / and Communication / Italian Association / Oxford University / /
Action Based ABox Update: an Example from the Chemical Compound Formulation Alessandro Mosca, Matteo Palmonari Department of Computer Science, Systems and Communication (DISCo) University of Milano-Bicocca via Bicocca de