Relating defeasible and normal logic programming through transformation properties

Carlos Iván Chesñevar, Jürgen Dix, Frieder Stolzenburg, Guillermo Ricardo Simari. Relating defeasible and normal logic programming through transformation properties. Theoretical Computer Science, 290(1):499-529, 2003.

Authors

Carlos Iván Chesñevar

This author has not been identified. Look up 'Carlos Iván Chesñevar' in Google

Jürgen Dix

This author has not been identified. Look up 'Jürgen Dix' in Google

Frieder Stolzenburg

This author has not been identified. Look up 'Frieder Stolzenburg' in Google

Guillermo Ricardo Simari

This author has not been identified. Look up 'Guillermo Ricardo Simari' in Google