Concepedia

Simon Polovina

SP

5

Publications

256

Citations

5

H-Index

1999

Active since

Affiliations

Sheffield Hallam University(Current)

Simon Polovina is an author at Sheffield Hallam University specializing in automated reasoning, semantics, and formal methods.

Top concepts

SemanticsAutomated ReasoningDesignEngineeringEpistemologySemantic WebData ModelingFormal MethodsSocial SciencesSoftware Design

Publications per year

1999–2018

5

Publications

5

Dynamic epistemic logic and knowledge puzzles

Wiebe van der Hoek, Barteld Kooi, Hans van Ditmarsch et al. · Data Archiving and Networked Services (DANS) · 2007 · 183 citations

Cognitive Science, Dynamic Epistemic Logic, Automated Reasoning +5

Practical Experiences of, and Lessons Learnt from, Internet Technologies in Higher Education

Stephen Shaw, Simon Polovina · 1999 · 28 citations · Full text

From concepts to agents

Richard Hill, Simon Polovina, Martin Beer · 2005 · 18 citations

Artificial Intelligence, Engineering, Mas Models +22

REA2: A unified formalisation of the Resource-Event-Agent ontology

Wim Laurier, Jesper Kiehn, Simon Polovina · Applied Ontology · 2018 · 15 citations · Full text

Visualising Computational Intelligence Through Converting Data into Formal Concepts

Simon Andrews, Constantinos Orphanides, Simon Polovina · 2010 · 12 citations

Rows per page

1–5 of 5