Science Explorer Back to mapMap
Discussion
Researcher · Vilnius University · Lithuania

Haroldas Giedra

Haroldas Giedra publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Philosophy, on topics such as Logic, Reasoning, and Knowledge, Logic, programming, and type systems and Formal Methods in Verification.

ORCID 0000-0002-6852-5909 OpenAlex
World rank
#5,877,110
of 7,710,434 ranked researchers
Rank in Lithuania
#4,214
of 9,273
Works
18
Citations
16
Citations per work
0.9
h-index
2
i10-index 0Top 98% in Artificial Intelligence
Haroldas Giedra

What does Haroldas Giedra research?

Haroldas Giedra's work is mostly in Computer Science (82%), Arts and Humanities (12%), Business, Management and Accounting (2%).

Physical Sciences: 15 works · 82.0% of their workComputer Science: 15 works · 82.0% of their workArtificial Intelligence: 11 works · 60.0% of their workComputational Theory and Mathematics: 4 works · 20.0% of their workComputer Networks and Communications: 0 works · 2.0% of their workSocial Sciences: 3 works · 14.0% of their workArts and Humanities: 2 works · 12.0% of their workPhilosophy: 1 works · 8.0% of their workHistory and Philosophy of Science: 1 works · 4.0% of their workBusiness, Management and Accounting: 0 works · 2.0% of their workManagement Information Systems: 0 works · 2.0% of their workEverything else: 1 works · 4.0% of their workTHEIR WORKHaroldas Giedra18works
Physical Sciences82%Social Sciences14%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science1582.0%
    1. Arts and Humanities212.0%
    2. Business, Management and Accounting02.0%
  3. Everything else14.0%
  1. 1Artificial Intelligence60% of their works
  2. 2Computational Theory and Mathematics20% of their works
  3. 3Philosophy8% of their works
  4. 4History and Philosophy of Science4% of their works
  5. 5Computer Networks and Communications2% of their works
  6. 6Management Information Systems2% of their works

Research topics

Which keywords describe Haroldas Giedra's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Description Logics, Knowledge Representation, Answer Set Programming, Modal Logic, Formal Verification and 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 21 words, with their numbers
  1. Model Checking323 topics
  2. Temporal Logic212 topics
  3. Description Logics182 topics
  4. Knowledge Representation182 topics
  5. Answer Set Programming151 topic
  6. Modal Logic151 topic
  7. Formal Verification111 topic
  8. Static Analysis111 topic
  9. Satisfiability Modulo Theories61 topic
  10. Symbolic Model Checker61 topic
  11. Aristotle42 topics
  12. Fuzzy Logic41 topic
  13. Residuated Lattices41 topic
  14. Ontology31 topic
  15. Semantic Web31 topic
  16. Avicenna21 topic
  17. Maimonides21 topic
  18. Natural Philosophy21 topic
  19. Plato21 topic
  20. Scientific Culture21 topic
  21. Stoicism21 topic

Where does Haroldas Giedra work?

Haroldas Giedra's main affiliation in the publication record is Vilnius University, Lithuania.

How many publications and citations does Haroldas Giedra have?

OpenAlex counts 18 works and 16 citations for Haroldas Giedra, an h-index of 2, ranking #5,877,110 of 7,710,434 researchers worldwide on the quality 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 have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Haroldas Giedra. Posts are plain text and can be reported.