Title of article :
On the complexity of extension checking in default logic
Author/Authors :
Paolo Liberatore، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2006
Keywords :
computational complexity , Default logic , Knowledge representation
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters