 | 2009 |
|---|
| 83 |       | Ewa Orlowska,
Ingrid Rewitzky:
Discrete Duality for Relation Algebras and Cylindric Algebras.
RelMiCS 2009: 291-305 |
| 2008 |
|---|
| 82 | | 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) |
| 81 | | Ewa Orlowska,
Ingrid Rewitzky:
Context Algebras, Context Frames, and Their Discrete Duality.
T. Rough Sets 9: 212-229 (2008) |
| 2007 |
|---|
| 80 |  | 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
Springer 2007 |
| 79 | | 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
Springer 2007 |
| 78 | | Joanna Golinska-Pilarek,
Ewa Orlowska:
Relational Reasoning in Formal Concept Analysis.
FUZZ-IEEE 2007: 1-6 |
| 77 | | Ewa Orlowska,
Ingrid Rewitzky:
Discrete Duality and Its Applications to Reasoning with Incomplete Information.
RSEISP 2007: 51-56 |
| 76 | | Ewa Orlowska,
James F. Peters,
Grzegorz Rozenberg,
Andrzej Skowron:
In Memory of Professor Zdzislaw Pawlak.
Fundam. Inform. 75(1-4): (2007) |
| 75 | | Stéphane Demri,
Ewa Orlowska:
Relative Nondeterministic Information Logic is EXPTIME-complete.
Fundam. Inform. 75(1-4): 163-178 (2007) |
| 74 | | Anna B. Romanowska,
Jonathan D. H. Smith,
Ewa Orlowska:
Abstract Barycentric Algebras.
Fundam. Inform. 81(1-3): 257-273 (2007) |
| 73 | | Ewa Orlowska,
Ingrid Rewitzky:
Discrete Dualities for Heyting Algebras with Operators.
Fundam. Inform. 81(1-3): 275-295 (2007) |
| 72 | | Joanna Golinska-Pilarek,
Ewa Orlowska:
Tableaux and Dual Tableaux: Transformation of Proofs.
Studia Logica 85(3): 283-302 (2007) |
| 71 | | Ivo Düntsch,
Günther Gediga,
Ewa Orlowska:
Relational Attribute Systems II: Reasoning with Relations in Information Structures.
T. Rough Sets 7: 16-35 (2007) |
| 2006 |
|---|
| 70 | | 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
Springer 2006 |
| 69 | | Wojciech Dzik,
Ewa Orlowska,
Clint J. van Alten:
Relational Representation Theorems for General Lattices with Negations.
RelMiCS 2006: 162-176 |
| 68 | | 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 |
| 67 | | Joanna Golinska-Pilarek,
Ewa Orlowska:
Relational Logics and Their Applications.
Theory and Applications of Relational Structures as Knowledge Instruments 2006: 125-161 |
| 66 | | 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 |
| 65 | | 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 |
| 64 | | 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 |
| 63 | | Wendy MacCaull,
Ewa Orlowska:
A Logic of Type Relations and its Applications to Relational Databases.
J. Log. Comput. 16(6): 789-815 (2006) |
| 2005 |
|---|
| 62 | | Jouni Järvinen,
Ewa Orlowska:
Relational Correspondences for Lattices with Operators.
RelMiCS 2005: 134-146 |
| 61 | | Ewa Orlowska,
Ingrid Rewitzky,
Ivo Düntsch:
Relational Semantics Through Duality.
RelMiCS 2005: 17-32 |
| 60 | | Ewa Orlowska,
Anna Maria Radzikowska:
Relational Representability for Algebras of Substructural Logics.
RelMiCS 2005: 212-224 |
| 59 | | Ewa Orlowska,
Andrzej Szalas:
Quantifier Elimination in Elementary Set Theory.
RelMiCS 2005: 237-248 |
| 58 | | Ewa Orlowska,
Ingrid Rewitzky:
Duality via Truth: Semantic frameworks for lattice-based logics.
Logic Journal of the IGPL 13(4): 467-490 (2005) |
| 2004 |
|---|
| 57 | | 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) |
| 56 | | Ivo Düntsch,
Ewa Orlowska:
Boolean algebras arising from information systems.
Ann. Pure Appl. Logic 127(1-3): 77-98 (2004) |
| 2003 |
|---|
| 55 | | 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
Springer 2003 |
| 54 | | Wendy MacCaull,
Ewa Orlowska:
A Calculus of Typed Relations.
RelMiCS 2003: 191-201 |
| 53 | | Eugenio G. Omodeo,
Ewa Orlowska,
Alberto Policriti:
Rasiowa-Sikorski Style Relational Elementary Set Theory.
RelMiCS 2003: 215-226 |
| 52 | | Renate A. Schmidt,
Ewa Orlowska,
Ullrich Hustadt:
Two Proof Systems for Peirce Algebras.
RelMiCS 2003: 238-251 |
| 51 | | 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 |
| 2002 |
|---|
| 50 | | Stéphane Demri,
Ewa Orlowska:
Incomplete Information: Structure, Inference, Complexity
Springer 2002 |
| 49 | | Wendy MacCaull,
Ewa Orlowska:
Correspondence Results for Relational Proof Systems with Application to the Lambek Calculus.
Studia Logica 71(3): 389-414 (2002) |
| 2001 |
|---|
| 48 | | Ewa Orlowska,
Anna Maria Radzikowska:
Double Residuated Lattices and Their Applications.
RelMiCS 2001: 171-189 |
| 47 | | Ivo Düntsch,
Ewa Orlowska,
Hui Wang:
Algebras of Approximating Regions.
Fundam. Inform. 46(1-2): 71-82 (2001) |
| 46 | | Ivo Düntsch,
Günther Gediga,
Ewa Orlowska:
Relational attribute systems.
Int. J. Hum.-Comput. Stud. 55(3): 293-309 (2001) |
| 2000 |
|---|
| 45 | | Ivo Düntsch,
Wendy MacCaull,
Ewa Orlowska:
Structures with Many-Valued Information and Their Relational Proof Theory.
ISMVL 2000: 293- |
| 44 | | Ivo Düntsch,
Ewa Orlowska,
Hui Wang:
An Algebraic and Logical Approach to the Approximation of Regions.
RelMiCS 2000: 65-74 |
| 43 | | Ivo Düntsch,
Ewa Orlowska:
Logics of Complementarity in Information Systems.
Math. Log. Q. 46(2): 267-288 (2000) |
| 42 | | 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) |
| 1999 |
|---|
| 41 | | Philippe Balbiani,
Ewa Orlowska:
A hierarchy of modal logics with relative accessibility relations.
Journal of Applied Non-Classical Logics 9(2-3): (1999) |
| 40 | | 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 |
|---|
| 39 | | 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
RelMiCS 1998 |
| 38 | | Beata Konikowska,
Charles G. Morgan,
Ewa Orlowska:
Relational semantics for arbitrary finite valued logics.
RelMiCS 1998: 138-143 |
| 37 | | Stéphane Demri,
Ewa Orlowska:
Classes of modal frames definable by closure relational operations.
RelMiCS 1998: 48-52 |
| 36 | | Marcelo F. Frias,
Ewa Orlowska:
Equational Reasoning in Non--Classical Logics.
Journal of Applied Non-Classical Logics 8(1-2): (1998) |
| 35 | | 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) |
| 1997 |
|---|
| 34 | | Ewa Orlowska:
Many-Valuedness and Uncertainty.
ISMVL 1997: 153- |
| 33 | | Marcelo F. Frias,
Ewa Orlowska:
Equational Reasoning in Non-Classical Logics.
RelMiCS 1997: 321-329 |
| 32 | | Stéphane Demri,
Ewa Orlowska:
Reasoning with Relational Demonic Operators.
RelMiCS 1997: 331-340 |
| 31 | | Mihir K. Chakraborty,
Ewa Orlowska:
Substitutivity Principles in Some Theories of Uncertainty.
Fundam. Inform. 32(2): 107-120 (1997) |
| 1996 |
|---|
| 30 | | 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
Springer 1996 |
| 29 | | Ewa Orlowska:
Relational Environment for Semigroup Logics.
Logic, Action, and Information 1996: 351-391 |
| 28 | | John Green,
Neil Horne,
Ewa Orlowska,
Paul Siemens:
A Rough Set Model of Information Retrieval.
Fundam. Inform. 28(3-4): 273-296 (1996) |
| 27 | | Stéphane Demri,
Ewa Orlowska:
Logical Analysis of Demonic Nondeterministic Programs.
Theor. Comput. Sci. 166(1&2): 173-202 (1996) |
| 1995 |
|---|
| 26 | | Ewa Orlowska:
Information Algebras.
AMAST 1995: 50-65 |
| 25 | | Michel Herment,
Ewa Orlowska:
Handling Information Logics in a Graphical Proof Editor.
Computational Intelligence 11: 297-322 (1995) |
| 24 | | Ewa Orlowska,
Andrzej Skowron:
In Memoriam Helena Rasiowa.
Studia Logica 54(1): 1-2 (1995) |
| 1994 |
|---|
| 23 | | Ewa Orlowska:
Two Logical Dimensions.
JELIA 1994: 231 |
| 22 | | Stéphane Demri,
Ewa Orlowska,
Ingrid Rewitzky:
Towards Reasoning about Hoare Relations.
Ann. Math. Artif. Intell. 12(3-4): 265-289 (1994) |
| 1993 |
|---|
| 21 | | Ewa Orlowska:
Rough Set Semantics for Non-classical Logics.
RSKD 1993: 143-148 |
| 20 | | Ewa Orlowska:
Reasoning with Incomplete Information: Rough Set Based Information Logics.
SOFTEKS Workshop on Incompleteness and Uncertainty in Information Systems 1993: 16-33 |
| 19 | | Ewa Orlowska:
Dynamic logic with program specifications and its relational proof system.
Journal of Applied Non-Classical Logics 3(2): (1993) |
| 1992 |
|---|
| 18 | | Ewa Orlowska:
Relational Proof System for Relevant Logics.
J. Symb. Log. 57(4): 1425-1440 (1992) |
| 1991 |
|---|
| 17 | | Ewa Orlowska:
Relational proof systems for some AI logics.
FAIR 1991: 33-47 |
| 16 | | Ewa Orlowska:
Post Relation Algebras and Their Proof System.
ISMVL 1991: 298-305 |
| 1990 |
|---|
| 15 | | Ewa Orlowska:
Algebraic Aspects of the Relational Knowledge Representation: Modal Relation Algebras.
Nonclassical Logics and Information Processing 1990: 1-22 |
| 1988 |
|---|
| 14 | | Ewa Orlowska:
Proof System for Weakest Prespecification and its Applications.
MFCS 1988: 463-471 |
| 13 | | Ewa Orlowska:
Proof System for Weakest Prespecification.
Inf. Process. Lett. 27(6): 309-313 (1988) |
| 12 | | Ewa Orlowska:
Representation of vague information.
Inf. Syst. 13(2): 167-174 (1988) |
| 11 | | Ewa Orlowska:
Logical aspects of learning concepts.
Int. J. Approx. Reasoning 2(4): 349-364 (1988) |
| 1986 |
|---|
| 10 | | Ewa Orlowska:
Semantic Analysis of Inductive Reasoning.
Theor. Comput. Sci. 43: 81-89 (1986) |
| 9 | | Luis Fariñas del Cerro,
Ewa Orlowska:
Corrigendum: DAL-A Logic for Data Analysis.
Theor. Comput. Sci. 47(3): 345 (1986) |
| 1985 |
|---|
| 8 | | Luis Fariñas del Cerro,
Ewa Orlowska:
DAL - A Logic for Data Analysis.
Theor. Comput. Sci. 36: 251-264 (1985) |
| 1984 |
|---|
| 7 | | Luis Fariñas del Cerro,
Ewa Orlowska:
DAL: A Logic for Data Analysis.
ECAI 1984: 337-346 |
| 6 | | Luis Fariñas del Cerro,
Ewa Orlowska:
DAL - A Logic for Data Analysis.
FGCS 1984: 254-261 |
| 5 | | Ewa Orlowska,
Zdzislaw Pawlak:
Expressive Power of Knowledge Representation Systems.
International Journal of Man-Machine Studies 20(5): 485-500 (1984) |
| 4 | | Ewa Orlowska,
Zdzislaw Pawlak:
Representation of Nondeterministic Information.
Theor. Comput. Sci. 29: 27-39 (1984) |
| 1980 |
|---|
| 3 | | Ewa Orlowska:
On some extensions of dynamic logic.
Logic of Programs 1980: 205-212 |
| 2 | | Ewa Orlowska:
Resolution problem and their applications I.
Fundam. Inform. 3(2): 235- (1980) |
| 1 | | Ewa Orlowska:
Resolution systems and their applications II.
Fundam. Inform. 3(3): 333-362 (1980) |
