Title of article :
Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models
Author/Authors :
Georg Gottlob، نويسنده , , Reinhard Pichler، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2001
Keywords :
Complexity , Automated deduction , Logic Programming. , Herbrand models , automated model building , Knowledgerepresentation
Journal title :
Information and Computation
Journal title :
Information and Computation
