dblp.uni-trier.dewww.uni-trier.de

Ewa Orlowska

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
82EEEwa 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)
81EEEwa 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
78EEJoanna Golinska-Pilarek, Ewa Orlowska: Relational Reasoning in Formal Concept Analysis. FUZZ-IEEE 2007: 1-6
77EEEwa Orlowska, Ingrid Rewitzky: Discrete Duality and Its Applications to Reasoning with Incomplete Information. RSEISP 2007: 51-56
76EEEwa Orlowska, James F. Peters, Grzegorz Rozenberg, Andrzej Skowron: In Memory of Professor Zdzislaw Pawlak. Fundam. Inform. 75(1-4): (2007)
75EEStéphane Demri, Ewa Orlowska: Relative Nondeterministic Information Logic is EXPTIME-complete. Fundam. Inform. 75(1-4): 163-178 (2007)
74EEAnna B. Romanowska, Jonathan D. H. Smith, Ewa Orlowska: Abstract Barycentric Algebras. Fundam. Inform. 81(1-3): 257-273 (2007)
73EEEwa Orlowska, Ingrid Rewitzky: Discrete Dualities for Heyting Algebras with Operators. Fundam. Inform. 81(1-3): 275-295 (2007)
72EEJoanna Golinska-Pilarek, Ewa Orlowska: Tableaux and Dual Tableaux: Transformation of Proofs. Studia Logica 85(3): 283-302 (2007)
71EEIvo 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
69EEWojciech Dzik, Ewa Orlowska, Clint J. van Alten: Relational Representation Theorems for General Lattices with Negations. RelMiCS 2006: 162-176
68EEAlfredo 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
67EEJoanna Golinska-Pilarek, Ewa Orlowska: Relational Logics and Their Applications. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 125-161
66EEWojciech 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
65EEIvo Düntsch, Ewa Orlowska, Anna Maria Radzikowska: Lattice-Based Relation Algebras II. Theory and Applications of Relational Structures as Knowledge Instruments 2006: 267-289
64EEAndrea 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
63EEWendy MacCaull, Ewa Orlowska: A Logic of Type Relations and its Applications to Relational Databases. J. Log. Comput. 16(6): 789-815 (2006)
2005
62EEJouni Järvinen, Ewa Orlowska: Relational Correspondences for Lattices with Operators. RelMiCS 2005: 134-146
61EEEwa Orlowska, Ingrid Rewitzky, Ivo Düntsch: Relational Semantics Through Duality. RelMiCS 2005: 17-32
60EEEwa Orlowska, Anna Maria Radzikowska: Relational Representability for Algebras of Substructural Logics. RelMiCS 2005: 212-224
59EEEwa Orlowska, Andrzej Szalas: Quantifier Elimination in Elementary Set Theory. RelMiCS 2005: 237-248
58EEEwa Orlowska, Ingrid Rewitzky: Duality via Truth: Semantic frameworks for lattice-based logics. Logic Journal of the IGPL 13(4): 467-490 (2005)
2004
57EEZofia 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)
56EEIvo 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
54EEWendy MacCaull, Ewa Orlowska: A Calculus of Typed Relations. RelMiCS 2003: 191-201
53EEEugenio G. Omodeo, Ewa Orlowska, Alberto Policriti: Rasiowa-Sikorski Style Relational Elementary Set Theory. RelMiCS 2003: 215-226
52EERenate A. Schmidt, Ewa Orlowska, Ullrich Hustadt: Two Proof Systems for Peirce Algebras. RelMiCS 2003: 238-251
51EEIvo 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
48EEEwa 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)
46EEIvo Düntsch, Günther Gediga, Ewa Orlowska: Relational attribute systems. Int. J. Hum.-Comput. Stud. 55(3): 293-309 (2001)
2000
45EEIvo 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
43EEIvo 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)
35EEBeata 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
34EEEwa 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)
27EESté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)
11EEEwa 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)

Coauthor Index

1Zofia Adamowicz [57]
2José Júlio Alferes [30]
3Clint J. van Alten [66] [69]
4Sergei N. Artëmov [57]
5Philippe Balbiani [41]
6Stanislaw Balcerzyk [42]
7Wiktor Bartol [42]
8Alfredo Burrieza [68]
9Luis Fariñas del Cerro [6] [7] [8] [9]
10Mihir K. Chakraborty [31]
11Stéphane Demri [22] [27] [32] [37] [40] [50] [75]
12Ivo Düntsch [43] [44] [45] [46] [47] [51] [56] [61] [65] [71] [80]
13Wojciech Dzik [66] [69]
14Andrea Formisano [64]
15Marcelo F. Frias [33] [36]
16Günther Gediga [46] [71]
17Joanna Golinska-Pilarek [67] [72] [78]
18John Green [28]
19Jerzy W. Grzymala-Busse [80]
20Michel Herment [25]
21Neil Horne [28]
22Ullrich Hustadt [52]
23Jouni Järvinen [62]
24Beata Konikowska [35] [38]
25Wendy MacCaull [45] [49] [54] [63]
26Victor W. Marek (V. Wiktor Marek) [79]
27Charles G. Morgan [35] [38]
28Damian Niwinski [57]
29Manuel Ojeda-Aciego [68]
30Eugenio G. Omodeo [53] [64]
31Zdzislaw Pawlak [4] [5]
32Luís Moniz Pereira (Luíz Moniz Pereira) [30]
33James F. Peters [76] [79] [80]
34Alberto Policriti [53]
35Lech Polkowski [80]
36Anna Maria Radzikowska (Anna Radzikowska) [48] [51] [60] [65] [82]
37Ingrid Rewitzky [22] [58] [61] [73] [77] [81]
38Anna B. Romanowska [57] [74]
39Marc Roubens [55] [70]
40Grzegorz Rozenberg [76]
41Gunther Schmidt [55] [70]
42Renate A. Schmidt [52]
43Paul Siemens [28]
44Andrzej Skowron [24] [76] [79] [80]
45Roman Slowinski [79]
46Jonathan D. H. Smith [74]
47Harrie C. M. de Swart [55] [70]
48Andrzej Szalas [39] [59]
49Hui Wang [44] [47]
50Andrzej Wieczorek [42]
51Agnieszka Wojciechowska-Waszkiewicz [42]
52Jan Wolenski [57]
53Wojciech Ziarko [79]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)