论文数
5
总引用数
22
H-Index
3
关于
暂无简介。
研究焦点
Computer science5 · 22 次引用
Programming language3 · 17 次引用
Artificial intelligence4 · 17 次引用
Mathematics3 · 14 次引用
Algorithm2 · 12 次引用
Extension (predicate logic)2 · 12 次引用
Boolean satisfiability problem1 · 8 次引用
Computational complexity theory1 · 8 次引用
Base (topology)1 · 8 次引用
Description logic1 · 8 次引用
Epistemology1 · 8 次引用
Action (physics)1 · 8 次引用
主要成就
3
H 指数
5
论文
22
总引用数
4
篇均引用
🏆 最高被引论文
Decision Procedures for Epistemic Logic Exploiting Belief Bases
8 次引用 · 2019
📈 最高产年份: 2023 (2 论文)
🤝 主要合作者: 27
🏛 所属机构: Centre National de la Recherche Scientifique, Université Toulouse-I-Capitole, University of Tübingen
代表论文
- 1
- 2Logic-Based Ethical Planning5 次引用 · 2023
- 3
- 4
- 5Ethical Planning with Multiple Temporal Values2 次引用 · 2023
主要合作者
UGUmberto Grandi2 篇合著论文TPTimothy Parker2 篇合著论文RARachid Alami2 篇合著论文DODimitri Ognibene1 篇合著论文BFBenito Fabian Romero Jimenez1 篇合著论文GBGianluca Baldassarre1 篇合著论文DFDavid Fernández–Duque1 篇合著论文CCCristiano Castelfranchi1 篇合著论文ACAurélie Clodic1 篇合著论文RFRino Falcone1 篇合著论文MMMaria Miceli1 篇合著论文MGMaurice Grinberg1 篇合著论文CMCarlos Martinho1 篇合著论文CBChristian Balkenius1 篇合著论文AFAlexander Förster1 篇合著论文GPGeorgi Petkov1 篇合著论文ELEmilian Lalev1 篇合著论文APAna Paiva1 篇合著论文KKKiril Kiryazov1 篇合著论文BKBoicho Kokinov1 篇合著论文
尚未生成