Search the dblp DataBase
Ewa Orlowska :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Beata Konikowska , Charles G. Morgan , Ewa Orlowska Relational semantics for arbitrary finite valued logics. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1998, pp:138-143 [Conf ] Stéphane Demri , Ewa Orlowska Reasoning with Relational Demonic Operators. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1997, pp:331-340 [Conf ] Wendy MacCaull , Ewa Orlowska A Calculus of Typed Relations. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:191-201 [Conf ] Stéphane Demri , Ewa Orlowska Classes of modal frames definable by closure relational operations. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1998, pp:48-52 [Conf ] Marcelo F. Frias , Ewa Orlowska Equational Reasoning in Non-Classical Logics. [Citation Graph (0, 0)][DBLP ] RelMiCS, 1997, pp:321-329 [Conf ] Ivo Düntsch , Ewa Orlowska , Anna Maria Radzikowska Lattice-Based Relation Algebras and Their Representability. [Citation Graph (0, 0)][DBLP ] Theory and Applications of Relational Structures as Knowledge Instruments, 2003, pp:231-255 [Conf ] Ivo Düntsch , Ewa Orlowska , Hui Wang An Algebraic and Logical Approach to the Approximation of Regions. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2000, pp:65-74 [Conf ] Eugenio G. Omodeo , Ewa Orlowska , Alberto Policriti Rasiowa-Sikorski Style Relational Elementary Set Theory. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:215-226 [Conf ] Ewa Orlowska , Anna Maria Radzikowska Double Residuated Lattices and Their Applications. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2001, pp:171-189 [Conf ] Renate A. Schmidt , Ewa Orlowska , Ullrich Hustadt Two Proof Systems for Peirce Algebras. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:238-251 [Conf ] Andrea Formisano , Eugenio G. Omodeo , Ewa Orlowska An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics. [Citation Graph (0, 0)][DBLP ] Theory and Applications of Relational Structures as Knowledge Instruments, 2006, pp:89-104 [Conf ] Alfredo Burrieza , Manuel Ojeda-Aciego , Ewa Orlowska Relational Approach to Order-of-Magnitude Reasoning. [Citation Graph (0, 0)][DBLP ] Theory and Applications of Relational Structures as Knowledge Instruments, 2006, pp:105-124 [Conf ] Joanna Golinska-Pilarek , Ewa Orlowska Relational Logics and Their Applications. [Citation Graph (0, 0)][DBLP ] Theory and Applications of Relational Structures as Knowledge Instruments, 2006, pp:125-161 [Conf ] Ivo Düntsch , Ewa Orlowska , Anna Maria Radzikowska Lattice-Based Relation Algebras II. [Citation Graph (0, 0)][DBLP ] Theory and Applications of Relational Structures as Knowledge Instruments, 2006, pp:267-289 [Conf ] Wojciech Dzik , Ewa Orlowska , Clint J. van Alten Relational Representation Theorems for General Lattices with Negations. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2006, pp:162-176 [Conf ] Jouni Järvinen , Ewa Orlowska Relational Correspondences for Lattices with Operators. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2005, pp:134-146 [Conf ] Ewa Orlowska , Anna Maria Radzikowska Relational Representability for Algebras of Substructural Logics. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2005, pp:212-224 [Conf ] Ewa Orlowska , Ingrid Rewitzky , Ivo Düntsch Relational Semantics Through Duality. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2005, pp:17-32 [Conf ] Ewa Orlowska , Andrzej Szalas Quantifier Elimination in Elementary Set Theory. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2005, pp:237-248 [Conf ] Wojciech Dzik , Ewa Orlowska , Clint J. van Alten Relational Representation Theorems for Lattices with Negations: A Survey. [Citation Graph (0, 0)][DBLP ] Theory and Applications of Relational Structures as Knowledge Instruments, 2006, pp:245-266 [Conf ] Ewa Orlowska Information Algebras. [Citation Graph (0, 0)][DBLP ] AMAST, 1995, pp:50-65 [Conf ] Ewa Orlowska Algebraic Aspects of the Relational Knowledge Representation: Modal Relation Algebras. [Citation Graph (0, 0)][DBLP ] Nonclassical Logics and Information Processing, 1990, pp:1-22 [Conf ] Luis Fariñas del Cerro , Ewa Orlowska DAL: A Logic for Data Analysis. [Citation Graph (0, 0)][DBLP ] ECAI, 1984, pp:337-346 [Conf ] Ewa Orlowska Relational proof systems for some AI logics. [Citation Graph (0, 0)][DBLP ] FAIR, 1991, pp:33-47 [Conf ] Luis Fariñas del Cerro , Ewa Orlowska DAL - A Logic for Data Analysis. [Citation Graph (0, 0)][DBLP ] FGCS, 1984, pp:254-261 [Conf ] Ivo Düntsch , Wendy MacCaull , Ewa Orlowska Structures with Many-Valued Information and Their Relational Proof Theory. [Citation Graph (0, 0)][DBLP ] ISMVL, 2000, pp:293-0 [Conf ] Ewa Orlowska Post Relation Algebras and Their Proof System. [Citation Graph (0, 0)][DBLP ] ISMVL, 1991, pp:298-305 [Conf ] Ewa Orlowska Many-Valuedness and Uncertainty. [Citation Graph (0, 0)][DBLP ] ISMVL, 1997, pp:153-0 [Conf ] Ewa Orlowska Two Logical Dimensions. [Citation Graph (0, 0)][DBLP ] JELIA, 1994, pp:231- [Conf ] Ewa Orlowska Relational Environment for Semigroup Logics. [Citation Graph (0, 0)][DBLP ] Logic, Action, and Information, 1996, pp:351-391 [Conf ] Ewa Orlowska On some extensions of dynamic logic. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1980, pp:205-212 [Conf ] Ewa Orlowska Proof System for Weakest Prespecification and its Applications. [Citation Graph (0, 0)][DBLP ] MFCS, 1988, pp:463-471 [Conf ] Ewa Orlowska Rough Set Semantics for Non-classical Logics. [Citation Graph (0, 0)][DBLP ] RSKD, 1993, pp:143-148 [Conf ] Ewa Orlowska Reasoning with Incomplete Information: Rough Set Based Information Logics. [Citation Graph (0, 0)][DBLP ] SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems, 1993, pp:16-33 [Conf ] Stéphane Demri , Ewa Orlowska , Ingrid Rewitzky Towards Reasoning about Hoare Relations. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 1994, v:12, n:3-4, pp:265-289 [Journal ] Zofia Adamowicz , Sergei N. Artëmov , Damian Niwinski , Ewa Orowska , Anna Romanowska , Jan Wolenski Editorial. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2004, v:126, n:1-3, pp:3-4 [Journal ] Ivo Düntsch , Ewa Orlowska Boolean algebras arising from information systems. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 2004, v:127, n:1-3, pp:77-98 [Journal ] Michel Herment , Ewa Orlowska Handling Information Logics in a Graphical Proof Editor. [Citation Graph (0, 0)][DBLP ] Computational Intelligence, 1995, v:11, n:, pp:297-322 [Journal ] Mihir K. Chakraborty , Ewa Orlowska Substitutivity Principles in Some Theories of Uncertainty. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1997, v:32, n:2, pp:107-120 [Journal ] Ivo Düntsch , Ewa Orlowska , Hui Wang Algebras of Approximating Regions. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2001, v:46, n:1-2, pp:71-82 [Journal ] John Green , Neil Horne , Ewa Orlowska , Paul Siemens A Rough Set Model of Information Retrieval. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1996, v:28, n:3-4, pp:273-296 [Journal ] Ewa Orlowska Resolution problem and their applications I. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1980, v:3, n:2, pp:235-0 [Journal ] Ewa Orlowska Resolution systems and their applications II. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1980, v:3, n:3, pp:333-362 [Journal ] Ewa Orlowska , James F. Peters , Grzegorz Rozenberg , Andrzej Skowron In Memory of Professor Zdzislaw Pawlak. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2007, v:75, n:1-4, pp:- [Journal ] Stéphane Demri , Ewa Orlowska Relative Nondeterministic Information Logic is EXPTIME-complete. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 2007, v:75, n:1-4, pp:163-178 [Journal ] Beata Konikowska , Charles G. Morgan , Ewa Orlowska A Relational Formalisation of Arbitrary Finite Valued Logics. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 1998, v:6, n:5, pp:755-774 [Journal ] Ewa Orlowska , Ingrid Rewitzky Duality via Truth: Semantic frameworks for lattice-based logics. [Citation Graph (0, 0)][DBLP ] Logic Journal of the IGPL, 2005, v:13, n:4, pp:467-490 [Journal ] Ewa Orlowska Logical aspects of learning concepts. [Citation Graph (0, 0)][DBLP ] Int. J. Approx. Reasoning, 1988, v:2, n:4, pp:349-364 [Journal ] Ivo Düntsch , Günther Gediga , Ewa Orlowska Relational attribute systems. [Citation Graph (0, 0)][DBLP ] Int. J. Hum.-Comput. Stud., 2001, v:55, n:3, pp:293-309 [Journal ] Ewa Orlowska , Zdzislaw Pawlak Expressive Power of Knowledge Representation Systems. [Citation Graph (0, 0)][DBLP ] International Journal of Man-Machine Studies, 1984, v:20, n:5, pp:485-500 [Journal ] Ewa Orlowska Proof System for Weakest Prespecification. [Citation Graph (0, 0)][DBLP ] Inf. Process. Lett., 1988, v:27, n:6, pp:309-313 [Journal ] Ewa Orlowska Representation of vague information. [Citation Graph (0, 0)][DBLP ] Inf. Syst., 1988, v:13, n:2, pp:167-174 [Journal ] Marcelo F. Frias , Ewa Orlowska Equational Reasoning in Non--Classical Logics. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 1998, v:8, n:1-2, pp:- [Journal ] Philippe Balbiani , Ewa Orlowska A hierarchy of modal logics with relative accessibility relations. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 1999, v:9, n:2-3, pp:- [Journal ] Ewa Orlowska Dynamic logic with program specifications and its relational proof system. [Citation Graph (0, 0)][DBLP ] Journal of Applied Non-Classical Logics, 1993, v:3, n:2, pp:- [Journal ] Ewa Orlowska Relational Proof System for Relevant Logics. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1992, v:57, n:4, pp:1425-1440 [Journal ] Wendy MacCaull , Ewa Orlowska A Logic of Type Relations and its Applications to Relational Databases. [Citation Graph (0, 0)][DBLP ] J. Log. Comput., 2006, v:16, n:6, pp:789-815 [Journal ] Ivo Düntsch , Ewa Orlowska Logics of Complementarity in Information Systems. [Citation Graph (0, 0)][DBLP ] Math. Log. Q., 2000, v:46, n:2, pp:267-288 [Journal ] Stanislaw Balcerzyk , Wiktor Bartol , Ewa Orlowska , Andrzej Wieczorek , Agnieszka Wojciechowska-Waszkiewicz Jerzy Los 1920-1998; Elements of Biography. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2000, v:65, n:3, pp:301-314 [Journal ] Stéphane Demri , Ewa Orlowska Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of [diams]-Formulae. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1999, v:62, n:2, pp:177-200 [Journal ] Wendy MacCaull , Ewa Orlowska Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus. [Citation Graph (0, 0)][DBLP ] Studia Logica, 2002, v:71, n:3, pp:389-414 [Journal ] Ewa Orlowska , Andrzej Skowron In Memoriam Helena Rasiowa. [Citation Graph (0, 0)][DBLP ] Studia Logica, 1995, v:54, n:1, pp:1-2 [Journal ] Luis Fariñas del Cerro , Ewa Orlowska DAL - A Logic for Data Analysis. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1985, v:36, n:, pp:251-264 [Journal ] Luis Fariñas del Cerro , Ewa Orlowska Corrigendum: DAL-A Logic for Data Analysis. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1986, v:47, n:3, pp:345- [Journal ] Stéphane Demri , Ewa Orlowska Logical Analysis of Demonic Nondeterministic Programs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:166, n:1&2, pp:173-202 [Journal ] Ewa Orlowska Semantic Analysis of Inductive Reasoning. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1986, v:43, n:, pp:81-89 [Journal ] Ewa Orlowska , Zdzislaw Pawlak Representation of Nondeterministic Information. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1984, v:29, n:, pp:27-39 [Journal ] Ewa Orlowska , Ingrid Rewitzky Discrete Duality and Its Applications to Reasoning with Incomplete Information. [Citation Graph (0, 0)][DBLP ] RSEISP, 2007, pp:51-56 [Conf ] Ivo Düntsch , Günther Gediga , Ewa Orlowska Relational Attribute Systems II: Reasoning with Relations in Information Structures. [Citation Graph (0, 0)][DBLP ] T. Rough Sets, 2007, v:7, n:, pp:16-35 [Journal ] Discrete Duality for Relation Algebras and Cylindric Algebras. [Citation Graph (, )][DBLP ] Relational Reasoning in Formal Concept Analysis. [Citation Graph (, )][DBLP ] Search in 0.006secs, Finished in 0.008secs