Papers
5
Total Citations
22
H-Index
3
About
No biography available yet.
Research Focus
Computer science5 · 22 citations
Programming language3 · 17 citations
Artificial intelligence4 · 17 citations
Mathematics3 · 14 citations
Algorithm2 · 12 citations
Extension (predicate logic)2 · 12 citations
Boolean satisfiability problem1 · 8 citations
Computational complexity theory1 · 8 citations
Base (topology)1 · 8 citations
Description logic1 · 8 citations
Epistemology1 · 8 citations
Action (physics)1 · 8 citations
Key Achievements
3
H-Index
5
Papers
22
Total Citations
4
Avg Citations/Paper
🏆 Most Cited Paper
Decision Procedures for Epistemic Logic Exploiting Belief Bases
8 citations · 2019
📈 Most Prolific Year: 2023 (2 Papers)
🤝 Key Collaborators: 27
🏛 Institutions: Centre National de la Recherche Scientifique, Université Toulouse-I-Capitole, University of Tübingen
Top Papers
- 1Decision Procedures for Epistemic Logic Exploiting Belief Bases8 citations · 2019
- 2Logic-Based Ethical Planning5 citations · 2023
- 3Exploring the bidimensional space: A dynamic logic point of view4 citations · 2017
- 4
- 5Ethical Planning with Multiple Temporal Values2 citations · 2023
Key Collaborators
UGUmberto Grandi2 shared papersTPTimothy Parker2 shared papersRARachid Alami2 shared papersDODimitri Ognibene1 shared papersBFBenito Fabian Romero Jimenez1 shared papersGBGianluca Baldassarre1 shared papersDFDavid Fernández–Duque1 shared papersCCCristiano Castelfranchi1 shared papersACAurélie Clodic1 shared papersRFRino Falcone1 shared papersMMMaria Miceli1 shared papersMGMaurice Grinberg1 shared papersCMCarlos Martinho1 shared papersCBChristian Balkenius1 shared papersAFAlexander Förster1 shared papersGPGeorgi Petkov1 shared papersELEmilian Lalev1 shared papersAPAna Paiva1 shared papersKKKiril Kiryazov1 shared papersBKBoicho Kokinov1 shared papers
Not generated yet