Concepedia

Roman Kuznets

RK

Statistics

Publications

19

Citations

530

H-Index

16

Active since

2006

Affiliations

University of Bern(Current)

The Graduate Center, CUNY

Roman Kuznets is an author at University of Bern specializing in automated reasoning, engineering, and formal methods.

Top concepts

Automated ReasoningEngineeringEpistemologyFormal MethodsSemanticsComputer ScienceKnowledge RepresentationCommunicationSocial SciencesProof Complexity

Publications per year

2006–2018

19

Publications

19

Making knowledge explicit: How hard it is

V. S. Brezhnev, Roman Kuznets · Theoretical Computer Science · 2006 · 64 citations

Knowledge Representation, Cognitive Science, Engineering +8

Justifications for common knowledge

Samuel Bucheli, Roman Kuznets, Thomas Studer · Journal of Applied Non-Classical Logics · 2011 · 61 citations

Complexity issues in justification logic

Sergei Artëmov, Roman Kuznets · 2008 · 46 citations

Engineering, Classical Logic, Defeasible Logic +16

Explicit Evidence Systems with Common Knowledge

Samuel Bucheli, Roman Kuznets, Thomas Studer · arXiv (Cornell University) · 2010 · 37 citations · Full text

Non-classical Logic, Knowledge Representation, Engineering +15

Logical omniscience as a computational complexity problem

Sergei Artëmov, Roman Kuznets · 2009 · 36 citations

Computational Logic, Non-classical Logic, Knowledge Representation +15

1–5 of 19