Personal information

Activities

Employment (1)

Institute of Computer Science, Polish Academy of Sciences: Warsaw, PL

1973-10-01 to present | Associate Professor, Head of Department
Employment
Source: Self-asserted source
Beata Konikowska

Education and qualifications (1)

University of Warsaw: Warsaw, PL

1965-10-01 to 1970-06-30 | MSc in mathematics (Faculty of Mathematics, Informatics and Mechanics )
Education
Source: Self-asserted source
Beata Konikowska

Works (32)

Multi-valued verification of strategic ability

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS
2016 | Conference paper
EID:

2-s2.0-85014190668

Contributors: Jamroga, W.; Konikowska, B.; Penczek, W.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Efficient reasoning with inconsistent information using C-systems

Information Sciences
2015 | Journal article
EID:

2-s2.0-84961288800

Contributors: Avron, A.; Konikowska, B.; Zamansky, A.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Cut-free sequent calculi for C-systems with generalized finite-valued semantics

Journal of Logic and Computation
2013 | Journal article
EID:

2-s2.0-84877962131

Contributors: Avron, A.; Konikowska, B.; Zamansky, A.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Three-Valued Logic for Reasoning about Covering-Based Rough Sets

Intelligent Systems Reference Library
2013 | Book
EID:

2-s2.0-84885448250

Contributors: Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Finite-valued logics for information processing

Fundamenta Informaticae
2012 | Journal article
EID:

2-s2.0-84858259444

Contributors: Avron, A.; Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Foreword

Journal of Logic and Computation
2012 | Journal article
EID:

2-s2.0-84959890440

Contributors: Arieli, O.; Konikowska, B.; Rabinovich, A.; Zamansky, A.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Modular construction of cut-free sequent calculi for paraconsistent logics

Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012
2012 | Conference paper
EID:

2-s2.0-84867155039

Contributors: Avron, A.; Konikowska, B.; Zamansky, A.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Logics of reasonable information sources

Proceedings of The International Symposium on Multiple-Valued Logic
2010 | Conference paper
EID:

2-s2.0-77955336009

Contributors: Avron, A.; Ben-Naim, J.; Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Proof systems for reasoning about computation errors

Studia Logica
2009 | Journal article
EID:

2-s2.0-63949088359

Contributors: Avron, A.; Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Rough sets and 3-valued logics

Studia Logica
2008 | Journal article
EID:

2-s2.0-55149100862

Contributors: Avron, A.; Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

A multi-modal logic for disagreement and exhaustiveness

Fundamenta Informaticae
2007 | Journal article
EID:

2-s2.0-33847759563

Contributors: Düntsch, I.; Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Cut-Free ordinary sequent calculi for logics having generalized finite-valued semantics

Logica Universalis
2007 | Journal article
EID:

2-s2.0-34250780029

Contributors: Avron, A.; Ben-Naim, J.; Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Model checking for multivalued logic of knowledge and time

Proceedings of the International Conference on Autonomous Agents
2006 | Conference paper
EID:

2-s2.0-34247226159

Contributors: Konikowska, B.; Penczek, W.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

A decompositional deduction system for a logic featuring inconsistency and uncertainty

Journal of Applied Non-Classical Logics
2005 | Journal article
EID:

2-s2.0-84886679501

Contributors: Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Multi-valued calculi for logics based on non-determinism

Logic Journal of the IGPL
2005 | Journal article
EID:

2-s2.0-32044454515

Contributors: Avron, A.; Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

On designated values in multi-valued CTL model checking

Fundamenta Informaticae
2004 | Journal article
EID:

2-s2.0-2942731599

Contributors: Konikowska, B.; Penczek, W.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Rasiowa-Sikorski deduction systems in computer science applications

Theoretical Computer Science
2002 | Journal article
EID:

2-s2.0-0037125936

Contributors: Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Reducing model checking from multi-valued CTL<sup>*</sup>to CTL<sup>*</sup>

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2002 | Book
EID:

2-s2.0-84874684969

Contributors: Konikowska, B.; Penczek, W.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Decomposition proof systems for gödel-dummett logics

Studia Logica
2001 | Journal article
EID:

2-s2.0-0348151994

Contributors: Avron, A.; Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Proceedings of the International Symposium on Multiple-Valued Logic: Preface

Proceedings of The International Symposium on Multiple-Valued Logic
2001 | Conference paper
EID:

2-s2.0-0034825896

Contributors: Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

A multimodallogic for reasoning about complementarity

Journal of Applied Non-Classical Logics
2000 | Journal article
EID:

2-s2.0-0010380312

Contributors: Dütintsch, I.; Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Rasiowa-sikorski deduction systems: A handy tool for computer science logics

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1999 | Book
EID:

2-s2.0-84957686353

Contributors: Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Reasoning with first order nondeterministic specifications

Acta Informatica
1999 | Journal article
EID:

2-s2.0-0033181487

Contributors: Konikowska, B.; Białasik, M.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Relative similarity logics are decidable: Reduction to FO<sup>2</sup>with equality

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1998 | Book
EID:

2-s2.0-33847750520

Contributors: Demri, S.; Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

A Logic for Reasoning about Relative Similarity

Studia Logica
1997 | Journal article
EID:

2-s2.0-0000106182

Contributors: Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

McCarthy algebras: A model of McCarthy's logical calculus

Fundamenta Informaticae
1996 | Journal article
EID:

2-s2.0-0030141459

Contributors: Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Two over three: A two-valued logic for software specification and validation over a three-valued predicate calculus

Journal of Applied Non-Classical Logics
1993 | Journal article
EID:

2-s2.0-0010383602

Contributors: Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Three-valued logic for software specification and validation

Fundamenta Mathematicae
1991 | Journal article
EID:

2-s2.0-0026143856

Contributors: Konikowska, Beata; Tarlecki, Andrzej; Blikle, Andrzej
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

Two over three: A two-valued logic for software specification and validation over a three-valued predicate calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1991 | Book
EID:

2-s2.0-26844435256

Contributors: Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic

Studia Logica
1990 | Journal article
EID:

2-s2.0-34249957941

Contributors: Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

A three-valued logic for software specification and validation: Tertium tamen datur

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1988 | Book
EID:

2-s2.0-26444463388

Contributors: Konikowska, B.; Tarlecki, A.; Blikle, A.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier

A query language allowing conditions of relational type in queries

Information Systems
1985 | Journal article
EID:

2-s2.0-0021793581

Contributors: Konikowska, B.
Source: Self-asserted source
Beata Konikowska via Scopus - Elsevier