Alain Lecomte
Alain Lecomte publishes mostly in Artificial Intelligence, Philosophy and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Meat and Animal Product Quality.
- World rank
- #827,540 of 1,633,909 ranked researchers
- Rank in France
- #51,341 of 96,116
- Works
- 19
- Citations
- 20
- Citations per work
- 1.1
What does Alain Lecomte research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence43% of their works
- 2Philosophy14% of their works
- 3Computational Theory and Mathematics7% of their works
- 4Finance7% of their works
- 5Urban Studies7% of their works
- 6Animal Science and Zoology7% of their works
Research topics
Which keywords describe Alain Lecomte's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Knowledge Representation, Static Analysis, Temporal Logic, Answer Set Programming, Modal Logic and Augustine.
- Theology
- Stable Isotopes
- Satisfiability Modulo Theories
- Ontology
- Multivariate Calibration
- Augustine
- Answer Set Programming
- Static Analysis
- Formal Verification
- Model Checking
- Knowledge Representation
- Temporal Logic
- Modal Logic
- Meat Quality
- Near-Infrared Spectroscopy
- Protein Oxidation
- Semantic Web
- Symbolic Model Checker
- Trophic Position
Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.
All 19 words, with their numbers
- Model Checking63 topics
- Formal Verification31 topic
- Knowledge Representation32 topics
- Static Analysis31 topic
- Temporal Logic32 topics
- Answer Set Programming21 topic
- Modal Logic21 topic
- Augustine11 topic
- Meat Quality11 topic
- Multivariate Calibration11 topic
- Near-Infrared Spectroscopy11 topic
- Ontology11 topic
- Protein Oxidation11 topic
- Satisfiability Modulo Theories11 topic
- Semantic Web11 topic
- Stable Isotopes11 topic
- Symbolic Model Checker11 topic
- Theology11 topic
- Trophic Position11 topic
Where does Alain Lecomte work?
Alain Lecomte's main affiliation in the publication record is Structures Formelles du Langage, France.
How many publications and citations does Alain Lecomte have?
Science Explorer counts 19 works and 20 citations for Alain Lecomte, ranking #827,540 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.