Bruno Berstel-Da Silva

According to our database¹, Bruno Berstel-Da Silva authored at least 3 papers between 2012 and 2013.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2013

Detection of Inconsistencies in Rules Due to Changes in Ontologies: Let's Get Formal.

[BibT_eX]

[DOI]

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013

2012

Formalizing Both Refraction-Based and Sequential Executions of Production Rule Programs.

[BibT_eX]

[DOI]

Proceedings of the Rules on the Web: Research and Applications, 2012

Verification of Business Rules Programs = Verifikation von Geschäftsregel-Programmen.

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-642-40037-7, 2012