( en | de | ru )

 

Disambiguation of "Spreeuwenberg, Silvie"

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.

Silvie Schröpfer

Silvie Rücker

Silvie Domann

Silvie Koeppe

Silvie Klein-Franke

 

Other publications of authors with the same name

Validation and verification of knowledge-based systems: report on EUROVAV99., , , , , , , , , and 5 other author(s). Knowl. Eng. Rev., 15 (2): 187-196 (2000)OMG Production Rule Representation - Context and Current Status., , , , , , , , and . Rule Languages for Interoperability, W3C, (2005)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)SBVR's Approach to Controlled Natural Language., and . CNL (Pre-Proceedings), volume 448 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Development of the Rule Based Approach to Traffic Management by the Dutch Road Authorities., and . RuleML+RR (Supplement), volume 1875 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Choose for AI and for Explainability.. OTM Workshops, volume 11878 of Lecture Notes in Computer Science, page 3-8. Springer, (2019)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)A Knowledge Based Tool to Validate and Verify an Aion Knowledge Base., and . EUROVAV, page 67-78. Kluwer, (1999)Using CNL Techniques and Pattern Sentences to Involve Domain Experts in Modeling., , , and . CNL, volume 7175 of Lecture Notes in Computer Science, page 175-193. Springer, (2010)