%0 Journal Article %1 Chang1990 %A Chang, C.L. %A Stachowitz, R.A. %A Combs, J.B. %D 1990 %J Tools for Artificial Intelligence, 1990.,Proceedings of the 2nd International IEEE Conference on %K KBS, KBSs, based circumscription, default first formal knowledge knowledge-based logic, logical logics, maintenance, monotonic multi-valued nonmonotonic order problems, program reasoning, regular rules, semantics, syntax, systems, tool truth validation verificationassumption-based %P 776-782 %R 10.1109/TAI.1990.130437 %T Validation of nonmonotonic knowledge-based systems

@article{Chang1990, added-at = {2009-09-12T19:19:34.000+0200}, author = {Chang, C.L. and Stachowitz, R.A. and Combs, J.B.}, biburl = {https://www.bibsonomy.org/bibtex/2e3048caf930da93e82289cfd1ed152ed/mozaher}, doi = {10.1109/TAI.1990.130437}, file = {:Chang1990.pdf:PDF}, interhash = {c21c1c8af19fa2d1253eb2f618782df2}, intrahash = {e3048caf930da93e82289cfd1ed152ed}, journal = {Tools for Artificial Intelligence, 1990.,Proceedings of the 2nd International IEEE Conference on}, keywords = {KBS, KBSs, based circumscription, default first formal knowledge knowledge-based logic, logical logics, maintenance, monotonic multi-valued nonmonotonic order problems, program reasoning, regular rules, semantics, syntax, systems, tool truth validation verificationassumption-based}, month = Nov, owner = {Mozaher}, pages = {776-782}, timestamp = {2009-09-12T19:19:37.000+0200}, title = {Validation of nonmonotonic knowledge-based systems}, year = 1990 }