2006 | Summer school Reasoning Web

2017-10-05T09:22:06+00:00

Silvie Spreeuwenberg is invited at the Summer school Reasoning Web 2006, to be held in Lisboa 4-8 September 2006, and will discuss the relation between Semantic Web and Business Rules. See the web site for more information and registration.

2000 | PAIS

2017-10-05T09:43:34+00:00

We presented a paper on VALENS at PAIS-2000. PAIS is the 14 th European Conference on Prestigious Applications of Intelligent Systems and was held in combination with ECAI (European Conference on Artificial Intelligence). The conference was held in Berlin from 20 to 25 August and offered a unique opportunity to bring industry and academics together to explore the full spectrum of Artificial Intelligence, from theory and methodology to its application in commercial systems.

2000 | Dexa

2017-10-05T09:44:47+00:00

LibRT has been invited to the programme committee of the Workshop on VERIFICATION, VALIDATION AND INTEGRITY (VVI) ISSUES IN EXPERT AND DATABASE SYSTEMS in conjunction with the Eleventh International Conference on Database and Expert Systems Applications (DEXA2000) held in Greenwich, London; in September 2000.

1999 | EuroVaV

2017-10-05T09:46:08+00:00

In June we were present at the EuroVAV 1999 conference in Oslo, Norway. This was the fifth European Symposium on Verification and Validation of Knowledge Based Systems and Components. Our tool was received well and the community takes special interest in our solution because we are dealing with VaV for both OO and Rulebased programming. Have a look at the site at the EuroVAV99 site.