Embedding defeasible logic into logic programming, (2006)

by G Antoniou, D Billington, G Governatori, M J Maher
Venue:Theory and Practice of Logic Programming