Giulio Manzonetto
Giulio Manzonetto publishes mostly in Artificial Intelligence and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Advanced Algebra and Logic.
- World rank
- #1,271,580 of 1,633,909 ranked researchers
- Rank in France
- #77,650 of 96,116
- Works
- 18
- Citations
- 27
- Citations per work
- 1.5
What does Giulio Manzonetto research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence76% of their works
- 2Computational Theory and Mathematics24% of their works
Research topics
Which keywords describe Giulio Manzonetto's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Description Logics, Knowledge Representation, Answer Set Programming, Formal Verification, Modal Logic and Static Analysis.
- Semantic Web
- Ontology
- Symbolic Model Checker
- Residuated Lattices
- Static Analysis
- Formal Verification
- Knowledge Representation
- Temporal Logic
- Model Checking
- Description Logics
- Answer Set Programming
- Modal Logic
- Fuzzy Logic
- Satisfiability Modulo Theories
- Monte Carlo Tree Search
- Procedural Content Generation
Size is their works in the topics tagged with each word, from their 6 largest topics. Each links to the topic it comes from most.
All 16 words, with their numbers
- Model Checking163 topics
- Temporal Logic92 topics
- Description Logics82 topics
- Knowledge Representation82 topics
- Answer Set Programming71 topic
- Formal Verification71 topic
- Modal Logic71 topic
- Static Analysis71 topic
- Fuzzy Logic31 topic
- Residuated Lattices31 topic
- Satisfiability Modulo Theories21 topic
- Symbolic Model Checker21 topic
- Monte Carlo Tree Search11 topic
- Ontology11 topic
- Procedural Content Generation11 topic
- Semantic Web11 topic
Where does Giulio Manzonetto work?
Giulio Manzonetto's main affiliation in the publication record is Laboratoire d'Informatique de Paris-Nord, France.
How many publications and citations does Giulio Manzonetto have?
Science Explorer counts 18 works and 27 citations for Giulio Manzonetto, ranking #1,271,580 of 1,633,909 researchers worldwide on the composite score.
Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.
Papers, co-authors, who cited this work and researchers on the nearest topics are in the interactive view on the map. Is this your page? Request a correction or removal.