Skip to content

A Tableau-Based Characterisation for Default Logic.

Camilla Schwind, Vincent Risch

Year1991
ProceedingsECSQARU

Browse the full ECSQARU paper archive.