Olivier Gasquet

Université Toulouse III - Paul Sabatier

Papers

3

Total Citations

23

H-Index

2

About

No biography available yet.

Research Focus

Computer science3 · 23 citations
Description logic3 · 23 citations
Multimodal logic3 · 23 citations
Epistemic modal logic3 · 23 citations
Artificial intelligence3 · 23 citations
Satisfiability2 · 13 citations
Theoretical computer science2 · 13 citations
Epistemology2 · 12 citations
Philosophy2 · 12 citations
Model checking1 · 11 citations
Extension (predicate logic)1 · 11 citations
Algorithm1 · 11 citations

Key Achievements

2
H-Index
3
Papers
23
Total Citations
8
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: Université Toulouse III - Paul Sabatier

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
  3. 3
    Knowledge in Lineland (Extended Abstract)
    2 citations · 2010

Key Collaborators

FSFrançois Schwarzentruber2 shared papersVGValentin Goranko2 shared papers
Not generated yet