Search filters

An efficient method for eliminating varying predicates from a circumscription

Image Image of a generic work. The text above it indicates that there is no free image of the work available, and that if you own one, you can click on the placeholder link to upload it.
Description article published in 1992
Author/s

author: Thomas Eiter  Georg Gottlob 

Publication date April 1992
Language English
Country of origin
Wikipedia link
Copyright status
Missing/wrong data? Edit Wikidata item