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

Wojciech Palacz, Ewa Grabska, Grazyna Slusarczyk

Browse the full ICAISC paper archive.