David Pearce
David Pearce publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Atmospheric Science, on topics such as Logic, Reasoning, and Knowledge, Logic, programming, and type systems and Multi-Agent Systems and Negotiation.
- World rank
- #209,167 of 1,633,909 ranked researchers
- Rank in Spain
- #4,035 of 45,870
- Works
- 35
- Citations
- 127
- Citations per work
- 3.6
What does David Pearce research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence69% of their works
- 2Computational Theory and Mathematics17% of their works
- 3Atmospheric Science3% of their works
- 4Theoretical Computer Science3% of their works
- 5Astronomy and Astrophysics3% of their works
- 6Economics and Econometrics3% of their works
Research topics
Which keywords describe David Pearce's research?
The keywords of their largest research topics: Model Checking, Description Logics, Knowledge Representation, Temporal Logic, Answer Set Programming, Modal Logic, Formal Verification and Static Analysis.
- Self-Organizing Maps
- Computability
- Symbolic Model Checker
- Semantic Web
- Ontology
- Multi-Agent Systems
- Static Analysis
- Modal Logic
- Temporal Logic
- Description Logics
- Model Checking
- Knowledge Representation
- Answer Set Programming
- Formal Verification
- Agent-Based Modeling
- Fuzzy Logic
- Residuated Lattices
- Satisfiability Modulo Theories
- Algorithmic Information Theory
- Neural Networks
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
- Model Checking183 topics
- Description Logics132 topics
- Knowledge Representation132 topics
- Temporal Logic122 topics
- Answer Set Programming101 topic
- Modal Logic101 topic
- Formal Verification61 topic
- Static Analysis61 topic
- Agent-Based Modeling51 topic
- Multi-Agent Systems51 topic
- Fuzzy Logic31 topic
- Ontology31 topic
- Residuated Lattices31 topic
- Semantic Web31 topic
- Satisfiability Modulo Theories21 topic
- Symbolic Model Checker21 topic
- Algorithmic Information Theory11 topic
- Computability11 topic
- Neural Networks11 topic
- Self-Organizing Maps11 topic
Where does David Pearce work?
David Pearce's main affiliation in the publication record is Universidad de Málaga, Spain.
How many publications and citations does David Pearce have?
Science Explorer counts 35 works and 127 citations for David Pearce, ranking #209,167 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.
Other researchers named David Pearce
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.