Concepedia

Clemens Kupke

CK

16

Publications

516

Citations

13

H-Index

2004

Active since

Affiliations

University of Amsterdam(Current)

University of Strathclyde

University of Oxford

Centrum Wiskunde & Informatica

Imperial College London

Clemens Kupke is an author at University of Amsterdam specializing in automated reasoning, formal methods, and computer science.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceSemanticsDescription LogicsSemantic WebFormal VerificationNon-monotonic LogicGames

Publications per year

2004–2021

16

Publications

16

Stone coalgebras

Clemens Kupke, Alexander Kurz, Yde Venema · Theoretical Computer Science · 2004 · 105 citations

A Coalgebraic Perspective on Monotone Modal Logic

Helle Hvid Hansen, Clemens Kupke · Electronic Notes in Theoretical Computer Science · 2004 · 72 citations · Full text

Algebraic Logic, Non-classical Logic, Monotone Modal Logic +6

Coalgebraic semantics of modal logics: An overview

Clemens Kupke, Dirk Pattinson · Theoretical Computer Science · 2011 · 60 citations

Coalgebraic Semantics, Automated Reasoning, Classical Logic +3

Algebraic Semantics for Coalgebraic Logics

Clemens Kupke, Alexander Kurz, Dirk Pattinson · Electronic Notes in Theoretical Computer Science · 2004 · 59 citations · Full text

Stable model semantics for guarded existential rules and description logics

Georg Gottlob, André Hernich, Clemens Kupke et al. · 2014 · 27 citations

Rows per page

1–5 of 16