It address all current topics in Web reasoning and rule systems, including acquisition of rules and ontologies by knowledge ...
Lire la suite
This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University ...
Lire la suite