Stepaniuk, Jaroslaw Optimizations of rough set model. (English) Zbl 0935.68104 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 36, No. 2-3, 265-283 (1998). MSC: 68T30 03E99 PDFBibTeX XMLCite \textit{J. Stepaniuk}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 36, No. 2--3, 265--283 (1998; Zbl 0935.68104)
Gomolińska, Anna Credibility of information for modelling belief state and its change. (English) Zbl 0907.03012 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 34, No. 1-2, 33-51 (1998). Reviewer: D.Makinson (Ville d’Avray) MSC: 03B60 68T30 PDFBibTeX XMLCite \textit{A. Gomolińska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 34, No. 1--2, 33--51 (1998; Zbl 0907.03012)
Segerberg, Krister Proposal for a theory of belief revision along the lines of Lindström and Rabinowicz. (English) Zbl 0890.03011 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 32, No. 2, 183-191 (1997). Reviewer: Anna Gomolińska (Bialystok) MSC: 03B60 68T30 PDFBibTeX XMLCite \textit{K. Segerberg}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 32, No. 2, 183--191 (1997; Zbl 0890.03011)
Chakraborty, Mihir K.; Orlowska, Ewa Substitutivity principles in some theories of uncertainty. (English) Zbl 0890.03013 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 32, No. 2, 107-120 (1997). MSC: 03B80 68Q42 68T30 03B50 03B52 PDFBibTeX XMLCite \textit{M. K. Chakraborty} and \textit{E. Orlowska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 32, No. 2, 107--120 (1997; Zbl 0890.03013)
Wierzchoń, S. T.; Kłotopek, M. A.; Michalewicz, M. Reasoning and facts explanation in valuation based systems. (English) Zbl 0881.68054 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 30, No. 3-4, 359-371 (1997). MSC: 68W10 68T35 PDFBibTeX XMLCite \textit{S. T. Wierzchoń} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 30, No. 3--4, 359--371 (1997; Zbl 0881.68054) Full Text: arXiv
Ras, Zbigniew W.; Joshi, Sucheta Query approximate answering system for an incomplete DKBS. (English) Zbl 0881.68041 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 30, No. 3-4, 313-324 (1997). MSC: 68P15 68T30 PDFBibTeX XMLCite \textit{Z. W. Ras} and \textit{S. Joshi}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 30, No. 3--4, 313--324 (1997; Zbl 0881.68041)
Kersten, Gregory E.; Szpakowicz, Stan Formal account of sequential decision-making in a co-operative setting. (English) Zbl 0881.68114 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 30, No. 3-4, 269-281 (1997). MSC: 68T35 PDFBibTeX XMLCite \textit{G. E. Kersten} and \textit{S. Szpakowicz}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 30, No. 3--4, 269--281 (1997; Zbl 0881.68114)
Zhang, Yan; Foo, Norman Y. Deriving invariants and constraints from action theories. (English) Zbl 0882.68139 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 30, No. 1, 109-123 (1997). MSC: 68T30 PDFBibTeX XMLCite \textit{Y. Zhang} and \textit{N. Y. Foo}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 30, No. 1, 109--123 (1997; Zbl 0882.68139)
Järvinen, Jouni A representation of dependence spaces and some basic algorithms. (English) Zbl 0870.68146 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 29, No. 4, 369-382 (1997). MSC: 68T35 68T99 PDFBibTeX XMLCite \textit{J. Järvinen}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 29, No. 4, 369--382 (1997; Zbl 0870.68146)
Radev, Slavian Argumentation systems. (English) Zbl 0866.68107 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 28, No. 3-4, 331-346 (1996). MSC: 68T30 PDFBibTeX XMLCite \textit{S. Radev}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 28, No. 3--4, 331--346 (1996; Zbl 0866.68107)
Gomolińska, Anna On semantics for the nonmonotonic modal formalization of the logic of acceptance and rejection. (English) Zbl 0867.03011 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 28, No. 3-4, 303-313 (1996). MSC: 03B60 68T27 03B45 68T30 PDFBibTeX XMLCite \textit{A. Gomolińska}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 28, No. 3--4, 303--313 (1996; Zbl 0867.03011)
Nguyen Cat Ho A method in linguistic reasoning on a knowledge base representing by sentences with linguistic belief degree. (English) Zbl 0866.68106 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 28, No. 3-4, 247-259 (1996). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{Nguyen Cat Ho}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 28, No. 3--4, 247--259 (1996; Zbl 0866.68106)
Banerjee, Mohua; Chakraborty, Mihir K. Rough sets through algebraic logic. (English) Zbl 0864.03041 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 28, No. 3-4, 211-221 (1996). MSC: 03G25 03B45 68T27 68T30 PDFBibTeX XMLCite \textit{M. Banerjee} and \textit{M. K. Chakraborty}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 28, No. 3--4, 211--221 (1996; Zbl 0864.03041)
Zytkow, Jan M. Automated discovery of empirical laws. (English) Zbl 0960.68668 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2-3, 299-318 (1996). MSC: 68T30 68P15 PDFBibTeX XMLCite \textit{J. M. Zytkow}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2--3, 299--318 (1996; Zbl 0960.68668)
Yao, Y. Y.; Li, Xining Comparison of rough-set and interval-set models for uncertain reasoning. (English) Zbl 0858.68107 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2-3, 289-298 (1996). MSC: 68T27 68T30 03E47 PDFBibTeX XMLCite \textit{Y. Y. Yao} and \textit{X. Li}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2--3, 289--298 (1996; Zbl 0858.68107)
Tsumoto, Shusaku; Tanaka, Hiroshi A common algebraic framework of empirical learning methods based on rough sets and matroid theory. (English) Zbl 0858.68082 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2-3, 273-288 (1996). MSC: 68T05 68P15 68T30 PDFBibTeX XMLCite \textit{S. Tsumoto} and \textit{H. Tanaka}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2--3, 273--288 (1996; Zbl 0858.68082)
Skowron, Andrzej; Polkowski, Lech Analytical morphology: Mathematical morphology of decision tables. (English) Zbl 0858.68111 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2-3, 255-271 (1996). MSC: 68T30 03E47 PDFBibTeX XMLCite \textit{A. Skowron} and \textit{L. Polkowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2--3, 255--271 (1996; Zbl 0858.68111)
Skowron, Andrzej; Stepaniuk, Jaroslaw Tolerance approximation spaces. (English) Zbl 0868.68103 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2-3, 245-253 (1996). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{A. Skowron} and \textit{J. Stepaniuk}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2--3, 245--253 (1996; Zbl 0868.68103)
Slowiński, Roman; Stefanowski, Jerzy Rough-set reasoning about uncertain data. (English) Zbl 0854.68098 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2-3, 229-243 (1996). MSC: 68T30 68T01 PDFBibTeX XMLCite \textit{R. Slowiński} and \textit{J. Stefanowski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2--3, 229--243 (1996; Zbl 0854.68098)
Pagliani, Piero Rough sets and Nelson algebras. (English) Zbl 0858.68110 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2-3, 205-219 (1996). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{P. Pagliani}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2--3, 205--219 (1996; Zbl 0858.68110)
Kryszkiewicz, Marzena; Rybinski, Henryk Computation of reducts of composed information systems. (English) Zbl 0854.68097 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2-3, 183-195 (1996). MSC: 68T30 06E30 PDFBibTeX XMLCite \textit{M. Kryszkiewicz} and \textit{H. Rybinski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2--3, 183--195 (1996; Zbl 0854.68097)
Kent, Robert E. Rough concept analysis: A synthesis of rough sets and formal concept analysis. (English) Zbl 0861.68098 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2-3, 169-181 (1996). MSC: 68T30 03E47 PDFBibTeX XMLCite \textit{R. E. Kent}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 2--3, 169--181 (1996; Zbl 0861.68098)
Liau, Churn-Jung An algebraic formalization of the relationship between evidential structures and data tables. (English) Zbl 0854.68100 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 1, 57-76 (1996). MSC: 68T35 PDFBibTeX XMLCite \textit{C.-J. Liau}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 27, No. 1, 57--76 (1996; Zbl 0854.68100)
De la Higuera, Colin; Daniel-Vatonne, Marie-Catherine On sets of terms: A study of a generalisation relation and of its algorithmic properties. (English) Zbl 0840.68111 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 25, No. 2, 99-121 (1996). MSC: 68T30 68Q55 PDFBibTeX XMLCite \textit{C. De la Higuera} and \textit{M.-C. Daniel-Vatonne}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 25, No. 2, 99--121 (1996; Zbl 0840.68111)
Harper, Mary P.; Helzerman, Randall A. Managing multiple knowledge sources in constraint-based parsing of spoken language. (English) Zbl 0939.68870 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2-4, 303-353 (1995). MSC: 68T50 68T30 PDFBibTeX XMLCite \textit{M. P. Harper} and \textit{R. A. Helzerman}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2--4, 303--353 (1995; Zbl 0939.68870)
Bouquet, Paolo; Giunchiglia, Fausto Reasoning about theory adequacy. A new solution to the qualification problem. (English) Zbl 0826.68110 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2-4, 247-262 (1995). MSC: 68T20 68T30 68T27 PDFBibTeX XMLCite \textit{P. Bouquet} and \textit{F. Giunchiglia}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2--4, 247--262 (1995; Zbl 0826.68110)
Bhatnagar, Raj Context hypothesization using probabilistic knowledge. (English) Zbl 0826.68115 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2-4, 225-246 (1995). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{R. Bhatnagar}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2--4, 225--246 (1995; Zbl 0826.68115)
Attardi, Giuseppe; Simi, Maria A formalization of viewpoints. (English) Zbl 0821.03016 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2-4, 149-173 (1995). MSC: 03B60 68T27 68T30 PDFBibTeX XMLCite \textit{G. Attardi} and \textit{M. Simi}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 23, No. 2--4, 149--173 (1995; Zbl 0821.03016)
Leone, Nicola; Palopoli, Luigi; Romeo, Massimo Modifying intensional logic knowledge. (English) Zbl 0938.68840 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 21, No. 3, 183-203 (1994). MSC: 68T30 68N17 PDFBibTeX XMLCite \textit{N. Leone} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 21, No. 3, 183--203 (1994; Zbl 0938.68840)
Boddy, Mark; Goldman, Robert P.; Kanazawa, Keiji; Stein, Lynn Andrea A critical examination of model preference defaults. (English) Zbl 0820.68111 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 21, No. 1-2, 23-38 (1994). Reviewer: F.Belli (Paderborn) MSC: 68T27 PDFBibTeX XMLCite \textit{M. Boddy} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 21, No. 1--2, 23--38 (1994; Zbl 0820.68111)
Novotný, Jiří; Novotný, Miroslav On dependence in Wille’s contexts. (English) Zbl 0781.68106 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 19, No. 3-4, 343-353 (1993). Reviewer: J.Novotný MSC: 68T30 06A12 PDFBibTeX XMLCite \textit{J. Novotný} and \textit{M. Novotný}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 19, No. 3--4, 343--353 (1993; Zbl 0781.68106)
Richter, Michael M. Some recent developments in the representation and processing of knowledge. (English) Zbl 0847.68116 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 18, No. 2-4, 233-248 (1993). MSC: 68T30 PDFBibTeX XMLCite \textit{M. M. Richter}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 18, No. 2--4, 233--248 (1993; Zbl 0847.68116)
Chen, Su-Shing Spatial mental models in cognitive systems. (English) Zbl 0779.68082 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 18, No. 2-4, 183-192 (1993). MSC: 68T30 PDFBibTeX XMLCite \textit{S.-S. Chen}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 18, No. 2--4, 183--192 (1993; Zbl 0779.68082)
Garlatti, Serge Default logic models of certain inheritance systems with exceptions. (English) Zbl 0783.68118 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 18, No. 2-4, 129-149 (1993). Reviewer: J.Henno (Tallinn) MSC: 68T27 68T30 68T35 PDFBibTeX XMLCite \textit{S. Garlatti}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 18, No. 2--4, 129--149 (1993; Zbl 0783.68118)
Schwarz, Grigori Reflexive autoepistemic logic. (English) Zbl 0772.68091 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 1-2, 157-173 (1992). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{G. Schwarz}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 1--2, 157--173 (1992; Zbl 0772.68091)
Niemelä, Ilkka N. F. On the decidability and complexity of autoepistemic reasoning. (English) Zbl 0769.68111 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 1-2, 117-155 (1992). MSC: 68T27 68Q25 03B25 68T30 03B60 PDFBibTeX XMLCite \textit{I. N. F. Niemelä}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 1--2, 117--155 (1992; Zbl 0769.68111)
Marek, V. Wiktor; Truszczynski, Miroslaw More on modal aspects of default logic. (English) Zbl 0772.03011 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 1-2, 99-116 (1992). MSC: 03B60 68T27 03B45 68T30 PDFBibTeX XMLCite \textit{V. W. Marek} and \textit{M. Truszczynski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 1--2, 99--116 (1992; Zbl 0772.03011)
Lakemeyer, Gerhard On perfect introspection with quantifying-in. (English) Zbl 0772.68088 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 1-2, 75-98 (1992). MSC: 68T27 68T30 PDFBibTeX XMLCite \textit{G. Lakemeyer}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 1--2, 75--98 (1992; Zbl 0772.68088)
Fitting, Melvin Many-valued modal logics. II. (English) Zbl 0772.03006 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 1-2, 55-73 (1992). MSC: 03B50 68T27 03B45 68T30 PDFBibTeX XMLCite \textit{M. Fitting}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 1--2, 55--73 (1992; Zbl 0772.03006)
Boutilier, Craig Epistemic entrenchment in autoepistemic logic. (English) Zbl 0772.68089 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 1-2, 5-29 (1992). MSC: 68T30 68T27 PDFBibTeX XMLCite \textit{C. Boutilier}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 1--2, 5--29 (1992; Zbl 0772.68089)
Rauszer, Cecylia M. Logic for information systems. (English) Zbl 0768.68199 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 16, No. 3-4, 371-382 (1992). Reviewer: M.Zimand (Bucureşti) MSC: 68T30 03D80 68P15 PDFBibTeX XMLCite \textit{C. M. Rauszer}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 16, No. 3--4, 371--382 (1992; Zbl 0768.68199)
Novotný, Miroslav; Pawlak, Zdzisław On a problem concerning dependence spaces. (English) Zbl 0762.68059 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 16, No. 3-4, 275-287 (1992). MSC: 68T30 06A12 PDFBibTeX XMLCite \textit{M. Novotný} and \textit{Z. Pawlak}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 16, No. 3--4, 275--287 (1992; Zbl 0762.68059)
Novotný, Jiří; Novotný, Miroslav Notes on the algebraic approach to dependence in information systems. (English) Zbl 0762.68058 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 16, No. 3-4, 263-273 (1992). MSC: 68T30 06A12 PDFBibTeX XMLCite \textit{J. Novotný} and \textit{M. Novotný}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 16, No. 3--4, 263--273 (1992; Zbl 0762.68058)
Akdag, Herman; De Glas, Michel; Pacholczyk, Daniel A qualitative theory of uncertainty. (English) Zbl 0767.68088 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 4, 333-362 (1992). MSC: 68T30 68T35 PDFBibTeX XMLCite \textit{H. Akdag} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 4, 333--362 (1992; Zbl 0767.68088)
Rauszer, Cecylia M. Algebraic considerations of autoepistemic logic. (English) Zbl 0846.03012 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 3, 175-186 (1992). MSC: 03B60 03B45 68T27 68T30 03G05 PDFBibTeX XMLCite \textit{C. M. Rauszer}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 17, No. 3, 175--186 (1992; Zbl 0846.03012)
Novotný, Miroslav; Pawlak, Zdzizław Algebraic theory of independence in information systems. (English) Zbl 0727.68118 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 4, 454-476 (1991). MSC: 68T30 68P20 06A12 PDFBibTeX XMLCite \textit{M. Novotný} and \textit{Z. Pawlak}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 4, 454--476 (1991; Zbl 0727.68118)
Comer, Stephen D. An algebraic approach to the approximation of information. (English) Zbl 0727.68114 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 4, 492-502 (1991). MSC: 68T30 68P20 06B99 PDFBibTeX XMLCite \textit{S. D. Comer}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 4, 492--502 (1991; Zbl 0727.68114)
Truszczynski, Mirosław Modal nonmonotonic logic with restricted application of the negation as failure to prove rule. (English) Zbl 0726.03022 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 3, 355-366 (1991). Reviewer: O.Sonobe (Miura City) MSC: 03B60 03B45 68T27 68T30 03B80 PDFBibTeX XMLCite \textit{M. Truszczynski}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 3, 355--366 (1991; Zbl 0726.03022)
Stoeva, Stefka P. On processing of fuzzy production systems. (English) Zbl 0714.68102 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 3, 301-312 (1991). MSC: 68T35 03B52 PDFBibTeX XMLCite \textit{S. P. Stoeva}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 14, No. 3, 301--312 (1991; Zbl 0714.68102)
Wiweger, Antoni A functionalization of logical kits. (English) Zbl 0764.68161 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 2, 180-186 (1991). MSC: 68T30 PDFBibTeX XMLCite \textit{A. Wiweger}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 2, 180--186 (1991; Zbl 0764.68161)
Rauszer, Cecylia M. Algebraic considerations of autoepistemic logic. (English) Zbl 0747.03010 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 2, 168-179 (1991). MSC: 03B60 03B45 68T27 03G05 68T30 PDFBibTeX XMLCite \textit{C. M. Rauszer}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 2, 168--179 (1991; Zbl 0747.03010)
Ras, Zbigniew W. Query processing in distributed information systems. (English) Zbl 0764.68034 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 3-4, 381-397 (1991). MSC: 68P15 68T35 PDFBibTeX XMLCite \textit{Z. W. Ras}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 3--4, 381--397 (1991; Zbl 0764.68034)
Konolige, Kurt Quantification in autoepistemic logic. (English) Zbl 0747.03009 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 3-4, 275-300 (1991). MSC: 03B60 03B45 68T27 68T30 PDFBibTeX XMLCite \textit{K. Konolige}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 3--4, 275--300 (1991; Zbl 0747.03009)
Parikh, Rohit Monotonic and non-monotonic logics of knowledge. (English) Zbl 0754.03016 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 3-4, 255-274 (1991). Reviewer: P.-G.Holban (Iaşi) MSC: 03B60 68T30 68T27 03B45 PDFBibTeX XMLCite \textit{R. Parikh}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 3--4, 255--274 (1991; Zbl 0754.03016)
Vakarelov, Dimiter A modal logic for similarity relations in Pawlak knowledge representation systems. (English) Zbl 0737.68078 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 1, 61-79 (1991). Reviewer: P.-G.Holban (Iaşi) MSC: 68T30 03B45 PDFBibTeX XMLCite \textit{D. Vakarelov}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 15, No. 1, 61--79 (1991; Zbl 0737.68078)
Moser, Louise E. A nonmonotonic logic of belief. (English) Zbl 0689.68109 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 4, 507-523 (1989). MSC: 68T15 68T99 03B45 03B25 03B35 03B60 PDFBibTeX XMLCite \textit{L. E. Moser}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 4, 507--523 (1989; Zbl 0689.68109)
Ras, Zbigniew W.; Zemankova, Maria Learning concept descriptions in a growing language. (English) Zbl 0664.68089 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 1, 79-95 (1989). MSC: 68T05 PDFBibTeX XMLCite \textit{Z. W. Ras} and \textit{M. Zemankova}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 1, 79--95 (1989; Zbl 0664.68089)
Bergadano, F.; Gemello, R.; Giordana, A.; Saitta, L. ML-SMART: A problem solver for learning from examples. (English) Zbl 0664.68087 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 1, 29-49 (1989). MSC: 68T05 68T20 68T99 PDFBibTeX XMLCite \textit{F. Bergadano} et al., Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 12, No. 1, 29--49 (1989; Zbl 0664.68087)
Grzymała-Busse, Jerzy W.; Pawlak, Zdzisław On some subset of the partition set. (English) Zbl 0576.68077 Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 483-488 (1984). MSC: 68T99 PDFBibTeX XMLCite \textit{J. W. Grzymała-Busse} and \textit{Z. Pawlak}, Ann. Soc. Math. Pol., Ser. IV, Fundam. Inf. 7, 483--488 (1984; Zbl 0576.68077)