Concepedia

Rik Gerrits

RG

Statistics

Publications

4

Citations

104

H-Index

4

Active since

2000

Affiliations

Librt (Netherlands)(Current)

Rik Gerrits is an author at Librt (Netherlands) specializing in knowledge representation, computing, and deductive verification.

Publications per year

2000–2001

4

Publications

4

POWER

T.M. van Engers, Rik Gerrits, Margherita R. Boekenoogen et al. · 2001 · 51 citations

, , +13

VALENS: a knowledge based tool to validate and verify an Aion knowledge base

Silvie Spreeuwenberg, Rik Gerrits, Margherita R. Boekenoogen · 2000 · 22 citations

, , +15

Validation and verification of knowledge-based systems: report on EUROVAV99

Frans Coenen, Trevor Bench‐Capon, Robin Boswell et al. · The Knowledge Engineering Review · 2000 · 19 citations

, , +15

The Role of Verification in Improving the Quality of Legal Decision-Making

Silvie Spreeuwenberg, T.M. van Engers, Rik Gerrits · 2001 · 12 citations

, , +14

1–4 of 4