default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEwa Orlowska
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[j65]Chrysafis Hartonas
, Ewa Orlowska:
Representation of Lattices with Modal Operators in Two-Sorted Frames. Fundam. Informaticae 166(1): 29-56 (2019)- [c35]Ivo Düntsch, Ewa Orlowska:
A Discrete Representation of Lattice Frames. LORI 2019: 86-97 - 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. Informaticae 156(3-4): 281-295 (2017) - [j63]Damian Niwinski, Ewa Orlowska:
Preface. Fundam. Informaticae 156(3-4) (2017) - [j62]Ivo Düntsch, Ewa Orlowska, Tinko Tinchev:
Mixed algebras and their logics. J. Appl. Non Class. 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 Syst. 292: 203-214 (2016) - [j60]Ivo Düntsch, Ewa Orlowska, Hui Wang:
A Relational Logic for Spatial Contact Based on Rough Set Approximation. Fundam. Informaticae 148(1-2): 191-206 (2016) - 2014
- [j59]Ivo Düntsch, Ewa Orlowska:
Discrete dualities for some algebras with relations. J. Log. Algebraic Methods Program. 83(2): 169-179 (2014) - [c34]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. Informaticae 127(1-4): 35-47 (2013) - [p9]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 Syst. 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. J. Appl. Non Class. Logics 21(2): 177-200 (2011) - [j55]Ewa Orlowska:
Book Reviews. Stud Logica 97(3): 415-419 (2011) - [j54]Ivo Düntsch, Ewa Orlowska:
Discrete Dualities for Double Stone Algebras. Stud Logica 99(1-3): 127-142 (2011) - [c33]Ivo Düntsch, Ewa Orlowska:
An Algebraic Approach to Preference Relations. RAMiCS 2011: 141-147 - 2010
- [j53]Ewa Orlowska, Ingrid Rewitzky:
Algebras for Galois-style connections and their discrete duality. Fuzzy Sets Syst. 161(9): 1325-1342 (2010) - [j52]Ivo Düntsch, Ewa Orlowska, Ingrid Rewitzky:
Structures with Multirelations, their Discrete Dualities and Applications. Fundam. Informaticae 100(1-4): 77-98 (2010) - [c32]Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska:
Dual Tableau-based Decision Procedures for Some Relational Logics. CILC 2010
2000 – 2009
- 2009
- [j51]Alfredo Burrieza, Ángel 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) - [c31]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 Syst. 159(10): 1247-1259 (2008) - [j49]Ivo Düntsch, Ewa Orlowska:
A discrete duality between apartness algebras and apartness frames. J. Appl. Non Class. 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. Informaticae 75(1-4): 163-178 (2007) - [j46]Ewa Orlowska, James F. Peters, Grzegorz Rozenberg, Andrzej Skowron:
In Memory of Professor Zdzislaw Pawlak. Fundam. Informaticae 75(1-4) (2007) - [j45]Anna B. Romanowska, Jonathan D. H. Smith, Ewa Orlowska:
Abstract Barycentric Algebras. Fundam. Informaticae 81(1-3): 257-273 (2007) - [j44]Ewa Orlowska, Ingrid Rewitzky:
Discrete Dualities for Heyting Algebras with Operators. Fundam. Informaticae 81(1-3): 275-295 (2007) - [j43]Joanna Golinska-Pilarek, Ewa Orlowska:
Tableaux and Dual Tableaux: Transformation of Proofs. Stud 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) - [c30]Joanna Golinska-Pilarek, Ewa Orlowska:
Relational Reasoning in Formal Concept Analysis. FUZZ-IEEE 2007: 1-6 - [c29]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. J. Appl. Non Class. Logics 16(3-4): 251-278 (2006) - [j40]Joanna Golinska-Pilarek, Ewa Orlowska:
Relational proof systems for spatial reasoning. J. Appl. Non Class. 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. J. Multiple Valued Log. Soft Comput. 12(1-2): 131-147 (2006) - [c28]Wojciech Dzik, Ewa Orlowska, Clint J. van Alten:
Relational Representation Theorems for General Lattices with Negations. RelMiCS 2006: 162-176 - [p8]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 - [p7]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 - [p6]Joanna Golinska-Pilarek, Ewa Orlowska:
Relational Logics and Their Applications. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 125-161 - [p5]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 - [p4]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. Log. J. IGPL 13(4): 467-490 (2005) - [c27]Ewa Orlowska, Ingrid Rewitzky, Ivo Düntsch:
Relational Semantics Through Duality. RelMiCS 2005: 17-32 - [c26]Jouni Järvinen, Ewa Orlowska:
Relational Correspondences for Lattices with Operators. RelMiCS 2005: 134-146 - [c25]Ewa Orlowska, Anna Maria Radzikowska:
Relational Representability for Algebras of Substructural Logics. RelMiCS 2005: 212-224 - [c24]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. Log. 126(1-3): 3-4 (2004) - [j35]Ivo Düntsch, Ewa Orlowska:
Boolean algebras arising from information systems. Ann. Pure Appl. Log. 127(1-3): 77-98 (2004) - 2003
- [c23]Wendy MacCaull, Ewa Orlowska:
A Calculus of Typed Relations. RelMiCS 2003: 191-201 - [c22]Eugenio G. Omodeo, Ewa Orlowska, Alberto Policriti:
Rasiowa-Sikorski Style Relational Elementary Set Theory. RelMiCS 2003: 215-226 - [c21]Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt:
Two Proof Systems for Peirce Algebras. RelMiCS 2003: 238-251 - [p3]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. Stud Logica 71(3): 389-414 (2002) - 2001
- [j33]Ivo Düntsch, Ewa Orlowska, Hui Wang:
Algebras of Approximating Regions. Fundam. Informaticae 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) - [c20]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. Philos. Log. 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. Stud Logica 65(3): 301-314 (2000) - [c19]Ivo Düntsch, Ewa Orlowska, Hui Wang:
An Algebraic and Logical Approach to the Approximation of Regions. RelMiCS 2000: 65-74 - [c18]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. J. Appl. Non Class. 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. Stud Logica 62(2): 177-200 (1999) - 1998
- [j26]Beata Konikowska, Charles G. Morgan, Ewa Orlowska:
A Relational Formalisation of Arbitrary Finite Valued Logics. Log. J. IGPL 6(5): 755-774 (1998) - [j25]Marcelo F. Frias, Ewa Orlowska:
Equational Reasoning in Non--Classical Logics. J. Appl. Non Class. Logics 8(1-2): 27-66 (1998) - [c17]Stéphane Demri, Ewa Orlowska:
Classes of modal frames definable by closure relational operations. RelMiCS 1998: 48-52 - [c16]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, September 14-20, 1998. 1998 [contents] - 1997
- [j24]Mihir K. Chakraborty, Ewa Orlowska:
Substitutivity Principles in Some Theories of Uncertainty. Fundam. Informaticae 32(2): 107-120 (1997) - [c15]Marcelo F. Frias, Ewa Orlowska:
Equational Reasoning in Non-Classical Logics. RelMiCS 1997: 321-329 - [c14]Stéphane Demri, Ewa Orlowska:
Reasoning with Relational Demonic Operators. RelMiCS 1997: 331-340 - [c13]Ewa Orlowska:
Many-Valuedness and Uncertainty. ISMVL 1997: 153-162 - [p2]Ewa Orlowska:
Relational Formalisation of Nonclassical Logics. Relational Methods in Computer Science 1997: 90-105 - 1996
- [j23]John Green, Neil Horne, Ewa Orlowska, Paul Siemens:
A Rough Set Model of Information Retrieval. Fundam. Informaticae 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) - [p1]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. Comput. Intell. 11: 297-322 (1995) - [j20]Ewa Orlowska, Andrzej Skowron:
In Memoriam Helena Rasiowa. Stud Logica 54(1): 1-2 (1995) - [c12]Ewa Orlowska:
Information Algebras. AMAST 1995: 50-65 - 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]Ewa Orlowska:
Two Logical Dimensions. JELIA 1994: 231 - 1993
- [j18]Ewa Orlowska:
Dynamic logic with program specifications and its relational proof system. J. Appl. Non Class. Logics 3(2): 147-171 (1993) - [c10]Ewa Orlowska:
Rough Set Semantics for Non-classical Logics. RSKD 1993: 143-148 - [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]Ewa Orlowska:
Relational Proof System for Relevant Logics. J. Symb. Log. 57(4): 1425-1440 (1992) - 1991
- [c8]Ewa Orlowska:
Relational proof systems for some AI logics. FAIR 1991: 33-47 - [c7]Ewa Orlowska:
Post Relation Algebras and Their Proof System. ISMVL 1991: 298-305 - 1990
- [j16]Ewa Orlowska:
Kripke semantics for knowledge representation logics. Stud Logica 49(2): 255-272 (1990) - [j15]Ewa Orlowska:
Verisimilitude based on concept analysis. Stud Logica 49(3): 307-320 (1990) - [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]Ewa Orlowska:
Logic For Reasoning About Knowledge. Math. Log. Q. 35(6): 559-572 (1989) - 1988
- [j13]Ewa Orlowska:
Logical aspects of learning concepts. Int. J. Approx. Reason. 2(4): 349-364 (1988) - [j12]Ewa Orlowska:
Proof System for Weakest Prespecification. Inf. Process. Lett. 27(6): 309-313 (1988) - [j11]Ewa Orlowska:
Representation of vague information. Inf. Syst. 13(2): 167-174 (1988) - [c5]Ewa Orlowska:
Proof System for Weakest Prespecification and its Applications. MFCS 1988: 463-471 - 1986
- [j10]Ewa Orlowska:
Semantic Analysis of Inductive Reasoning. Theor. Comput. Sci. 43: 81-89 (1986) - [j9]Luis Fariñas del Cerro, Ewa Orlowska:
Corrigendum: DAL-A Logic for Data Analysis. Theor. Comput. Sci. 47(3): 345 (1986) - 1985
- [j8]Ewa Orlowska:
Logic of nondeterministic information. Stud Logica 44(1): 91-100 (1985) - [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. Int. J. Man Mach. Stud. 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]Luis Fariñas del Cerro, Ewa Orlowska:
DAL: A Logic for Data Analysis. ECAI 1984: 337-346 - [c3]Luis Fariñas del Cerro, Ewa Orlowska:
DAL - A Logic for Data Analysis. FGCS 1984: 254-261 - [c2]Ewa Orlowska:
A logic of indiscernibility relations. Symposium on Computation Theory 1984: 177-186 - 1982
- [j3]Ewa Orlowska:
Representation of temporal information. Int. J. Parallel Program. 11(6): 397-408 (1982) - 1980
- [j2]Ewa Orlowska:
Resolution problem and their applications I. Fundam. Informaticae 3(2): 235- (1980) - [j1]Ewa Orlowska:
Resolution systems and their applications II. Fundam. Informaticae 3(3): 333-362 (1980) - [c1]Ewa Orlowska:
On some extensions of dynamic logic. Logic of Programs 1980: 205-212
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
