Beata Konikowska

39 papers A* 1A 2B 4Journal 26Unranked 4

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Multi-Valued Verification of Strategic Ability. CoRR Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
2020	J	`jnl`	Multi-valued Verification of Strategic Ability. Fundam. Informaticae Wojciech Jamroga, Beata Konikowska, Damian Kurpiewski, Wojciech Penczek
2019	J	`jnl`	Reasoning about Covering-based Rough Sets Using Three Truth Values. FLAP Beata Konikowska, Arnon Avron
2016	J	`jnl`	Foreword. J. Log. Comput. Ofer Arieli, Beata Konikowska, Alexander Rabinovich, Anna Zamansky
2016	A	`conf`	Multi-Valued Verification of Strategic Ability. AAMAS Wojciech Jamroga, Beata Konikowska, Wojciech Penczek
2015	J	`jnl`	Efficient reasoning with inconsistent information using C-systems. Inf. Sci. Arnon Avron, Beata Konikowska, Anna Zamansky
2013	J	`jnl`	Cut-free sequent calculi for C-systems with generalized finite-valued semantics. J. Log. Comput. Arnon Avron, Beata Konikowska, Anna Zamansky
2013	—	`ch.`	Three-Valued Logic for Reasoning about Covering-Based Rough Sets. Rough Sets and Intelligent Systems (1) Beata Konikowska
2012	J	`jnl`	Finite-valued Logics for Information Processing. Fundam. Informaticae Arnon Avron, Beata Konikowska
2012	A*	`conf`	Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics. LICS Arnon Avron, Beata Konikowska, Anna Zamansky
2010	—	`conf`	Logics of Reasonable Information Sources. ISMVL Arnon Avron, Jonathan Ben-Naim, Beata Konikowska
2009	—	`ch.`	Processing Information from a Set of Sources. Towards Mathematical Philosophy Arnon Avron, Jonathan Ben-Naim, Beata Konikowska
2009	J	`jnl`	Proof Systems for Reasoning about Computation Errors. Stud Logica Arnon Avron, Beata Konikowska
2008	J	`jnl`	Rough Sets and 3-Valued Logics. Stud Logica Arnon Avron, Beata Konikowska
2007	J	`jnl`	A Multi-modal Logic for Disagreement and Exhaustiveness. Fundam. Informaticae Ivo Düntsch, Beata Konikowska
2007	J	`jnl`	Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics. Logica Universalis Arnon Avron, Jonathan Ben-Naim, Beata Konikowska
2006	A	`conf`	Model checking for multivalued logic of knowledge and time. AAMAS Beata Konikowska, Wojciech Penczek
2005	J	`jnl`	A Decompositional Deduction System for a Logic Featuring Inconsistency and Uncertainty. J. Appl. Non Class. Logics Beata Konikowska
2005	J	`jnl`	Multi-valued Calculi for Logics Based on Non-determinism. Log. J. IGPL Arnon Avron, Beata Konikowska
2004	J	`jnl`	On Designated Values in Multi-valued CTL Fundam. Informaticae Beata Konikowska, Wojciech Penczek
2002	J	`jnl`	Rasiowa-Sikorski deduction systems in computer science applications. Theor. Comput. Sci. Beata Konikowska
2002	B	`conf`	Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}. CONCUR Beata Konikowska, Wojciech Penczek
2001	J	`jnl`	Decomposition Proof Systems for Gödel-Dummett Logics. Stud Logica Arnon Avron, Beata Konikowska
2000	J	`jnl`	A multimodal logic for reasoning about complementarity. J. Appl. Non Class. Logics Ivo Düntsch, Beata Konikowska
1999	J	`jnl`	Reasoning with First Order Nondeterministic Specifications. Acta Informatica Beata Konikowska, Marcin Bialasik
1998	J	`jnl`	A Relational Formalisation of Arbitrary Finite Valued Logics. Log. J. IGPL Beata Konikowska, Charles G. Morgan, Ewa Orlowska
1998	—	`conf`	Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics. WADT Beata Konikowska
1998	—	`conf`	Relational semantics for arbitrary finite valued logics. RelMiCS Beata Konikowska, Charles G. Morgan, Ewa Orlowska
1998	B	`conf`	Relative Similarity Logics are Decidable: Reduction to FO JELIA Stéphane Demri, Beata Konikowska
1997	J	`jnl`	A Logic for Reasoning about Relative Similarity. Stud Logica Beata Konikowska
1996	J	`jnl`	McCarthy Algebras: A Model of McCarthy's Logical Calculus. Fundam. Informaticae Beata Konikowska
1993	J	`jnl`	Two over three: a two-valued logic for software specification and validation over a three-valued predicate calculus. J. Appl. Non Class. Logics Beata Konikowska
1991	J	`jnl`	A three-valued logic for software specification and validation. Fundam. Informaticae Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
1991	B	`conf`	Two Over Three: A Two-Valued Logic for Software Specification and Validation Over a Three-Valued Predicate Calculus. MFCS Beata Konikowska
1990	J	`jnl`	A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic. Stud Logica Beata Konikowska
1988	—	`conf`	A Three-Valued Logic for Software Specification and Validation. VDM Europe Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle
1985	J	`jnl`	A query language allowing conditions of relational type queries. Inf. Syst. Beata Konikowska
1974	B	`conf`	On Some Approximation Problems of Continuous Computation. MFCS Beata Konikowska
1973	J	`jnl`	Continuous Machines Inf. Control. Beata Konikowska