@ARTICLE { Rsds4996,
author = {Gomolinska, Anna}, 
title = {Satisfiability Judgement under Incomplete Information}, 
journal = {Transactions on Rough Sets}, 
number = 	{(no. XI)}, 
volume = 5946, 
pages = {66--91}, 
publisher = {Springer-Verlag}, 
address = {Heidelberg - Berlin, Germany}, 
year = 2010, 
issn = {1861-2059}, 
isbn = {978-3-642-11478-6}, 
abstract = {In this paper we keep on discussing satisfiability of conditions by objects when information about the situation considered, including objects of some sort and concepts comprised of them, is incomplete. Our approach to satisfiability is that of concept modelling and we have a rough granular view on the problem. Objects considered are known partially, in terms of values of attributes of Pawlak information systems. An additional knowledge (domain knowledge) is assumed to be available. We choose descriptor languages for Pawlak information systems as specification languages in which we will express conditions about objects and concepts.}, 
keywords = {satisfiability of formulas, judgement making, concept modelling, knowledge discovery, Pawlak information system, descriptor language, approximation space, }, 
}