Sciweavers

4617 search results - page 294 / 924
» Automation of Diagrammatic Reasoning
Sort
View
ACMICEC
2004
ACM
107views ECommerce» more  ACMICEC 2004»
16 years 1 days ago
Reasoning about commitments in multiple concurrent negotiations
Automated negotiation by software agents is a key enabling technology for agent mediated e-commerce. To this end, this paper considers an important class of such negotiations — ...
Thuc Duong Nguyen, Nicholas R. Jennings
COOPIS
2002
IEEE
15 years 11 months ago
Extending Datatype Support in Web Ontology Reasoning
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
Jeff Z. Pan, Ian Horrocks
ESWS
2006
Springer
15 years 10 months ago
Matching Semantic Service Descriptions with Local Closed-World Reasoning
Abstract. Semantic Web Services were developed with the goal of automating the integration of business processes on the Web. The main idea is to express the functionality of the se...
Stephan Grimm, Boris Motik, Chris Preist
AI
2005
Springer
15 years 6 months ago
Towards a practical theory of reformulation for reasoning about physical systems
In this paper, we propose a practical framework for characterizing, evaluating and selecting reformulation techniques for reasoning about physical systems, with the long-term goal...
Berthe Y. Choueiry, Yumi Iwasaki, Sheila A. McIlra...
IMCSIT
2010
15 years 4 months ago
A Breast Cancer Classifier based on a Combination of Case-Based Reasoning and Ontology Approach
Breast cancer is the second most common form of cancer amongst females and also the fifth most cause of cancer deaths worldwide. In case of this particular type of malignancy, earl...
Essam AbdRabou, Abdel-Badeeh Salem