Two methods of constructing contractions and revisions of knowledge systems |
| |
Authors: | Hans Rott |
| |
Affiliation: | (1) Institute of Computational Linguistics Formal Logic and Philosophy of Language, University of Stuttgart, Keplerstr. 17, D-7000 Stuttgart 1, Germany |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|