( en | de | ru )

 

Disambiguation of "Gerrits, Rik"

Author of the publication

copydeleteadd this publication to your clipboard
Validation and verification of knowledge-based systems: report on EUROVAV99.

, , , , , , , , , , , , , , and . Knowl. Eng. Rev., 15 (2): 187-196 (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Michael Gerrits

Rik Tykwinski

Rik Achten

Rik Streifeneder

Rik Tjallingii

 

Other publications of authors with the same name

The Role of Verification in Improving the Quality of Legal Decision-Making, , and . Legal Knowledge and Information Systems. Jurix 2001: The Fourteenth Annual Conference, page 1-15. Amsterdam, IOS Press, (2001)VALENS: A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base., and . ECAI, page 731-738. IOS Press, (2000)A Step out of the Ivory Tower: Experiences with Adapting a Test Case Generation Idea to Business Rules., , , and . FLAIRS, page 343-348. AAAI Press, (2004)A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base., and . EUROVAV, page 67-78. Kluwer, (1999)POWER: Using UML/OCL for Modeling Legislation - an application report, , , , and . Proceedings of the 8th international conference on Artificial intelligence and law, page 157-167. ACM Press, (2001)1-58113-368-5/01/0005.Business Rules in the Semantic Web, Are There Any or Are They Different?, and . Reasoning Web, volume 4126 of Lecture Notes in Computer Science, page 152-163. Springer, (2006)Requirements for Successful Verification in Practice., and . FLAIRS, page 221-225. AAAI Press, (2002)Validation and verification of knowledge-based systems: report on EUROVAV99., , , , , , , , , and 5 other author(s). Knowl. Eng. Rev., 15 (2): 187-196 (2000)