Ewa 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
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