Ontological Approach to Design Reasoning with the Use of Many-Sorted First-Order Logic

Wojciech Palacz, Ewa Grabska, Grazyna Slusarczyk. Ontological Approach to Design Reasoning with the Use of Many-Sorted First-Order Logic. In Leszek Rutkowski, Marcin Korytkowski, Rafal Scherer, Ryszard Tadeusiewicz, Lotfi A. Zadeh, Jacek M. Zurada, editors, Artificial Intelligence and Soft Computing - 15th International Conference, ICAISC 2016, Zakopane, Poland, June 12-16, 2016, Proceedings, Part II. Volume 9693 of Lecture Notes in Computer Science, pages 364-374, Springer, 2016. [doi]

Authors

Wojciech Palacz

This author has not been identified. Look up 'Wojciech Palacz' in Google

Ewa Grabska

This author has not been identified. Look up 'Ewa Grabska' in Google

Grazyna Slusarczyk

This author has not been identified. Look up 'Grazyna Slusarczyk' in Google