Ewa Orlowska - RankMe

118 papers A 1B 4C 1Journal 67Unranked 30

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Discrete dualities for some algebras from rough sets. CoRR Ivo Düntsch, Ewa Orlowska
2025	J	`jnl`	The Evolution of Rough Sets 1970s-1981. CoRR Viktor Marek, Ewa Orlowska, Ivo Düntsch
2019	—	`conf`	A Discrete Representation of Lattice Frames. LORI Ivo Düntsch, Ewa Orlowska
2019	J	`jnl`	Representation of Lattices with Modal Operators in Two-Sorted Frames. Fundam. Informaticae Chrysafis Hartonas, Ewa Orlowska
2018	J	`jnl`	A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version). CoRR Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
2017	J	`jnl`	A Discrete Representation for Dicomplemented Lattices. Fundam. Informaticae Ivo Düntsch, Léonard Kwuida, Ewa Orlowska
2017	J	`jnl`	Mixed algebras and their logics. J. Appl. Non Class. Logics Ivo Düntsch, Ewa Orlowska, Tinko Tinchev
2017	J	`jnl`	Preface. Fundam. Informaticae Damian Niwinski, Ewa Orlowska
2016	J	`jnl`	A Relational Logic for Spatial Contact Based on Rough Set Approximation. Fundam. Informaticae Ivo Düntsch, Ewa Orlowska, Hui Wang
2016	J	`jnl`	Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras. Fuzzy Sets Syst. Ivo Düntsch, Ewa Orlowska, Clint J. van Alten
2014	—	`conf`	A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation. CILC Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
2014	J	`jnl`	Discrete dualities for some algebras with relations. J. Log. Algebraic Methods Program. Ivo Düntsch, Ewa Orlowska
2013	J	`jnl`	Discrete Duality for Rough Relation Algebras. Fundam. Informaticae Ivo Düntsch, Ewa Orlowska
2013	—	`ch.`	Knowledge Algebras and Their Discrete Duality. Rough Sets and Intelligent Systems (2) Ewa Orlowska, Anna Maria Radzikowska
2011	C	`conf`	An Algebraic Approach to Preference Relations. RAMiCS Ivo Düntsch, Ewa Orlowska
2011	J	`jnl`	Book Reviews. Stud Logica Ewa Orlowska
2011	J	`jnl`	Discrete Dualities for Double Stone Algebras. Stud Logica Ivo Düntsch, Ewa Orlowska
2011	J	`jnl`	Dual tableau for monoidal triangular norm logic MTL. Fuzzy Sets Syst. Joanna Golinska-Pilarek, Ewa Orlowska
2011	J	`jnl`	Dual tableau-based decision procedures for relational logics with restricted composition operator. J. Appl. Non Class. Logics Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
2010	J	`jnl`	Algebras for Galois-style connections and their discrete duality. Fuzzy Sets Syst. Ewa Orlowska, Ingrid Rewitzky
2010	—	`conf`	Dual Tableau-based Decision Procedures for Some Relational Logics. CILC Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska
2010	J	`jnl`	Structures with Multirelations, their Discrete Dualities and Applications. Fundam. Informaticae Ivo Düntsch, Ewa Orlowska, Ingrid Rewitzky
2009	J	`jnl`	An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Int. J. Comput. Math. Alfredo Burrieza, Ángel Mora, Manuel Ojeda-Aciego, Ewa Orlowska
2009	—	`conf`	Discrete Duality for Relation Algebras and Cylindric Algebras. RelMiCS Ewa Orlowska, Ingrid Rewitzky
2008	J	`jnl`	A discrete duality between apartness algebras and apartness frames. J. Appl. Non Class. Logics Ivo Düntsch, Ewa Orlowska
2008	J	`jnl`	Context Algebras, Context Frames, and Their Discrete Duality. Trans. Rough Sets Ewa Orlowska, Ingrid Rewitzky
2008	J	`jnl`	Representation theorems for some fuzzy logics based on residuated non-distributive lattices. Fuzzy Sets Syst. Ewa Orlowska, Anna Maria Radzikowska
2007	J	`jnl`	Abstract Barycentric Algebras. Fundam. Informaticae Anna B. Romanowska, Jonathan D. H. Smith, Ewa Orlowska
2007	J	`jnl`	Discrete Dualities for Heyting Algebras with Operators. Fundam. Informaticae Ewa Orlowska, Ingrid Rewitzky
2007	—	`conf`	Discrete Duality and Its Applications to Reasoning with Incomplete Information. RSEISP Ewa Orlowska, Ingrid Rewitzky
2007	J	`jnl`	In Memory of Professor Zdzislaw Pawlak. Fundam. Informaticae Ewa Orlowska, James F. Peters, Grzegorz Rozenberg, Andrzej Skowron
2007	J	`jnl`	Relational Attribute Systems II: Reasoning with Relations in Information Structures. Trans. Rough Sets Ivo Düntsch, Günther Gediga, Ewa Orlowska
2007	B	`conf`	Relational Reasoning in Formal Concept Analysis. FUZZ-IEEE Joanna Golinska-Pilarek, Ewa Orlowska
2007	J	`jnl`	Relative Nondeterministic Information Logic is EXPTIME-complete. Fundam. Informaticae Stéphane Demri, Ewa Orlowska
2007	J	`jnl`	Tableaux and Dual Tableaux: Transformation of Proofs. Stud Logica Joanna Golinska-Pilarek, Ewa Orlowska
2007	—	`ed.`	Transactions on Rough Sets VI, Commemorating the Life and Work of Zdzislaw Pawlak, Part I Trans. Rough Sets James F. Peters, Andrzej Skowron, Ivo Düntsch, Jerzy W. Grzymala-Busse, Ewa Orlowska, Lech Polkowski
2007	—	`ed.`	Transactions on Rough Sets VII, Commemorating the Life and Work of Zdzislaw Pawlak, Part II Trans. Rough Sets James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orlowska, Roman Slowinski, Wojciech Ziarko
2006	J	`jnl`	A Kripke-Style and Relational Semantics for Logics Based on Lukasiewicz Algebras. J. Multiple Valued Log. Soft Comput. Luisa Iturrioz, Ewa Orlowska
2006	J	`jnl`	A Logic of Type Relations and its Applications to Relational Databases. J. Log. Comput. Wendy MacCaull, Ewa Orlowska
2006	—	`ch.`	An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics. Theory and Applications of Relational Structures as Knowledge Instruments Andrea Formisano, Eugenio G. Omodeo, Ewa Orlowska
2006	—	`ch.`	Lattice-Based Relation Algebras II. Theory and Applications of Relational Structures as Knowledge Instruments Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska
2006	—	`ch.`	Relational Approach to Order-of-Magnitude Reasoning. Theory and Applications of Relational Structures as Knowledge Instruments Alfredo Burrieza, Manuel Ojeda-Aciego, Ewa Orlowska
2006	—	`ch.`	Relational Logics and Their Applications. Theory and Applications of Relational Structures as Knowledge Instruments Joanna Golinska-Pilarek, Ewa Orlowska
2006	—	`conf`	Relational Representation Theorems for General Lattices with Negations. RelMiCS Wojciech Dzik, Ewa Orlowska, Clint J. van Alten
2006	—	`ch.`	Relational Representation Theorems for Lattices with Negations: A Survey. Theory and Applications of Relational Structures as Knowledge Instruments Wojciech Dzik, Ewa Orlowska, Clint J. van Alten
2006	J	`jnl`	Relational dual tableaux for interval temporal logics. J. Appl. Non Class. Logics Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska
2006	J	`jnl`	Relational proof systems for spatial reasoning. J. Appl. Non Class. Logics Joanna Golinska-Pilarek, Ewa Orlowska
2006	—	`book`	Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers Theory and Applications of Relational Structures as Knowledge Instruments Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens
2005	J	`jnl`	Duality via Truth: Semantic frameworks for lattice-based logics. Log. J. IGPL Ewa Orlowska, Ingrid Rewitzky
2005	—	`conf`	Quantifier Elimination in Elementary Set Theory. RelMiCS Ewa Orlowska, Andrzej Szalas
2005	—	`conf`	Relational Correspondences for Lattices with Operators. RelMiCS Jouni Järvinen, Ewa Orlowska
2005	—	`conf`	Relational Representability for Algebras of Substructural Logics. RelMiCS Ewa Orlowska, Anna Maria Radzikowska
2005	—	`conf`	Relational Semantics Through Duality. RelMiCS Ewa Orlowska, Ingrid Rewitzky, Ivo Düntsch
2004	J	`jnl`	Boolean algebras arising from information systems. Ann. Pure Appl. Log. Ivo Düntsch, Ewa Orlowska
2004	J	`jnl`	Editorial. Ann. Pure Appl. Log. Zofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski
2003	—	`conf`	A Calculus of Typed Relations. RelMiCS Wendy MacCaull, Ewa Orlowska
2003	—	`ch.`	Lattice-Based Relation Algebras and Their Representability. Theory and Applications of Relational Structures as Knowledge Instruments Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska
2003	—	`conf`	Rasiowa-Sikorski Style Relational Elementary Set Theory. RelMiCS Eugenio G. Omodeo, Ewa Orlowska, Alberto Policriti
2003	—	`book`	Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers Theory and Applications of Relational Structures as Knowledge Instruments Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens
2003	—	`conf`	Two Proof Systems for Peirce Algebras. RelMiCS Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt
2002	J	`jnl`	Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus. Stud Logica Wendy MacCaull, Ewa Orlowska
2002	—	`book`	Incomplete Information: Structure, Inference, Complexity Stéphane Demri, Ewa Orlowska
2001	J	`jnl`	Algebras of Approximating Regions. Fundam. Informaticae Ivo Düntsch, Ewa Orlowska, Hui Wang
2001	—	`conf`	Double Residuated Lattices and Their Applications. RelMiCS Ewa Orlowska, Anna Maria Radzikowska
2001	J	`jnl`	Relational attribute systems. Int. J. Hum. Comput. Stud. Ivo Düntsch, Günther Gediga, Ewa Orlowska
2000	J	`jnl`	A Proof System for Contact Relation Algebras. J. Philos. Log. Ivo Düntsch, Ewa Orlowska
2000	—	`conf`	An Algebraic and Logical Approach to the Approximation of Regions. RelMiCS Ivo Düntsch, Ewa Orlowska, Hui Wang
2000	J	`jnl`	Jerzy Los 1920-1998; Elements of Biography. Stud Logica Stanislaw Balcerzyk, Wiktor Bartol, Ewa Orlowska, Andrzej Wieczorek, Agnieszka Wojciechowska-Waszkiewicz
2000	J	`jnl`	Logics of Complementarity in Information Systems. Math. Log. Q. Ivo Düntsch, Ewa Orlowska
2000	—	`conf`	Structures with Many-Valued Information and Their Relational Proof Theory. ISMVL Ivo Düntsch, Wendy MacCaull, Ewa Orlowska
1999	J	`jnl`	A hierarchy of modal logics with relative accessibility relations. J. Appl. Non Class. Logics Philippe Balbiani, Ewa Orlowska
1999	J	`jnl`	Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of [diams]-Formulae. Stud Logica Stéphane Demri, Ewa Orlowska
1998	J	`jnl`	A Relational Formalisation of Arbitrary Finite Valued Logics. Log. J. IGPL Beata Konikowska, Charles G. Morgan, Ewa Orlowska
1998	—	`conf`	Classes of modal frames definable by closure relational operations. RelMiCS Stéphane Demri, Ewa Orlowska
1998	J	`jnl`	Equational Reasoning in Non--Classical Logics. J. Appl. Non Class. Logics Marcelo F. Frias, Ewa Orlowska
1998	—	`ed.`	Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, September 14-20, 1998 RelMiCS Ewa Orlowska, Andrzej Szalas
1998	—	`conf`	Relational semantics for arbitrary finite valued logics. RelMiCS Beata Konikowska, Charles G. Morgan, Ewa Orlowska
1997	—	`conf`	Equational Reasoning in Non-Classical Logics. RelMiCS Marcelo F. Frias, Ewa Orlowska
1997	—	`conf`	Many-Valuedness and Uncertainty. ISMVL Ewa Orlowska
1997	—	`conf`	Reasoning with Relational Demonic Operators. RelMiCS Stéphane Demri, Ewa Orlowska
1997	—	`ch.`	Relational Formalisation of Nonclassical Logics. Relational Methods in Computer Science Ewa Orlowska
1997	J	`jnl`	Substitutivity Principles in Some Theories of Uncertainty. Fundam. Informaticae Mihir K. Chakraborty, Ewa Orlowska
1996	J	`jnl`	A Rough Set Model of Information Retrieval. Fundam. Informaticae John Green, Neil Horne, Ewa Orlowska, Paul Siemens
1996	J	`jnl`	Logical Analysis of Demonic Nondeterministic Programs. Theor. Comput. Sci. Stéphane Demri, Ewa Orlowska
1996	B	`ed.`	Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings JELIA José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska
1996	—	`ch.`	Relational Environment for Semigroup Logics. Logic, Action, and Information Ewa Orlowska
1995	J	`jnl`	Handling Information Logics in a Graphical Proof Editor. Comput. Intell. Michel Herment, Ewa Orlowska
1995	J	`jnl`	In Memoriam Helena Rasiowa. Stud Logica Ewa Orlowska, Andrzej Skowron
1995	—	`conf`	Information Algebras. AMAST Ewa Orlowska
1994	J	`jnl`	Towards Reasoning about Hoare Relations. Ann. Math. Artif. Intell. Stéphane Demri, Ewa Orlowska, Ingrid Rewitzky
1994	B	`conf`	Two Logical Dimensions. JELIA Ewa Orlowska
1993	J	`jnl`	Dynamic logic with program specifications and its relational proof system. J. Appl. Non Class. Logics Ewa Orlowska
1993	—	`conf`	Reasoning with Incomplete Information: Rough Set Based Information Logics. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems Ewa Orlowska
1993	—	`conf`	Rough Set Semantics for Non-classical Logics. RSKD Ewa Orlowska
1992	J	`jnl`	Relational Proof System for Relevant Logics. J. Symb. Log. Ewa Orlowska
1991	—	`conf`	Post Relation Algebras and Their Proof System. ISMVL Ewa Orlowska
1991	—	`conf`	Relational proof systems for some AI logics. FAIR Ewa Orlowska
1990	—	`conf`	Algebraic Aspects of the Relational Knowledge Representation: Modal Relation Algebras. Nonclassical Logics and Information Processing Ewa Orlowska
1990	J	`jnl`	Kripke semantics for knowledge representation logics. Stud Logica Ewa Orlowska
1990	J	`jnl`	Verisimilitude based on concept analysis. Stud Logica Ewa Orlowska
1989	J	`jnl`	Logic For Reasoning About Knowledge. Math. Log. Q. Ewa Orlowska
1988	J	`jnl`	Logical aspects of learning concepts. Int. J. Approx. Reason. Ewa Orlowska
1988	B	`conf`	Proof System for Weakest Prespecification and its Applications. MFCS Ewa Orlowska
1988	J	`jnl`	Proof System for Weakest Prespecification. Inf. Process. Lett. Ewa Orlowska
1988	J	`jnl`	Representation of vague information. Inf. Syst. Ewa Orlowska
1986	J	`jnl`	Semantic Analysis of Inductive Reasoning. Theor. Comput. Sci. Ewa Orlowska
1985	J	`jnl`	DAL - A Logic for Data Analysis. Theor. Comput. Sci. Luis Fariñas del Cerro, Ewa Orlowska
1985	J	`jnl`	Logic of nondeterministic information. Stud Logica Ewa Orlowska
1984	—	`conf`	A logic of indiscernibility relations. Symposium on Computation Theory Ewa Orlowska
1984	—	`conf`	DAL - A Logic for Data Analysis. FGCS Luis Fariñas del Cerro, Ewa Orlowska
1984	A	`conf`	DAL: A Logic for Data Analysis. ECAI Luis Fariñas del Cerro, Ewa Orlowska
1984	J	`jnl`	Expressive Power of Knowledge Representation Systems. Int. J. Man Mach. Stud. Ewa Orlowska, Zdzislaw Pawlak
1984	J	`jnl`	Modal Logics in the Theory of Information Systems. Math. Log. Q. Ewa Orlowska
1984	J	`jnl`	Representation of Nondeterministic Information. Theor. Comput. Sci. Ewa Orlowska, Zdzislaw Pawlak
1982	J	`jnl`	Representation of temporal information. Int. J. Parallel Program. Ewa Orlowska
1980	—	`conf`	On some extensions of dynamic logic. Logic of Programs Ewa Orlowska
1980	J	`jnl`	Resolution problem and their applications I. Fundam. Informaticae Ewa Orlowska
1980	J	`jnl`	Resolution systems and their applications II. Fundam. Informaticae Ewa Orlowska