Valentin Goranko

University of the Witwatersrand, Stockholm University

Papers

2

Total Citations

21

H-Index

2

About

No biography available yet.

Research Focus

Description logic2 · 21 citations
Artificial intelligence2 · 21 citations
Multimodal logic2 · 21 citations
Epistemic modal logic2 · 21 citations
Computer science2 · 21 citations
Theoretical computer science1 · 11 citations
Extension (predicate logic)1 · 11 citations
Model checking1 · 11 citations
Programming language1 · 11 citations
Satisfiability1 · 11 citations
Semantics (computer science)1 · 11 citations
Algorithm1 · 11 citations

Key Achievements

2
H-Index
2
Papers
21
Total Citations
11
Avg Citations/Paper
🏆 Most Cited Paper
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane
11 citations · 2016
📈 Most Prolific Year: 2016 (1 Papers)
🤝 Key Collaborators: 2
🏛 Institutions: University of the Witwatersrand, Stockholm University

Top Papers

  1. 1
    Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane
    11 citations · 2016
  2. 2
    Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems
    10 citations · 2015

Key Collaborators

OGOlivier Gasquet2 shared papersFSFrançois Schwarzentruber1 shared papers
Not generated yet