Saturation, nonmonotonic reasoning and the closed-world assumption
Genevieve Bossu, Pierre SiegelVolume:
25
Year:
1985
Language:
english
Pages:
51
DOI:
10.1016/0004-3702(85)90040-2
File:
PDF, 2.03 MB
english, 1985