Combining abductive reasoning and inductive learning to evolve requirements specifications

Artur S. d Avila Garcez, Alessandra Russo, Bashar Nuseibeh, Jeff Kramer. Combining abductive reasoning and inductive learning to evolve requirements specifications. IEE Proceedings - Software, 150(1):25-38, 2003.

Abstract

Abstract is missing.