Concepedia

Rix Groenboom

RG

7

Publications

191

Citations

7

H-Index

1996

Active since

Affiliations

University of Groningen(Current)

Karlsruhe Institute of Technology

Rix Groenboom is an author at University of Groningen specializing in automated reasoning, engineering, and formal methods.

ORCID

Top concepts

Publications per year

1996–2003

7

Publications

7

The Unified Problem-Solving Method Development Language UPML

Dieter Fensel, Enrico Motta, Frank van Harmelen et al. · Knowledge and Information Systems · 2003 · 62 citations

, , +7

Specification and verification of knowledge-based systems

Dieter Fensel, Arno Schönegge, Rix Groenboom et al. · 1996 · 36 citations · Full text

The Component Model of UPML in a Nutshell

Dieter Fensel, V. Richard Benjamins, Stefan Decker et al. · 1999 · 28 citations

MLPM: Defining a Semantics and Axiomatization for Specifying the Reasoning Process of Knowleged-based Systems.

Dieter Fensel, Rix Groenboom · European Conference on Artificial Intelligence · 1996 · 25 citations

, , +11

Modal Change Logic (MCL): Specifying the reasoning of knowledge-based systems

Dieter Fensel, Rix Groenboom, Gerard R. Renardel de Lavalette · Data & Knowledge Engineering · 1998 · 16 citations

, , +12

Rows per page

1–5 of 7