BQM: a system integrating logic, objects, and non-monotonic reasoning.

Nicola Leone, Pasquale Rullo

Browse the full ICTAI paper archive.