Gabriela Vis¸inariContract Management System • May 30th, 2014
Contract Type FiledMay 30th, 2014Propunem un sistem de gestiune a contractelor ˆıntre agen¸tii economici. Dupa˘ formalizarea contractelor, acestea sunt monitorizate s¸i la incalcarea lor se activeaza˘ mecanismul de remediere a disputelor. Platforma colaborativa˘ dezvoltata˘ permite generarea de explica¸tii privind cauzele ˆınca˘lca˘rii prin interogarea ontologiei pe baza ca˘reia contractele au fost instan¸tiate. Serviciile de ra¸tionare ale Logicii Descrip- tive sunt utilizate pentru verificarea formala˘ a consisten¸tei clauzelor contractuale.
Gabriela Vis¸inariContract Management System • June 21st, 2013
Contract Type FiledJune 21st, 2013Propunem un sistem de gestiune a contractelor ˆıntre agen¸tii economici. Dupa˘ formalizarea contractelor, acestea sunt monitorizate s¸i la incalcarea lor se activeaza˘ mecanismul de remediere a disputelor. Platforma colaborativa˘ dezvoltata˘ permite generarea de explica¸tii privind cauzele ˆınca˘lca˘rii prin interogarea ontologiei pe baza ca˘reia contractele au fost instan¸tiate. Serviciile de ra¸tionare ale Logicii Descrip- tive sunt utilizate pentru verificarea formala˘ a consisten¸tei clauzelor contractuale.