"Translation-Based Revision and Merging for Minimal Horn Reasoning."

Gerhard Brewka, Jean-Guy Mailly, Stefan Woltran (2016)

Details and statistics

DOI: 10.3233/978-1-61499-672-9-734

access: closed

type: Conference or Workshop Paper

metadata version: 2019-10-19