%0 Conference Paper %1 conf/aaai/Ginsberg88a %A Ginsberg, Allen %B AAAI %D 1988 %E Shrobe, Howard E. %E Mitchell, Tom M. %E Smith, Reid G. %I AAAI Press / The MIT Press %K dblp %P 585-589 %T Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy. %U http://dblp.uni-trier.de/db/conf/aaai/aaai88.html#Ginsberg88a %@ 0-262-51055-3

@inproceedings{conf/aaai/Ginsberg88a, added-at = {2023-09-04T00:00:00.000+0200}, author = {Ginsberg, Allen}, biburl = {https://www.bibsonomy.org/bibtex/282b1cfdb54fbd069003896093beb31e4/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/1988}, editor = {Shrobe, Howard E. and Mitchell, Tom M. and Smith, Reid G.}, ee = {http://www.aaai.org/Library/AAAI/1988/aaai88-104.php}, interhash = {d0b3923e75fc4888b88d7e105f05f778}, intrahash = {82b1cfdb54fbd069003896093beb31e4}, isbn = {0-262-51055-3}, keywords = {dblp}, pages = {585-589}, publisher = {AAAI Press / The MIT Press}, timestamp = {2024-04-10T14:54:36.000+0200}, title = {Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai88.html#Ginsberg88a}, year = 1988 }