Ewa Orlowska - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Dual tableau-based decision procedures for relational logics with restricted composition operatorDomenico Cantone, Marianna Nicolosi Asmundo, Ewa Orlowska. jancl, 21(2):177-200, 2011. [doi]

An Algebraic Approach to Preference RelationsIvo Düntsch, Ewa Orlowska. RelMiCS 2011: 141-147 [doi]

Dual tableau for monoidal triangular norm logic MTLJoanna Golinska-Pilarek, Ewa Orlowska. fss, 162(1):39-52, 2011. [doi]

Book ReviewsEwa Orlowska. sLogica, 97(3):415-419, 2011. [doi]

2010

Structures with Multirelations, their Discrete Dualities and ApplicationsIvo Düntsch, Ewa Orlowska, Ingrid Rewitzky. FUIN, 100(1-4):77-98, 2010. [doi]

Algebras for Galois-style connections and their discrete dualityEwa Orlowska, Ingrid Rewitzky. fss, 161(9):1325-1342, 2010. [doi]

2009

An implementation of a dual tableaux system for order-of-magnitude qualitative reasoningAlfredo Burrieza, A. Mora, Manuel Ojeda-Aciego, Ewa Orlowska. ijcm, 86(10&11):1852-1866, 2009. [doi]

Discrete Duality for Relation Algebras and Cylindric AlgebrasEwa Orlowska, Ingrid Rewitzky. RelMiCS 2009: 291-305 [doi]

2008

A discrete duality between apartness algebras and apartness framesIvo Düntsch, Ewa Orlowska. jancl, 18(2-3):213-227, 2008. [doi]

Context Algebras, Context Frames, and Their Discrete DualityEwa Orlowska, Ingrid Rewitzky. trs, 9:212-229, 2008. [doi]

Representation theorems for some fuzzy logics based on residuated non-distributive latticesEwa Orlowska, Anna Maria Radzikowska. fss, 159(10):1247-1259, 2008. [doi]

2007

Relative Nondeterministic Information Logic is EXPTIME-completeStéphane Demri, Ewa Orlowska. FUIN, 75(1-4):163-178, 2007. [doi]

Relational Attribute Systems II: Reasoning with Relations in Information StructuresIvo Düntsch, Günther Gediga, Ewa Orlowska. trs, 7:16-35, 2007. [doi]

Tableaux and Dual Tableaux: Transformation of ProofsJoanna Golinska-Pilarek, Ewa Orlowska. sLogica, 85(3):283-302, 2007. [doi]

Relational Reasoning in Formal Concept AnalysisJoanna Golinska-Pilarek, Ewa Orlowska. fuzzIEEE 2007: 1-6 [doi]

Discrete Duality and Its Applications to Reasoning with Incomplete InformationEwa Orlowska, Ingrid Rewitzky. rseisp 2007: 51-56 [doi]

In Memory of Professor Zdzislaw PawlakEwa Orlowska, James F. Peters, Grzegorz Rozenberg, Andrzej Skowron. FUIN, 75(1-4), 2007. [doi]

Discrete Dualities for Heyting Algebras with OperatorsEwa Orlowska, Ingrid Rewitzky. FUIN, 81(1-3):275-295, 2007. [doi]

Transactions on Rough Sets VII, Commemorating the Life and Work of Zdzislaw Pawlak, Part IIJames F. Peters, Andrzej Skowron, Victor W. Marek, Ewa Orlowska, Roman Slowinski, Wojciech Ziarko, editors, Volume 4400 of Lecture Notes in Computer Science, Springer, 2007.

Transactions on Rough Sets VI, Commemorating the Life and Work of Zdzislaw Pawlak, Part IJames F. Peters, Andrzej Skowron, Ivo Düntsch, Jerzy W. Grzymala-Busse, Ewa Orlowska, Lech Polkowski, editors, Volume 4374 of Lecture Notes in Computer Science, Springer, 2007.

Abstract Barycentric AlgebrasAnna B. Romanowska, Jonathan D. H. Smith, Ewa Orlowska. FUIN, 81(1-3):257-273, 2007. [doi]

2006

Relational dual tableaux for interval temporal logicsDavide Bresolin, Joanna Golinska-Pilarek, Ewa Orlowska. jancl, 16(3-4):251-278, 2006. [doi]

Relational Approach to Order-of-Magnitude ReasoningAlfredo Burrieza, Manuel Ojeda-Aciego, Ewa Orlowska. RelMiCS 2006: 105-124 [doi]

Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised PapersHarrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens, editors, Volume 4342 of Lecture Notes in Computer Science, Springer, 2006.

Relational Representation Theorems for General Lattices with NegationsWojciech Dzik, Ewa Orlowska, Clint J. van Alten. RelMiCS 2006: 162-176 [doi]

Relational Representation Theorems for Lattices with Negations: A SurveyWojciech Dzik, Ewa Orlowska, Clint J. van Alten. RelMiCS 2006: 245-266 [doi]

Lattice-Based Relation Algebras IIIvo Düntsch, Ewa Orlowska, Anna Maria Radzikowska. RelMiCS 2006: 267-289 [doi]

An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical LogicsAndrea Formisano, Eugenio G. Omodeo, Ewa Orlowska. RelMiCS 2006: 89-104 [doi]

Relational proof systems for spatial reasoningJoanna Golinska-Pilarek, Ewa Orlowska. jancl, 16(3-4):409-432, 2006. [doi]

Relational Logics and Their ApplicationsJoanna Golinska-Pilarek, Ewa Orlowska. RelMiCS 2006: 125-161 [doi]

A Logic of Type Relations and its Applications to Relational DatabasesWendy MacCaull, Ewa Orlowska. logcom, 16(6):789-815, 2006. [doi]

2005

2004

EditorialZofia Adamowicz, Sergei N. Artëmov, Damian Niwinski, Ewa Orlowska, Anna B. Romanowska, Jan Wolenski. APAL, 126(1-3):3-4, 2004. [doi]

Boolean algebras arising from information systemsIvo Düntsch, Ewa Orlowska. APAL, 127(1-3):77-98, 2004. [doi]

2003

Theory and Applications of Relational Structures as Knowledge Instruments, COST Action 274, TARSKI, Revised PapersHarrie C. M. de Swart, Ewa Orlowska, Gunther Schmidt, Marc Roubens, editors, Volume 2929 of Lecture Notes in Computer Science, Springer, 2003.

Lattice-Based Relation Algebras and Their RepresentabilityIvo Düntsch, Ewa Orlowska, Anna Maria Radzikowska. RelMiCS 2003: 231-255 [doi]

A Calculus of Typed RelationsWendy MacCaull, Ewa Orlowska. RelMiCS 2004: 191-201 [doi]

Rasiowa-Sikorski Style Relational Elementary Set TheoryEugenio G. Omodeo, Ewa Orlowska, Alberto Policriti. RelMiCS 2004: 215-226 [doi]

Two Proof Systems for Peirce AlgebrasRenate A. Schmidt, Ewa Orlowska, Ullrich Hustadt. RelMiCS 2004: 238-251 [doi]

2002

Incomplete Information: Structure, Inference, ComplexityStéphane Demri, Ewa Orlowska. Monographs in Theoretical Computer Science. An EATCS Series, Springer, 2002.

Correspondence Results for Relational Proof Systems with Application to the Lambek CalculusWendy MacCaull, Ewa Orlowska. sLogica, 71(3):389-414, 2002.

2001

Relational attribute systemsIvo Düntsch, Günther Gediga, Ewa Orlowska. ijmms, 55(3):293-309, 2001. [doi]

Algebras of Approximating RegionsIvo Düntsch, Ewa Orlowska, Hui Wang. FUIN, 46(1-2):71-82, 2001.

Double Residuated Lattices and Their ApplicationsEwa Orlowska, Anna Maria Radzikowska. RelMiCS 2002: 171-189 [doi]

2000

1999

A hierarchy of modal logics with relative accessibility relationsPhilippe Balbiani, Ewa Orlowska. jancl, 9(2-3), 1999.

Every Finitely Reducible Logic has the Finite Model Property with Respect to the Class of [diams]-FormulaeStéphane Demri, Ewa Orlowska. sLogica, 62(2):177-200, 1999.

1998

1997

Substitutivity Principles in Some Theories of UncertaintyMihir K. Chakraborty, Ewa Orlowska. FUIN, 32(2):107-120, 1997.

Reasoning with Relational Demonic OperatorsStéphane Demri, Ewa Orlowska. RelMiCS 1997: 331-340

Equational Reasoning in Non-Classical LogicsMarcelo F. Frias, Ewa Orlowska. RelMiCS 1997: 321-329

Many-Valuedness and UncertaintyEwa Orlowska. ismvl 1997: 153 [doi]

1996

Logics in Artificial Intelligence, European Workshop, JELIA 96, Évora, Portugal, September 30 - October 3, 1996, ProceedingsJosé Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, editors, Volume 1126 of Lecture Notes in Computer Science, Springer, 1996.

Logical Analysis of Demonic Nondeterministic ProgramsStéphane Demri, Ewa Orlowska. TCS, 166(1&2):173-202, 1996. [doi]

A Rough Set Model of Information RetrievalJohn Green, Neil Horne, Ewa Orlowska, Paul Siemens. FUIN, 28(3-4):273-296, 1996.

Relational Environment for Semigroup LogicsEwa Orlowska. flairs 1996: 351-391

1995

Handling Information Logics in a Graphical Proof EditorMichel Herment, Ewa Orlowska. ci, 11:297-322, 1995.

In Memoriam Helena RasiowaEwa Orlowska, Andrzej Skowron. sLogica, 54(1):1-2, 1995.

Information AlgebrasEwa Orlowska. amast 1995: 50-65

1994

Towards Reasoning about Hoare RelationsStéphane Demri, Ewa Orlowska, Ingrid Rewitzky. AMAI, 12(3-4):265-289, 1994.

Two Logical DimensionsEwa Orlowska. jelia 1994: 231

1993

Dynamic logic with program specifications and its relational proof systemEwa Orlowska. jancl, 3(2), 1993.

Rough Set Semantics for Non-classical LogicsEwa Orlowska. rsctc 1994: 143-148

Reasoning with Incomplete Information: Rough Set Based Information LogicsEwa Orlowska. softeks 1994: 16-33

1992

Relational Proof System for Relevant LogicsEwa Orlowska. JSYML, 57(4):1425-1440, 1992.

1991

Relational proof systems for some AI logicsEwa Orlowska. fair 1991: 33-47

Post Relation Algebras and Their Proof SystemEwa Orlowska. ismvl 1991: 298-305

1990

Algebraic Aspects of the Relational Knowledge Representation: Modal Relation AlgebrasEwa Orlowska. berlin 1992: 1-22

1988

Logical aspects of learning conceptsEwa Orlowska. ijar, 2(4):349-364, 1988. [doi]

Proof System for Weakest Prespecification and its ApplicationsEwa Orlowska. mfcs 1988: 463-471

Proof System for Weakest PrespecificationEwa Orlowska. ipl, 27(6):309-313, 1988.

Representation of vague informationEwa Orlowska. is, 13(2):167-174, 1988.

1986

::::Corrigendum: :::: DAL-A Logic for Data AnalysisLuis Fariñas del Cerro, Ewa Orlowska. TCS, 47(3):345, 1986.

Semantic Analysis of Inductive ReasoningEwa Orlowska. TCS, 43:81-89, 1986.

1985

DAL - A Logic for Data AnalysisLuis Fariñas del Cerro, Ewa Orlowska. TCS, 36:251-264, 1985.

1984

1980

Resolution systems and their applications IIEwa Orlowska. FUIN, 3(3):333-362, 1980.

Resolution problem and their applications IEwa Orlowska. FUIN, 3(2):235, 1980.

On some extensions of dynamic logicEwa Orlowska. lop 1983: 205-212