Rik Gerrits

According to our database, Rik Gerrits authored at least 6 papers between 1999 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2006

Business Rules in the Semantic Web, Are There Any or Are They Different?

Silvie Spreeuwenberg, Rik Gerrits

Proceedings of the Reasoning Web, 2006

2004

A Step out of the Ivory Tower: Experiences with Adapting a Test Case Generation Idea to Business Rules.

Rainer Knauf, Silvie Spreeuwenberg, Rik Gerrits, Martin Jendreck

Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, 2004

2002

Requirements for Successful Verification in Practice.

Silvie Spreeuwenberg, Rik Gerrits

Proceedings of the Fifteenth International Florida Artificial Intelligence Research Society Conference, 2002

2000

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

Frans Coenen, Trevor J. M. Bench-Capon, Robin Boswell, Juliette Dibie-Barthélemy, Barry Eaglestone, Rik Gerrits, Éric Grégoire, Antoni Ligeza, Luis M. Laita, Mieczyslaw L. Owoc, Florence Sellini, Silvie Spreeuwenberg, Jan Vanthienen, Anca I. Vermesan, Nirmalie Wiratunga

Knowl. Eng. Rev., 2000

VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base.

Rik Gerrits, Silvie Spreeuwenberg

Proceedings of the ECAI 2000, 2000

1999

A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base.

Silvie Spreeuwenberg, Rik Gerrits

Proceedings of the Validation and Verification of Knowledge Based Systems, 1999