Olivier Gasquet

Université Toulouse III - Paul Sabatier

论文数

3

总引用数

23

H-Index

2

关于

暂无简介。

研究焦点

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

主要成就

2
H 指数
3
论文
23
总引用数
8
篇均引用
🏆 最高被引论文
Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane
11 次引用 · 2016
📈 最高产年份: 2016 (1 论文)
🤝 主要合作者: 2
🏛 所属机构: Université Toulouse III - Paul Sabatier

代表论文

  1. 1
    Big Brother Logic: Logical modeling and reasoning about agents equipped with surveillance cameras in the plane
    11 次引用 · 2016
  2. 2
    Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems
    10 次引用 · 2015
  3. 3
    Knowledge in Lineland (Extended Abstract)
    2 次引用 · 2010

主要合作者

FSFrançois Schwarzentruber2 篇合著论文VGValentin Goranko2 篇合著论文
尚未生成