Translation-Based Revision and Merging for Minimal Horn Reasoning.

Gerhard Brewka, Jean-Guy Mailly, Stefan Woltran

Browse the full ECAI paper archive.