Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarEwa Orlowska
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2018
[i1]Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska:
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation (Extended Version). CoRR abs/1802.07508 (2018)- 2017
- [j64]Ivo Düntsch, Léonard Kwuida, Ewa Orlowska:
A Discrete Representation for Dicomplemented Lattices. Fundam. Inform. 156(3-4): 281-295 (2017) - [j63]
- [j62]Ivo Düntsch, Ewa Orlowska, Tinko Tinchev:
Mixed algebras and their logics. Journal of Applied Non-Classical Logics 27(3-4): 304-320 (2017) - 2016
- [j61]Ivo Düntsch, Ewa Orlowska, Clint J. van Alten:
Discrete dualities for n-potent MTL-algebras and 2-potent BL-algebras. Fuzzy Sets and Systems 292: 203-214 (2016) - [j60]Ivo Düntsch, Ewa Orlowska, Hui Wang:
A Relational Logic for Spatial Contact Based on Rough Set Approximation. Fundam. Inform. 148(1-2): 191-206 (2016) - 2014
- [j59]Ivo Düntsch, Ewa Orlowska:
Discrete dualities for some algebras with relations. J. Log. Algebr. Meth. Program. 83(2): 169-179 (2014) - [c35]Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska:
A Dual Tableau-based Decision Procedure for a Relational Logic with the Universal Relation. CILC 2014: 194-209 - 2013
- [j58]Ivo Düntsch, Ewa Orlowska:
Discrete Duality for Rough Relation Algebras. Fundam. Inform. 127(1-4): 35-47 (2013) - [p7]Ewa Orlowska, Anna Maria Radzikowska:
Knowledge Algebras and Their Discrete Duality. Rough Sets and Intelligent Systems (2) 2013: 7-20 - 2011
- [j57]Joanna Golinska-Pilarek, Ewa Orlowska:
Dual tableau for monoidal triangular norm logic MTL. Fuzzy Sets and Systems 162(1): 39-52 (2011) - [j56]Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska:
Dual tableau-based decision procedures for relational logics with restricted composition operator. Journal of Applied Non-Classical Logics 21(2): 177-200 (2011) - [j55]
- [j54]Ivo Düntsch, Ewa Orlowska:
Discrete Dualities for Double Stone Algebras. Studia Logica 99(1-3): 127-142 (2011) - [c34]
- 2010
- [j53]Ewa Orlowska, Ingrid Rewitzky:
Algebras for Galois-style connections and their discrete duality. Fuzzy Sets and Systems 161(9): 1325-1342 (2010) - [j52]Ivo Düntsch, Ewa Orlowska, Ingrid Rewitzky:
Structures with Multirelations, their Discrete Dualities and Applications. Fundam. Inform. 100(1-4): 77-98 (2010) - [c33]Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska:
Dual Tableau-based Decision Procedures for Some Relational Logics. CILC 2010
2000 – 2009
- 2009
- [j51]Alfredo Burrieza, Angel Mora, Manuel Ojeda-Aciego, Ewa Orlowska:
An implementation of a dual tableaux system for order-of-magnitude qualitative reasoning. Int. J. Comput. Math. 86(10&11): 1852-1866 (2009) - [c32]Ewa Orlowska, Ingrid Rewitzky:
Discrete Duality for Relation Algebras and Cylindric Algebras. RelMiCS 2009: 291-305 - 2008
- [j50]Ewa Orlowska, Anna Maria Radzikowska:
Representation theorems for some fuzzy logics based on residuated non-distributive lattices. Fuzzy Sets and Systems 159(10): 1247-1259 (2008) - [j49]Ivo Düntsch, Ewa Orlowska:
A discrete duality between apartness algebras and apartness frames. Journal of Applied Non-Classical Logics 18(2-3): 213-227 (2008) - [j48]Ewa Orlowska, Ingrid Rewitzky:
Context Algebras, Context Frames, and Their Discrete Duality. Trans. Rough Sets 9: 212-229 (2008) - 2007
- [j47]Stéphane Demri, Ewa Orlowska:
Relative Nondeterministic Information Logic is EXPTIME-complete. Fundam. Inform. 75(1-4): 163-178 (2007) - [j46]Ewa Orlowska, James F. Peters, Grzegorz Rozenberg, Andrzej Skowron:
In Memory of Professor Zdzislaw Pawlak. Fundam. Inform. 75(1-4) (2007) - [j45]Anna B. Romanowska, Jonathan D. H. Smith, Ewa Orlowska:
Abstract Barycentric Algebras. Fundam. Inform. 81(1-3): 257-273 (2007) - [j44]Ewa Orlowska, Ingrid Rewitzky:
Discrete Dualities for Heyting Algebras with Operators. Fundam. Inform. 81(1-3): 275-295 (2007) - [j43]Joanna Golinska-Pilarek, Ewa Orlowska:
Tableaux and Dual Tableaux: Transformation of Proofs. Studia Logica 85(3): 283-302 (2007) - [j42]Ivo Düntsch, Günther Gediga, Ewa Orlowska:
Relational Attribute Systems II: Reasoning with Relations in Information Structures. Trans. Rough Sets 7: 16-35 (2007) - [c31]Joanna Golinska-Pilarek, Ewa Orlowska:
Relational Reasoning in Formal Concept Analysis. FUZZ-IEEE 2007: 1-6 - [c30]Ewa Orlowska, Ingrid Rewitzky:
Discrete Duality and Its Applications to Reasoning with Incomplete Information. RSEISP 2007: 51-56 - [e6]James F. Peters, Andrzej Skowron, Ivo Düntsch, Jerzy W. Grzymala-Busse, Ewa Orlowska, Lech Polkowski:
Transactions on Rough Sets VI, Commemorating the Life and Work of Zdzislaw Pawlak, Part I. Lecture Notes in Computer Science 4374, Springer 2007, ISBN 978-3-540-71198-8 [contents] - [e5]James F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orlowska, Roman Slowinski, Wojciech Ziarko:
Transactions on Rough Sets VII, Commemorating the Life and Work of Zdzislaw Pawlak, Part II. Lecture Notes in Computer Science 4400, Springer 2007, ISBN 978-3-540-71662-4 [contents] - 2006
- [j41]Davide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska:
Relational dual tableaux for interval temporal logics. Journal of Applied Non-Classical Logics 16(3-4): 251-278 (2006) - [j40]Joanna Golinska-Pilarek, Ewa Orlowska:
Relational proof systems for spatial reasoning. Journal of Applied Non-Classical Logics 16(3-4): 409-432 (2006) - [j39]Wendy MacCaull, Ewa Orlowska:
A Logic of Type Relations and its Applications to Relational Databases. J. Log. Comput. 16(6): 789-815 (2006) - [j38]Luisa Iturrioz, Ewa Orlowska:
A Kripke-Style and Relational Semantics for Logics Based on Lukasiewicz Algebras. Multiple-Valued Logic and Soft Computing 12(1-2): 131-147 (2006) - [c29]Wojciech Dzik, Ewa Orlowska, Clint J. van Alten:
Relational Representation Theorems for General Lattices with Negations. RelMiCS 2006: 162-176 - [p6]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. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 89-104 - [p5]Alfredo Burrieza, Manuel Ojeda-Aciego, Ewa Orlowska:
Relational Approach to Order-of-Magnitude Reasoning. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 105-124 - [p4]Joanna Golinska-Pilarek, Ewa Orlowska:
Relational Logics and Their Applications. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 125-161 - [p3]Wojciech Dzik, Ewa Orlowska, Clint J. van Alten:
Relational Representation Theorems for Lattices with Negations: A Survey. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 245-266 - [p2]Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska:
Lattice-Based Relation Algebras II. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 267-289 - [e4]Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens:
Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers. Lecture Notes in Computer Science 4342, Springer 2006, ISBN 3-540-69223-1 [contents] - 2005
- [j37]Ewa Orlowska, Ingrid Rewitzky:
Duality via Truth: Semantic frameworks for lattice-based logics. Logic Journal of the IGPL 13(4): 467-490 (2005) - [c28]Ewa Orlowska, Ingrid Rewitzky, Ivo Düntsch:
Relational Semantics Through Duality. RelMiCS 2005: 17-32 - [c27]Jouni Järvinen, Ewa Orlowska:
Relational Correspondences for Lattices with Operators. RelMiCS 2005: 134-146 - [c26]Ewa Orlowska, Anna Maria Radzikowska:
Relational Representability for Algebras of Substructural Logics. RelMiCS 2005: 212-224 - [c25]Ewa Orlowska, Andrzej Szalas:
Quantifier Elimination in Elementary Set Theory. RelMiCS 2005: 237-248 - 2004
- [j36]Zofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski:
Editorial. Ann. Pure Appl. Logic 126(1-3): 3-4 (2004) - [j35]Ivo Düntsch, Ewa Orlowska:
Boolean algebras arising from information systems. Ann. Pure Appl. Logic 127(1-3): 77-98 (2004) - 2003
- [c24]
- [c23]Eugenio G. Omodeo, Ewa Orlowska, Alberto Policriti:
Rasiowa-Sikorski Style Relational Elementary Set Theory. RelMiCS 2003: 215-226 - [c22]Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt:
Two Proof Systems for Peirce Algebras. RelMiCS 2003: 238-251 - [p1]Ivo Düntsch, Ewa Orlowska, Anna Maria Radzikowska:
Lattice-Based Relation Algebras and Their Representability. Theory and Applications of Relational Structures as Knowledge Instruments 2003: 231-255 - [e3]Harrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens:
Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised Papers. Lecture Notes in Computer Science 2929, Springer 2003, ISBN 3-540-20780-5 [contents] - 2002
- [b1]Stéphane Demri, Ewa Orlowska:
Incomplete Information: Structure, Inference, Complexity. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2002, ISBN 3-540-41904-7, pp. I-XVIII, 1-408 - [j34]Wendy MacCaull, Ewa Orlowska:
Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus. Studia Logica 71(3): 389-414 (2002) - 2001
- [j33]Ivo Düntsch, Ewa Orlowska, Hui Wang:
Algebras of Approximating Regions. Fundam. Inform. 46(1-2): 71-82 (2001) - [j32]Ivo Düntsch, Günther Gediga, Ewa Orlowska:
Relational attribute systems. Int. J. Hum.-Comput. Stud. 55(3): 293-309 (2001) - [c21]Ewa Orlowska, Anna Maria Radzikowska:
Double Residuated Lattices and Their Applications. RelMiCS 2001: 171-189 - 2000
- [j31]Ivo Düntsch, Ewa Orlowska:
A Proof System for Contact Relation Algebras. J. Philosophical Logic 29(3): 241-262 (2000) - [j30]Ivo Düntsch, Ewa Orlowska:
Logics of Complementarity in Information Systems. Math. Log. Q. 46(2): 267-288 (2000) - [j29]Stanislaw Balcerzyk, Wiktor Bartol, Ewa Orlowska, Andrzej Wieczorek, Agnieszka Wojciechowska-Waszkiewicz:
Jerzy Los 1920-1998; Elements of Biography. Studia Logica 65(3): 301-314 (2000) - [c20]Ivo Düntsch, Ewa Orlowska, Hui Wang:
An Algebraic and Logical Approach to the Approximation of Regions. RelMiCS 2000: 65-74 - [c19]Ivo Düntsch, Wendy MacCaull, Ewa Orlowska:
Structures with Many-Valued Information and Their Relational Proof Theory. ISMVL 2000: 293-304
1990 – 1999
- 1999
- [j28]Philippe Balbiani, Ewa Orlowska:
A hierarchy of modal logics with relative accessibility relations. Journal of Applied Non-Classical Logics 9(2-3): 303-328 (1999) - [j27]Stéphane Demri, Ewa Orlowska:
Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of [diams]-Formulae. Studia Logica 62(2): 177-200 (1999) - 1998
- [j26]Beata Konikowska, Charles G. Morgan, Ewa Orlowska:
A Relational Formalisation of Arbitrary Finite Valued Logics. Logic Journal of the IGPL 6(5): 755-774 (1998) - [j25]Marcelo F. Frias, Ewa Orlowska:
Equational Reasoning in Non--Classical Logics. Journal of Applied Non-Classical Logics 8(1-2): 27-66 (1998) - [c18]Stéphane Demri, Ewa Orlowska:
Classes of modal frames definable by closure relational operations. RelMiCS 1998: 48-52 - [c17]Beata Konikowska, Charles G. Morgan, Ewa Orlowska:
Relational semantics for arbitrary finite valued logics. RelMiCS 1998: 138-143 - [e2]Ewa Orlowska, Andrzej Szalas:
Participants Copies for Relational Methods in Logic, Algebra and Computer Science, 4th International Seminar RelMiCS, Warsaw, Poland, Septermber 14-20, 1998. 1998 [contents] - 1997
- [j24]Mihir K. Chakraborty, Ewa Orlowska:
Substitutivity Principles in Some Theories of Uncertainty. Fundam. Inform. 32(2): 107-120 (1997) - [c16]
- [c15]
- [c14]
- 1996
- [j23]John Green, Neil Horne, Ewa Orlowska, Paul Siemens:
A Rough Set Model of Information Retrieval. Fundam. Inform. 28(3-4): 273-296 (1996) - [j22]Stéphane Demri, Ewa Orlowska:
Logical Analysis of Demonic Nondeterministic Programs. Theor. Comput. Sci. 166(1&2): 173-202 (1996) - [c13]Ewa Orlowska:
Relational Environment for Semigroup Logics. Logic, Action, and Information 1996: 351-391 - [e1]José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska:
Logics in Artificial Intelligence, European Workshop, JELIA '96, Évora, Portugal, September 30 - October 3, 1996, Proceedings. Lecture Notes in Computer Science 1126, Springer 1996, ISBN 3-540-61630-6 [contents] - 1995
- [j21]Michel Herment, Ewa Orlowska:
Handling Information Logics in a Graphical Proof Editor. Computational Intelligence 11: 297-322 (1995) - [j20]
- [c12]
- 1994
- [j19]Stéphane Demri, Ewa Orlowska, Ingrid Rewitzky:
Towards Reasoning about Hoare Relations. Ann. Math. Artif. Intell. 12(3-4): 265-289 (1994) - [c11]
- 1993
- [j18]Ewa Orlowska:
Dynamic logic with program specifications and its relational proof system. Journal of Applied Non-Classical Logics 3(2): 147-171 (1993) - [c10]
- [c9]Ewa Orlowska:
Reasoning with Incomplete Information: Rough Set Based Information Logics. SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems 1993: 16-33 - 1992
- [j17]
- 1991
- [c8]
- [c7]
- 1990
- [j16]Ewa Orlowska:
Kripke semantics for knowledge representation logics. Studia Logica 49(2): 255-272 (1990) - [j15]
- [c6]Ewa Orlowska:
Algebraic Aspects of the Relational Knowledge Representation: Modal Relation Algebras. Nonclassical Logics and Information Processing 1990: 1-22
1980 – 1989
- 1989
- [j14]
- 1988
- [j13]
- [j12]
- [j11]
- [c5]
- 1986
- [j10]
- [j9]Luis Fariñas del Cerro, Ewa Orlowska:
Corrigendum: DAL-A Logic for Data Analysis. Theor. Comput. Sci. 47(3): 345 (1986) - 1985
- [j8]
- [j7]Luis Fariñas del Cerro, Ewa Orlowska:
DAL - A Logic for Data Analysis. Theor. Comput. Sci. 36: 251-264 (1985) - 1984
- [j6]Ewa Orlowska, Zdzislaw Pawlak:
Expressive Power of Knowledge Representation Systems. International Journal of Man-Machine Studies 20(5): 485-500 (1984) - [j5]Ewa Orlowska:
Modal Logics in the Theory of Information Systems. Math. Log. Q. 30(13-16): 213-222 (1984) - [j4]Ewa Orlowska, Zdzislaw Pawlak:
Representation of Nondeterministic Information. Theor. Comput. Sci. 29: 27-39 (1984) - [c4]
- [c3]
- [c2]
- 1982
- [j3]Ewa Orlowska:
Representation of temporal information. International Journal of Parallel Programming 11(6): 397-408 (1982) - 1980
- [j2]
- [j1]
- [c1]
Coauthor Index
maintained by 
, founded at 
, founded at 
last updated on 2019-02-14 22:48 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
