Abductive logic programming in allergy diagnosis.

Piotr Walecki Wojciech Lason Grzegorz Porebski Krystyna Obtulowicz

Published in: Bio Algorithms Med Syst. (2006)

Keyphrases

abductive logic programming
logic programs
proof procedure
database systems
xml documents