ECWA MADE EASY

Authors
Citation
V. Lifschitz, ECWA MADE EASY, Annals of mathematics and artificial intelligence, 14(2-4), 1995, pp. 269-274
Citations number
23
Categorie Soggetti
Computer Sciences",Mathematics,Mathematics,"Computer Science Artificial Intelligence
ISSN journal
10122443
Volume
14
Issue
2-4
Year of publication
1995
Pages
269 - 274
Database
ISI
SICI code
1012-2443(1995)14:2-4<269:EME>2.0.ZU;2-T
Abstract
We generalize a theorem on the relation of the extended closed world a ssumption (ECWA) to circumscription due to Gelfond, Przymusinska and P rzymusinski, and give a simple proof of the generalized result.