Stable and extension class theory for logic programs and default logics. Baral, C. R & Subrahmanian, V. Journal of Automated Reasoning, 8(3):345–366, Kluwer Academic Publishers, 1992. bibtex @article{baral1992stable,
title={Stable and extension class theory for logic programs and default logics},
author={Baral, Chitta R and Subrahmanian, VS},
journal={Journal of Automated Reasoning},
volume={8},
number={3},
pages={345--366},
year={1992},
publisher={Kluwer Academic Publishers}
}
Downloads: 0
{"_id":{"_str":"51f888f359ced8df44001fba"},"__v":15,"authorIDs":["5457e1d82abc8e9f3700085b","546955d7bc7d6a460d0012c4"],"author_short":["Baral, C. R","Subrahmanian, V."],"bibbaseid":"baral-subrahmanian-stableandextensionclasstheoryforlogicprogramsanddefaultlogics-1992","bibdata":{"bibtype":"article","type":"article","title":"Stable and extension class theory for logic programs and default logics","author":[{"propositions":[],"lastnames":["Baral"],"firstnames":["Chitta","R"],"suffixes":[]},{"propositions":[],"lastnames":["Subrahmanian"],"firstnames":["VS"],"suffixes":[]}],"journal":"Journal of Automated Reasoning","volume":"8","number":"3","pages":"345–366","year":"1992","publisher":"Kluwer Academic Publishers","bibtex":"@article{baral1992stable,\n title={Stable and extension class theory for logic programs and default logics},\n author={Baral, Chitta R and Subrahmanian, VS},\n journal={Journal of Automated Reasoning},\n volume={8},\n number={3},\n pages={345--366},\n year={1992},\n publisher={Kluwer Academic Publishers}\n}\n\n","author_short":["Baral, C. R","Subrahmanian, V."],"key":"baral1992stable","id":"baral1992stable","bibbaseid":"baral-subrahmanian-stableandextensionclasstheoryforlogicprogramsanddefaultlogics-1992","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"article","biburl":"https://cogintlab-asu.github.io/cogint_bib.bib","downloads":0,"keywords":[],"search_terms":["stable","extension","class","theory","logic","programs","default","logics","baral","subrahmanian"],"title":"Stable and extension class theory for logic programs and default logics","title_words":["stable","extension","class","theory","logic","programs","default","logics"],"year":1992,"dataSources":["qFKdMbFtP3HEjG9PQ"]}