Sergei Artemov

Sergei Artemov

Sergei Artemov

The CUNY Graduate Center

external web page

Professor Artemov holds a Distinguished Professor position at the Graduate Center of the City University of New York, in the Computer Science, Mathematics and Philosophy programs. He is also Professor of Mathematics at Moscow State University, the founder and the Head of the research laboratory Logical Problems in Computer Science. He conducts research in the areas of logic in computer science, mathematical logic and proof theory, knowledge representation and artificial intelligence, automated deduction and verification and optimal control and hybrid systems.
Sergei Artemov has 26 talks in our database:
Computational Logic Seminar March 14, 2017
Sub-Kripkean epistemic models I
Computational Logic Seminar March 7, 2017
Generic logical semantics of justifications III
Computational Logic Seminar February 28, 2017
Generic logical semantics of justifications II
Computational Logic Seminar February 21, 2017
Generic logical semantics of justifications.
Computational Logic Seminar April 19, 2016
Dark Matter of Epistemology
Computational Logic Seminar April 12, 2016
Epistemic Model Theory revisited II.
Computational Logic Seminar March 22, 2016
Epistemic Model Theory revisited.
Computational Logic Seminar March 15, 2016
Does knowledge of the model matter?
Computational Logic Seminar March 8, 2016
Justification Epistemic Models: technical details.
Computational Logic Seminar February 2, 2016
Evidence-based epistemic models
Computational Logic Seminar December 8, 2015
Justification Logic and Aggregating Probabilistic Evidence
Computational Logic Seminar May 12, 2015
Intuitionistic Analysis of Russell and Gettier Examples
Computational Logic Seminar April 28, 2015
Syntactic View of Strategic Games
Computational Logic Seminar March 24, 2015
Bi-simulation of epistemic structures: a semantic proof of completeness for Muddy Children Puzzle.
Computational Logic Seminar March 10, 2015
Syntactic Epistemic Logic and Games IV
Computational Logic Seminar March 3, 2015
Syntactic Epistemic Logic and Games III
Computational Logic Seminar February 24, 2015
Syntactic Epistemic Logic and Games II
Computational Logic Seminar February 17, 2015
Syntactic Epistemic Logic and Games I
Computational Logic Seminar February 18, 2014
Models of Justification Logic III
Computational Logic Seminar February 11, 2014
On Models of Justification Logic II.
Computational Logic Seminar February 4, 2014
On models of Justification Logic
Computational Logic Seminar January 28, 2014
Some new directions in Epistemic Logic.
Computational Logic Seminar September 3, 2013
Towards Syntactic Epistemic Game Theory
Computational Logic Seminar March 5, 2013
Lost in translation: a critical view of epistemic puzzles solutions.
Computational Logic Seminar February 19, 2013
On model reasoning in epistemic scenarios
Computational Logic Seminar January 29, 2013
Definitive solutions of strategic games
CUNYGraduate CenterMoscowNew Yorkartificial intelligenceautomated deductionhybrid systemsknowledge representationlogic in CSproof theory