Filters








1,805 Hits in 3.0 sec

FSP and FLTL framework for specification and verification of middle-agents

Amelia Bădică, Costin Bădică
2011 International Journal of Applied Mathematics and Computer Science  
In this paper, we propose a formal framework intended to precisely characterize types of middle-agents with a special focus on matchmakers, brokers and front-agents by formally modeling their interactions  ...  improvement of communication between designers and developers and facilitation of formal verification of agent systems, (iii) guided design and implementation of agent-based software systems that incorporate  ...  Sciences, and the Software Engineering Department, University of Craiova, Romania.  ... 
doi:10.2478/v10006-011-0001-6 fatcat:fajecbr6x5eaxckkvbkwdkxkja

Semantic matchmaking in a P-2-P electronic marketplace

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2003 Proceedings of the 2003 ACM symposium on Applied computing - SAC '03  
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are peers in the transaction  ...  Knowledge representation -in particular description logics -can deal with this uniform treatment of knowledge from vendors and customers, by modelling both as generic concepts to be matched.  ...  PRELIMINARY NOTIONS Description Logics (DLs) are a family of logic formalisms for Knowledge Representation.  ... 
doi:10.1145/952532.952649 dblp:conf/sac/NoiaSDM03 fatcat:ypm5pgazwbb5zdc3wb7c3td3fe

Semantic matchmaking in a P-2-P electronic marketplace

Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Marina Mongiello
2003 Proceedings of the 2003 ACM symposium on Applied computing - SAC '03  
Matchmaking is the problem of matching offers and requests, such as supply and demand in a marketplace, services and customers in a service agency, etc., where both partners are peers in the transaction  ...  Knowledge representation -in particular description logics -can deal with this uniform treatment of knowledge from vendors and customers, by modelling both as generic concepts to be matched.  ...  PRELIMINARY NOTIONS Description Logics (DLs) are a family of logic formalisms for Knowledge Representation.  ... 
doi:10.1145/952647.952649 fatcat:77gw56r7wrejtkzx73gmnydxc4

Next-generation applications in healthcare digital libraries using semantic service composition and coordination

Thorsten Möller, Heiko Schuldt, Andreas Gerber, Matthias Klusch
2006 Health Informatics Journal  
This paper presents a novel approach where service coordination is distributed among a set of agents. A dedicated component plans compound semantic services on demand for a particular application.  ...  Semantic (web) services enhance single services and facilitate compound services, thereby supporting advanced applications on top of a DL.  ...  The most important principle of semantic matchmaking is that semantics of words used in the description of web services are formally defined in ontologies.  ... 
doi:10.1177/1460458206063802 pmid:17023402 fatcat:eri5xusqjbekfmcvwlrv7mwg44

Inside the black box of the corporate staff: Social networks and the implementation of corporate strategy

Adam M. Kleinbaum, Toby E. Stuart
2013 Strategic Management Journal  
These results imply that the literature's emphasis on structure as a means to achieve coordination undervalues a selection process in which individuals with broad networks match to coordination-focused  ...  Further, once people receive the 'corporate imprimatur,' they retain aspects of it even when they move back to the line organization.  ...  One can think of estimation of the effect of job mobility on communication network structure as a standard form of a treatment effect.  ... 
doi:10.1002/smj.2090 fatcat:4sils3z4b5h2xpkr5ovznm7rq4

Inside the Black Box of the Corporate Staff: Social Networks and the Implementation of Corporate Strategy

Adam M. Kleinbaum, Toby E. Stuart
2012 Social Science Research Network  
These results imply that the literature's emphasis on structure as a means to achieve coordination undervalues a selection process in which individuals with broad networks match to coordination-focused  ...  Further, once people receive the 'corporate imprimatur,' they retain aspects of it even when they move back to the line organization.  ...  One can think of estimation of the effect of job mobility on communication network structure as a standard form of a treatment effect.  ... 
doi:10.2139/ssrn.1804220 fatcat:laf576thezekrarn5dkuxjsl5y

A software framework for matchmaking based on semantic web technology

Lei Li, Ian Horrocks
2003 Proceedings of the twelfth international conference on World Wide Web - WWW '03  
By representing the semantics of service descriptions, the matchmaker enables the behavior of an intelligent agent to approach more closely that of a human user trying to locate suitable Web services.  ...  In particular, it describes the design and implementation of a service matchmaking prototype that uses a DAML -S based ontology and a description logic reasoner to compare ontology-based service descriptions  ...  A, then one calls the match PlugIn; formally, R , A. • Subsume: If request R is a superconcept of advertisement A, then one calls the match Subsume; formally, A , R. • Intersection: If the intersection  ... 
doi:10.1145/775197.775199 fatcat:m4dunylulrfe3pmtxwwe2xdmvi

A Software Framework for Matchmaking Based on Semantic Web Technology

Lei Li, Ian Horrocks
2004 International Journal of Electronic Commerce  
By representing the semantics of service descriptions, the matchmaker enables the behavior of an intelligent agent to approach more closely that of a human user trying to locate suitable Web services.  ...  In particular, it describes the design and implementation of a service matchmaking prototype that uses a DAML -S based ontology and a description logic reasoner to compare ontology-based service descriptions  ...  A, then one calls the match PlugIn; formally, R , A. • Subsume: If request R is a superconcept of advertisement A, then one calls the match Subsume; formally, A , R. • Intersection: If the intersection  ... 
doi:10.1080/10864415.2004.11044307 fatcat:dcb4n57rfnhpre2akajoyqxh44

A software framework for matchmaking based on semantic web technology

Lei Li, Ian Horrocks
2003 Proceedings of the twelfth international conference on World Wide Web - WWW '03  
By representing the semantics of service descriptions, the matchmaker enables the behavior of an intelligent agent to approach more closely that of a human user trying to locate suitable Web services.  ...  In particular, it describes the design and implementation of a service matchmaking prototype that uses a DAML -S based ontology and a description logic reasoner to compare ontology-based service descriptions  ...  A, then one calls the match PlugIn; formally, R , A. • Subsume: If request R is a superconcept of advertisement A, then one calls the match Subsume; formally, A , R. • Intersection: If the intersection  ... 
doi:10.1145/775152.775199 dblp:conf/www/LiH03 fatcat:4ewa5khqv5a2xoeqncunzv337q

Heterogeneous Agent Systems: A Review

P. Ravi Prakash
2002 The AI Magazine  
Ravi Prakash is a senior staff scientist at the National Centre for Software Technology, India. He received his B.Tech in computer science and engineering from JNTU, Kakinada, India.  ...  His research interests include intelligent agents, multiagent systems, planning and scheduling, soft computing, and parallel and distributed computing. His e-mail address is ravi@ncst. ernet.in.  ...  This part is very formal; it is meant for researchers interested in the formal treatment of the theory.  ... 
doi:10.1609/aimag.v23i1.1615 dblp:journals/aim/Prakash02 fatcat:o3otcsnfe5gwdnm26op7cl2igu

The Role of the Climate Technology Centre and Network as a Climate Technology and Innovation Matchmaker for Developing Countries

Woo Jin Lee, Rose Mwebaza
2020 Sustainability  
In this paper, the role of a matchmaker in transferring climate technologies to developing countries was explored from the perspective of open innovation.  ...  Then, on the basis of previous empirical Technical Assistance data and network management a new open innovation model was proposed by considering the CTCN matchmaking activities with key stakeholders (  ...  Acknowledgments: This work was supported by secondment program in Ministry of Science and ICT (MSIT), Republic of Korea. Conflicts of Interest: The authors declare no conflict of interest.  ... 
doi:10.3390/su12197956 fatcat:ahsf5oqgtzc6ffjcixbhwm4p5q

Automated semantic web service discovery with OWLS-MX

Matthias Klusch, Benedikt Fries, Katia Sycara
2006 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems - AAMAS '06  
The hybrid matchmaker, called OWLS-MX, applies this approach to services and requests specified in OWL-S.  ...  Experimental results of measuring performance and scalability of different variants of OWLS-MX show that under certain constraints logic based only approaches to OWL-S service I/O matching can be significantly  ...  Suppose the concept subsumption hierarchy or taxonomy of the OWLS-MX matchmaker ontology, the service request R for physicians of hospital h that provide treatment to patient p, and relevant service advertisements  ... 
doi:10.1145/1160633.1160796 dblp:conf/atal/KluschFS06 fatcat:bshekdmc2vh3vjsyed54zfpiti

Hybrid approach for context-aware service discovery in healthcare domain

G. Fenza, D. Furno, V. Loia
2012 Journal of computer and system sciences (Print)  
Semantic formalisms (e.g., OWL, OWL-S, etc.) enable the context and services modeling in terms of domain ontology concepts.  ...  Goal is to define context-aware system whose quality of retrieved services relies on the acquisition of user context by means of a robust theoretical approach.  ...  Ontology is a formal, explicit specification of a shared conceptualization of a domain [37] .  ... 
doi:10.1016/j.jcss.2011.10.011 fatcat:muc7rig2yzccpebkree44lzt5a

Knowledge-Based Decision Support in Healthcare via Near Field Communication

Giuseppe Loseto, Floriano Scioscia, Michele Ruta, Filippo Gramegna, Saverio Ieva, Agnese Pinto, Crescenzio Scioscia
2020 Sensors  
The proposed framework includes a lightweight reasoning engine to infer possible incompatibilities in treatment, suggesting substitute therapies.  ...  This paper presents an innovative Decision Support System (DSS), based on a semantic enhancement of Near Field Communication (NFC) standard.  ...  The patient's profile is submitted to a matchmaking process against treatments defined in the KG in order to find a new medication D ; this step yields a list of substitution therapy options sorted by  ... 
doi:10.3390/s20174923 pmid:32878204 fatcat:df5ifmrmzrf5ffvjaua2h6p4ka

OWLS-MX: A Hybrid Semantic Web Service Matchmaker for OWL-S Services

Matthias Klusch, Benedikt Fries, Katia Sycara
2009 Social Science Research Network  
An additional analysis of false positives and false negatives of the hybrid matching filters of OWLS-MX led to an even further improved matchmaker version called OWLS-MX2.  ...  In this paper, we describe the first hybrid semantic Web service matchmaker for OWL-S services, called OWLS-MX.  ...  Figure 2 shows the concept subsumption hierarchy or taxonomy of the OWLS-MX matchmaker ontology, the service request R for physicians of some hospital h that provide treatment to patient p, and relevant  ... 
doi:10.2139/ssrn.3199420 fatcat:4dces7t6jrht5g3jup5q6nxe5u
« Previous Showing results 1 — 15 out of 1,805 results