Pascal Nicolas
Pascal Nicolas publishes mostly in Artificial Intelligence, Linguistics and Language and Hematology, on topics such as Logic, Reasoning, and Knowledge, Semantic Web and Ontologies and French Language Learning Methods.
- World rank
- #494,661 of 1,633,909 ranked researchers
- Rank in France
- #29,770 of 96,116
- Works
- 26
- Citations
- 37
- Citations per work
- 1.4
What does Pascal Nicolas research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence39% of their works
- 2Linguistics and Language11% of their works
- 3Hematology11% of their works
- 4Ecology6% of their works
- 5Computer Networks and Communications6% of their works
- 6Computational Theory and Mathematics6% of their works
Research topics
Which keywords describe Pascal Nicolas's research?
The keywords of their largest research topics: Description Logics, Knowledge Representation, Model Checking, Temporal Logic, Answer Set Programming, Modal Logic, Language Education and Multilingualism.
- Symbolic Model Checker
- Satisfiability Modulo Theories
- Formal Verification
- Coral Reefs
- Climate Change
- Semantic Web
- Multilingualism
- Modal Logic
- Temporal Logic
- Knowledge Representation
- Description Logics
- Model Checking
- Answer Set Programming
- Language Education
- Ontology
- Agent-Based Modeling
- Constraint Optimization
- Distributed Algorithms
- Multi-Agent Systems
- Static Analysis
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 20 words, with their numbers
- Description Logics52 topics
- Knowledge Representation52 topics
- Model Checking53 topics
- Temporal Logic42 topics
- Answer Set Programming31 topic
- Modal Logic31 topic
- Language Education21 topic
- Multilingualism21 topic
- Ontology21 topic
- Semantic Web21 topic
- Agent-Based Modeling11 topic
- Climate Change11 topic
- Constraint Optimization11 topic
- Coral Reefs11 topic
- Distributed Algorithms11 topic
- Formal Verification11 topic
- Multi-Agent Systems11 topic
- Satisfiability Modulo Theories11 topic
- Static Analysis11 topic
- Symbolic Model Checker11 topic
Where does Pascal Nicolas work?
Pascal Nicolas's main affiliation in the publication record is Université d'Angers, France.
How many publications and citations does Pascal Nicolas have?
Science Explorer counts 26 works and 37 citations for Pascal Nicolas, ranking #494,661 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.