%0 Conference Paper %1 conf/ictai/ChangSC90 %A Chang, Chin-Liang %A Stachowitz, Rolf A. %A Combs, Jacqueline B. %B TAI %D 1990 %I IEEE Computer Society %K dblp %P 776-782 %T Validation of nonmonotonic knowledge-based systems. %U http://dblp.uni-trier.de/db/conf/ictai/ictai1990.html#ChangSC90 %@ 0-8186-2084-6

@inproceedings{conf/ictai/ChangSC90, added-at = {2023-03-24T00:00:00.000+0100}, author = {Chang, Chin-Liang and Stachowitz, Rolf A. and Combs, Jacqueline B.}, biburl = {https://www.bibsonomy.org/bibtex/219e46e759dd0c779a25d64c352e2c9eb/dblp}, booktitle = {TAI}, crossref = {conf/ictai/1990}, ee = {https://doi.ieeecomputersociety.org/10.1109/TAI.1990.130437}, interhash = {c21c1c8af19fa2d1253eb2f618782df2}, intrahash = {19e46e759dd0c779a25d64c352e2c9eb}, isbn = {0-8186-2084-6}, keywords = {dblp}, pages = {776-782}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:19:34.000+0200}, title = {Validation of nonmonotonic knowledge-based systems.}, url = {http://dblp.uni-trier.de/db/conf/ictai/ictai1990.html#ChangSC90}, year = 1990 }