Beata Konikowska

According to our database1, Beata Konikowska
  • authored at least 35 papers between 1973 and 2016.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Foreword.
J. Log. Comput., 2016

Multi-Valued Verification of Strategic Ability.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

2015
Efficient reasoning with inconsistent information using C-systems.
Inf. Sci., 2015

2013
Three-Valued Logic for Reasoning about Covering-Based Rough Sets.
Proceedings of the Rough Sets and Intelligent Systems - Professor Zdzisław Pawlak in Memoriam, 2013

Cut-free sequent calculi for C-systems with generalized finite-valued semantics.
J. Log. Comput., 2013

2012
Finite-valued Logics for Information Processing.
Fundam. Inform., 2012

Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

2010
Logics of Reasonable Information Sources.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009
Proof Systems for Reasoning about Computation Errors.
Studia Logica, 2009

2008
Rough Sets and 3-Valued Logics.
Studia Logica, 2008

2007
Cut-Free Ordinary Sequent Calculi for Logics Having Generalized Finite-Valued Semantics.
Logica Universalis, 2007

A Multi-modal Logic for Disagreement and Exhaustiveness.
Fundam. Inform., 2007

2006
Model checking for multivalued logic of knowledge and time.
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005
A Decompositional Deduction System for a Logic Featuring Inconsistency and Uncertainty.
Journal of Applied Non-Classical Logics, 2005

Multi-valued Calculi for Logics Based on Non-determinism.
Logic Journal of the IGPL, 2005

2004
On Designated Values in Multi-valued CTL* Model Checking.
Fundam. Inform., 2004

2002
Rasiowa-Sikorski deduction systems in computer science applications.
Theor. Comput. Sci., 2002

Reducing Model Checking from Multi-valued {\rm CTL}^{\ast} to {\rm CTL}^{\ast}.
Proceedings of the CONCUR 2002, 2002

2001
Decomposition Proof Systems for Gödel-Dummett Logics.
Studia Logica, 2001

2000
A multimodal logic for reasoning about complementarity.
Journal of Applied Non-Classical Logics, 2000

1999
Reasoning with First Order Nondeterministic Specifications.
Acta Inf., 1999

1998
A Relational Formalisation of Arbitrary Finite Valued Logics.
Logic Journal of the IGPL, 1998

Rasiowa-Sikorski Deduction Systems: A Handy Tool for Computer Science Logics.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1998

Relative Similarity Logics are Decidable: Reduction to FO2 with Equality.
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

Relational semantics for arbitrary finite valued logics.
Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997
A Logic for Reasoning about Relative Similarity.
Studia Logica, 1997

1996
McCarthy Algebras: A Model of McCarthy's Logical Calculus.
Fundam. Inform., 1996

1993
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

1991
A three-valued logic for software specification and validation.
Fundam. Inform., 1991

Two Over Three: A Two-Valued Logic for Software Specification and Validation Over a Three-Valued Predicate Calculus.
Proceedings of the Mathematical Foundations of Computer Science 1991, 1991

1990
A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic.
Studia Logica, 1990

1988
A Three-Valued Logic for Software Specification and Validation.
Proceedings of the VDM '88, 1988

1985
A query language allowing conditions of relational type queries.
Inf. Syst., 1985

1974
On Some Approximation Problems of Continuous Computation.
Proceedings of the Mathematical Foundations of Computer Science, 1974

1973
Continuous Machines
Information and Control, May, 1973


  Loading...