Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report)

Has publishing details pp. 364-368, 1987

Has title Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report)

Has url http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai87.html#Lifschitz87

Has where published AAAI

Has year 1987

Has author Vladimir Lifschitz +

Has identifier Circumscriptive Theories: A Logic-based Framework for Knowledge Representation (Preliminary Report) +

Categories Proceeding Paper +