Dependable knowledge-based systems development and verification: what we can learn from software engineering and what we need.

Sandro Bologna, Eyvind Ness, Terje Sivertsen

Browse the full ICTAI paper archive.