Author of the publication

Belief-augmented OWL (BOWL) Engineering the SemanticWeb with Beliefs.

, , , , and . ICECCS, page 165-174. IEEE Computer Society, (2007)

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.

 

Other publications of authors with the same name

BOWL: augmenting the Semantic Web with beliefs., , , , , and . ISSE, 11 (3): 203-215 (2015)Automatic DAG-Based Service Composition: A Model Checking Approach., , and . ICWS, page 674-675. IEEE Computer Society, (2012)Dynamic Service Composition with Service-Dependent QoS Attributes., , and . ICWS, page 10-17. IEEE Computer Society, (2013)Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop., , , , , and . SERVICES, page 306-311. IEEE Computer Society, (2013)Automatic Service Composition via Model Checking., , , and . APSCC, page 477-482. IEEE Computer Society, (2011)EC2BargainHunter: It's Easy to Hunt for Cost Savings on Amazon EC2!, , , , , , , and . SERVICES, page 480-487. IEEE Computer Society, (2013)Verifying OWL and ORL Ontologies in PVS., , and . ICTAC, volume 3407 of Lecture Notes in Computer Science, page 265-279. Springer, (2004)A Verification Framework for Agent Knowledge., , and . ICFEM, volume 4789 of Lecture Notes in Computer Science, page 57-75. Springer, (2007)Context Awareness Systems Design and Reasoning., , , and . ISoLA, page 335-340. IEEE Computer Society, (2006)Enabling Interoperability across Heterogeneous Semantic Web Services with OWL-S Based Mediation., , , and . APSCC, page 471-476. IEEE Computer Society, (2011)