Gotowe bibliografie tematyczne / Reasoning services

Gotowa bibliografia na temat „Reasoning services”

Autor: Grafiati
Data publikacji: 4 maja 2024

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Spis treści

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Reasoning services”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "Reasoning services"

1

Criado, N., J. M. Such i V. Botti. "Norm reasoning services". Information Systems Frontiers 16, nr 2 (6.09.2013): 201–23. http://dx.doi.org/10.1007/s10796-013-9444-7.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Srivastava, Rajendra P., i Theodore J. Mock. "Evidential Reasoning for WebTrust Assurance Services". Journal of Management Information Systems 16, nr 3 (grudzień 1999): 11–32. http://dx.doi.org/10.1080/07421222.1999.11518254.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Steller, Luke Albert, Shonali Krishnaswamy i Mohamed Methat Gaber. "Enabling Scalable Semantic Reasoning for Mobile Services". International Journal on Semantic Web and Information Systems 5, nr 2 (kwiecień 2009): 91–116. http://dx.doi.org/10.4018/jswis.2009040104.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Chua, Hui Na, i S. M. F. D. Syed Mustapha. "Converged services composition with case-based reasoning". International Journal of Information and Communication Technology 13, nr 3 (2018): 257. http://dx.doi.org/10.1504/ijict.2018.094316.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Chua, Hui Na, i S. M. F. D. Syed Mustapha. "Converged services composition with case-based reasoning". International Journal of Information and Communication Technology 13, nr 3 (2018): 257. http://dx.doi.org/10.1504/ijict.2018.10012282.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Chun, Sungkyu, Giho Jang, Hyosook Jung, Seung-Seok Kang i Seongbin Park. "Adaptive Hypermedia Services Using Semantic Web Reasoning". Advanced Science Letters 22, nr 11 (1.11.2016): 3279–83. http://dx.doi.org/10.1166/asl.2016.7881.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Bădică, Costin, Nick Bassiliades, Sorin Ilie i Kalliopi Kravari. "Agent reasoning on the web using web services?" Computer Science and Information Systems 11, nr 2 (2014): 697–721. http://dx.doi.org/10.2298/csis140301038b.

Pełny tekst źródła
Streszczenie:
In this paper we present an approach for reusing agent-based reasoning capabilities by making them available for invocation as Web services. In this way, we provide the missing link between the highly interoperable Web services and the autonomicity and intelligence of agent-based systems, so that the latter can be seamlessly integrated into the knowledge-rich SemanticWeb environment without being compromised by isolated communication platforms and languages or restricted to only one or just few reasoning formalisms. We have achieved this by extending the EMERALD framework for agent based reasoning with a Web service interface. Our approach is exemplified by the development of an online system for intelligent brokering of apartment rentals. The broker intelligence is captured as a defeasible knowledge base, while its problem solving process involves the invocation of third party defeasible reasoning Web services included into the EMERALD framework.
Style APA, Harvard, Vancouver, ISO itp.
8

Sujana, Edy, i Nyoman Ayu Wulan Trisna Dewi. "The Effect of Moral Reasoning on Intention to Fraud in the Procurement of Goods and Services under Obedience Pressure: An Experimental Study". Jurnal Ilmiah Akuntansi 6, nr 2 (12.01.2022): 413. http://dx.doi.org/10.23887/jia.v6i2.38944.

Pełny tekst źródła
Streszczenie:
This study examines the influence of obedience pressure and individual moral reasoning on the attention to commit fraud in the context of the procurement of goods and services. This study uses a 2x2 factorial experimental design. The participants in this study were undergraduate accounting students who have passed courses in Professional Ethics, Public Sector Accounting, and Forensic Accounting who acted as implementers of the procurement of goods and services. Hypothesis testing in this study used ANOVA. The results of this study found the effect of obedience pressure and individual moral reasoning in committing fraud in the procurement of goods and services. Under conditions of obedience pressure, individuals with low moral reasoning will tend to commit fraud compared to individuals with high moral reasoning. Thus, individuals who have high moral reasoning tend to behave ethically, even though they are faced with pressure from superiors.
Style APA, Harvard, Vancouver, ISO itp.
9

Shuang Qiu, Yadong Wang, Yongzhuang Liu i Liang Cheng. "Bioinformatics Web Services Composition with Case based Reasoning". Journal of Convergence Information Technology 6, nr 2 (28.02.2011): 240–53. http://dx.doi.org/10.4156/jcit.vol6.issue2.25.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Ali, Rahman, Muhammad Afzal, Maqbool Hussain, Maqbool Ali, Muhammad Hameed Siddiqi, Sungyoung Lee i Byeong Ho Kang. "Multimodal hybrid reasoning methodology for personalized wellbeing services". Computers in Biology and Medicine 69 (luty 2016): 10–28. http://dx.doi.org/10.1016/j.compbiomed.2015.11.013.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Rozprawy doktorskie na temat "Reasoning services"

1

Tariq, Muhammad Mukarram Bin. "Modeling performance of internet-based services using causal reasoning". Diss., Georgia Institute of Technology, 2010. http://hdl.handle.net/1853/33927.

Pełny tekst źródła
Streszczenie:
The performance of Internet-based services depends on many server-side, client-side, and network related factors. Often, the interaction among the factors or their effect on service performance is not known or well-understood. The complexity of these services makes it difficult to develop analytical models. Lack of models impedes network management tasks, such as predicting performance while planning for changes to service infrastructure, or diagnosing causes of poor performance. We posit that we can use statistical causal methods to model performance for Internet-based services and facilitate performance related network management tasks. Internet-based services are well-suited for statistical learning because the inherent variability in many factors that affect performance allows us to collect comprehensive datasets that cover service performance under a wide variety of conditions. These conditional distributions represent the functions that govern service performance and dependencies that are inherent in the service infrastructure. These functions and dependencies are accurate and can be used in lieu of analytical models to reason about system performance, such as predicting performance of a service when changing some factors, finding causes of poor performance, or isolating contribution of individual factors in observed performance. We present three systems, What-if Scenario Evaluator (WISE), How to Improve Performance (HIP), and Network Access Neutrality Observatory (NANO), that use statistical causal methods to facilitate network management tasks. WISE predicts performance for what-if configurations and deployment questions for content distribution networks. For this, WISE learns the causal dependency structure among the latency-causing factors, and when one or more factors is changed, WISE estimates effect on other factors using the dependency structure. HIP extends WISE and uses the causal dependency structure to invert the performance function, find causes of poor performance, and help answers questions about how to improve performance or achieve performance goals. NANO uses causal inference to quantify the impact of discrimination policies of ISPs on service performance. NANO is the only tool to date for detecting destination-based discrimination techniques that ISPs may use. We have evaluated these tools by application to large-scale Internet-based services and by experiments on wide-area Internet. WISE is actively used at Google for predicting network-level and browser-level response time for Web search for new datacenter deployments. We have used HIP to find causes of high-latency Web search transactions in Google, and identified many cases where high-latency transactions can be significantly mitigated with simple infrastructure changes. We have evaluated NANO using experiments on wide-area Internet and also made the tool publicly available to recruit users and deploy NANO at a global scale.
Style APA, Harvard, Vancouver, ISO itp.
2

DRAGONE, Luigi. "Modeling and reasoning about semantic e-services in cooperative information systems". Doctoral thesis, La Sapienza, 2008. http://hdl.handle.net/11573/917061.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Sirin, Evren. "Combining description logic reasoning with AI planning for composition of web services". College Park, Md. : University of Maryland, 2006. http://hdl.handle.net/1903/4070.

Pełny tekst źródła
Streszczenie:
Thesis (Ph. D.) -- University of Maryland, College Park, 2006.
Thesis research directed by: Computer Science. Title from t.p. of PDF. Includes bibliographical references. Published by UMI Dissertation Services, Ann Arbor, Mich. Also available in paper.
Style APA, Harvard, Vancouver, ISO itp.
4

Benoit, Esther. "Promoting moral reasoning and ego development through the use of deliberate psychological education in family counseling". W&M ScholarWorks, 2009. https://scholarworks.wm.edu/etd/1539618668.

Pełny tekst źródła
Streszczenie:
Families come to therapy wanting to know how to raise good citizens and address issues of justice and fairness in the context of their interpersonal relationships. Research literature suggests that the family may be the best context for moral learning. The implications of deliberately promoted developmental growth within the context of a family therapy intervention are explored. Specifically, the relationships between moral reasoning, ego development and relational functioning in family therapy are examined within a systems-based therapeutic approach.;Outcome research in family therapy suggests that there is at least a moderate positive effect of family therapy. This study examines the effects of a deliberate psychological education (DPE) intervention in the context of systemic family therapy. This study proposed that those at higher levels of moral reasoning and ego development would exhibit a greater ability to adapt to normative family life cycle transitions and exhibit greater relational functioning as more cognitively complex parents may be better equipped to facilitate family organization, communication and emotional responsiveness.;Results of this study indicated developmental shifts in both the treatment and comparison groups over time, with significant positive gains indicated for the treatment group in the domains of ego development and moral reasoning. Family functioning improved slightly for the treatment group over time, but effects were not significant. Implications of this study and suggestions for future research are suggested.
Style APA, Harvard, Vancouver, ISO itp.
5

Riechel, Morgan E. Kiper. "An investigation of relationships among school counselors' ethical professional identity development, moral reasoning, and attitudes toward confidentiality with minors". W&M ScholarWorks, 2013. https://scholarworks.wm.edu/etd/1550154153.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Tiberghien, Thibaut. "Strategies for context reasoning in assistive livings for the elderly". Phd thesis, Institut National des Télécommunications, 2013. http://tel.archives-ouvertes.fr/tel-01048698.

Pełny tekst źródła
Streszczenie:
Leveraging our experience with the traditional approach to ambient assisted living (AAL) which relies on a large spread of heterogeneous technologies in deployments, this thesis studies the possibility of a more "stripped down" and complementary approach, where only a reduced hardware subset is deployed, probing a transfer of complexity towards the software side, and enhancing the large scale deployability of the solution. Focused on the reasoning aspects in AAL systems, this work has allowed the finding of a suitable semantic inference engine for the peculiar use in these systems, responding to a need in this scientific community. Considering the coarse granularity of situational data available, dedicated rule-sets with adapted inference strategies are proposed, implemented, and validated using this engine. A novel semantic reasoning mechanism is proposed based on a cognitively inspired reasoning architecture. Finally, the whole reasoning system is integrated in a fully featured context-aware service framework, powering its context awareness by performing live event processing through complex ontological manipulation. the overall system is validated through in-situ deployments in a nursing home as well as private homes over a few months period, which itself is noticeable in a mainly laboratory-bound research domain
Style APA, Harvard, Vancouver, ISO itp.
7

Hayes, Tavis. "Development of a Framework to Describe the Association Between Hypothetical and Real-World Decisions: A Systematic Concept Review and Cognitive Interviews with Decision Aid Developers". Thesis, Université d'Ottawa / University of Ottawa, 2016. http://hdl.handle.net/10393/35626.

Pełny tekst źródła
Streszczenie:
Despite recommendations, health services interventions often lack mechanistic evidence. One way of acquiring such evidence is through the use of hypothetical settings. However, there are knowledge gaps about the factors that affect whether hypothetical decisions will correlate to real-world ones. This thesis involves a systematic concept review to identify the factors important to the hypothetical-real-world decision relationship and a case study of the relevance of these factors to the decision aid development context. The 42 identified factors were grouped into 5 categories: Personal Characteristics, Presentation Characteristics, Cognitive Factors, Motivation, and Participant Characteristics. Through cognitive interviews with decision aid developers we found that the interviewees had generally not considered many of the factors thought to affect the external validity of hypothetical data. This thesis contributes a framework that highlights factors for investigators to consider when designing studies in hypothetical settings and that can serve as a foundation for future research.
Style APA, Harvard, Vancouver, ISO itp.
8

Glossenger, John Kenneth. "The role of planning in two artificial intelligence architectures". Instructions for remote access. Click here to access this electronic resource. Access available to Kutztown University faculty, staff, and students only, 1991. http://www.kutztown.edu/library/services/remote_access.asp.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Robertson, Derek Lane. "Infusing the school counseling internship with a global perspective to promote ego development, moral reasoning, and ethnocultural empathy: A deliberate psychological education". W&M ScholarWorks, 2013. https://scholarworks.wm.edu/etd/1550154155.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Dakin, Emily K. "OLDER WOMEN'S PERCEPTIONS OF ETHICAL DILEMMAS IN ADULT PROTECTIVE SERVICES: AN EXPLORATORY STUDY". online version, 2004. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=case1081529078.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Książki na temat "Reasoning services"

1

Richard, Belle, red. Advanced EMT: A clinical reasoning approach. Boston: Pearson, 2011.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Lindley, D. V. (Dennis Victor), 1923-2013 i Institute for the Study of Civil Society, red. Failing to figure: Whitehall's costly neglect of statistical reasoning. London: Civitas, 2009.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

The politics of large numbers: A history of statistical reasoning. Cambridge, Mass: Harvard University Press, 1998.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

The politics of large numbers: A history of statistical reasoning. Cambridge, Mass: Harvard University Press, 1998.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Ford, Gary George. Ethical reasoning in the mental health professions. Boca Raton, FL: CRC Press, 2001.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Helene, Lohman, red. Introduction to splinting: A clinical reasoning and problem-solving approach. Wyd. 3. St. Louis: Mosby, 2008.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Joy, Higgs, i Jones Mark A, red. Clinical reasoning in the health professions. Wyd. 2. Oxford: Butterworth-Heinermann, 2000.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Sugumaran, Vijayan. Intelligent, adaptive and reasoning technologies: New developments and applications. Hershey, PA: Information Science Reference, 2011.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Duran, Terry L. Pass key to the ASVAB: With intensive review of arithmetic reasoning, math knowledge, word knowledge, paragraph comprehension. Wyd. 7. Hauppauge, N.Y: Barrons Educational Series, Inc., 2012.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Barron's Educational Series, inc. Editorial Dept., red. Pass key to the ASVAB, Armed Services Vocational Aptitude Battery: With intensive review of arithmetic reasoning, math knowledge, word knowledge, paragraph comprehension. Wyd. 5. Hauppauge, NY: Barron's Educational Series, 2006.

Znajdź pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
Więcej źródeł

Części książek na temat "Reasoning services"

1

Thomas, Edward, Yuan Ren, Jeff Z. Pan, Yuting Zhao i Nophadol Jekjantuk. "Scalable Ontology Reasoning Services". W Ontology-Driven Software Development, 99–120. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-31226-7_5.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Cardoso, Jorge, John A. Miller i Savitha Emani. "Web Services Discovery Utilizing Semantically Annotated WSDL". W Reasoning Web, 240–68. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-85658-0_7.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Bock, Jürgen. "Reasoning Brokerage: New Reasoning Strategies". W Towards the Internet of Services: The THESEUS Research Program, 121–30. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06755-1_10.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Zimmer, Jürgen, i Serge Autexier. "The MathServe System for Semantic Web Reasoning Services". W Automated Reasoning, 140–44. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11814771_12.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Wagner, Gerd. "Advanced Knowledge and Reasoning Services". W Foundations of Knowledge Systems: with Applications to Databases and Agents, 255–62. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5723-4_16.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Cantone, Domenico, Marianna Nicolosi-Asmundo i Daniele Francesco Santamaria. "A Set-Theoretic Approach to ABox Reasoning Services". W Rules and Reasoning, 87–102. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-61252-2_7.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Bissell, John. "Dimensional Analysis and Dimensional Reasoning". W Automation, Collaboration, & E-Services, 29–45. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-25209-9_2.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Helldin, Tove, Maria Riveiro, Sepideh Pashami, Göran Falkman, Stefan Byttner i Slawomir Nowaczyk. "Supporting Analytical Reasoning". W Human Interface and the Management of Information: Applications and Services, 20–31. Cham: Springer International Publishing, 2016. http://dx.doi.org/10.1007/978-3-319-40397-7_3.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Heymans, Stijn, i Ioan Toma. "Ranking Services Using Fuzzy HEX Programs". W Web Reasoning and Rule Systems, 181–96. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008. http://dx.doi.org/10.1007/978-3-540-88737-9_14.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Karig, Martin R. "Industry needs for integrated information services". W Logic Programming And Nonmonotonic Reasoning, 218–19. Berlin, Heidelberg: Springer Berlin Heidelberg, 1997. http://dx.doi.org/10.1007/3-540-63255-7_15.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "Reasoning services"

1

Lacroix, Z., C. R. L. Legendre i S. Tuzmen. "Reasoning on Scientific Workflows". W 2009 IEEE Congress on Services (SERVICES). IEEE, 2009. http://dx.doi.org/10.1109/services-i.2009.73.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
2

Hoffmann, Jorg, James Scicluna, Tomasz Kaczmarek i Ingo Weber. "Polynomial-Time Reasoning for Semantic Web Service Composition". W 2007 IEEE Congress on Services (Services 2007). IEEE, 2007. http://dx.doi.org/10.1109/services.2007.51.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
3

Yanping Cui, Zhenmin Tang i Haibing Dai. "Case-based reasoning and rule-based reasoning for railway incidents prevention". W Proceedings of ICSSSM '05. 2005 International Conference on Services Systems and Services Management, 2005. IEEE, 2005. http://dx.doi.org/10.1109/icsssm.2005.1500156.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Wu, Xiaobing, David Ratcliffe i Mark A. Cameron. "XML Schema Representation and Reasoning: A Description Logic Method". W 2008 IEEE Congress on Services Part 1 (SERVICES-1). IEEE, 2008. http://dx.doi.org/10.1109/services-1.2008.57.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
5

Sekkas, Odysseas, Christos B. Anagnostopoulos i Stathes Hadjiefthymiades. "Context Fusion through Imprecise Reasoning". W IEEE International Conference on Pervasive Services. IEEE, 2007. http://dx.doi.org/10.1109/perser.2007.4283896.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
6

Reformat, M., DengMing Li i Cuong Ly. "Approximate reasoning and Semantic Web Services". W IEEE Annual Meeting of the Fuzzy Information, 2004. Processing NAFIPS '04. IEEE, 2004. http://dx.doi.org/10.1109/nafips.2004.1336318.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Anagnostopoulos, Christos B., Panagiotis Pasias i Stathes Hadjiefthymiades. "A Framework for Imprecise Context Reasoning". W IEEE International Conference on Pervasive Services. IEEE, 2007. http://dx.doi.org/10.1109/perser.2007.4283913.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Kim, Soo Dong, i Soo Ho Chang. "SOAR: An Extended Model-Based Reasoning for Diagnosing Faults in Service-Oriented Architecture". W 2009 IEEE Congress on Services (SERVICES). IEEE, 2009. http://dx.doi.org/10.1109/services-i.2009.57.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
9

Wang, Jun, i Huiqin Ren. "Case-based Reasoning Enabling Database Mining for Cryo-Preserving Algae Applications". W information Services (ICICIS). IEEE, 2011. http://dx.doi.org/10.1109/icicis.2011.11.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
10

Glasner, Dana, i Vugranam C. Sreedhar. "Configuration Reasoning and Ontology For Web". W IEEE International Conference on Services Computing (SCC 2007). IEEE, 2007. http://dx.doi.org/10.1109/scc.2007.44.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.

Raporty organizacyjne na temat "Reasoning services"

1

Baader, Franz, Carsten Lutz, Maja Miličić, Ulrike Sattler i Frank Wolter. Integrating Description Logics and Action Formalisms for Reasoning about Web Services. Aachen University of Technology, 2004. http://dx.doi.org/10.25368/2022.145.

Pełny tekst źródła
Streszczenie:
Motivated by the need for semantically well-founded and algorithmically managable formalism that is based on description logics (DLs), but is also firmly grounded on research in the reasoning about action community. Our main contribution is an analysis of how the choice of the DL influences the complexity of standard reasoning tasks such as projection and executability, which are important for Web service discovery and composition.
Style APA, Harvard, Vancouver, ISO itp.
2

Baader, Franz, Carsten Lutz, Maja Miličić i Frank Wolter. Integrating Description Logics and Action Formalisms for Reasoning about Web Services. Technische Universität Dresden, 2005. http://dx.doi.org/10.25368/2010.145.

Pełny tekst źródła
Streszczenie:
Motivated by the need for semantically well-founded and algorithmically managable formalism that is based on description logics (DLs), but is also firmly grounded on research in the reasoning about action community. Our main contribution is an analysis of how the choice of the DL influences the complexity of standard reasoning tasks such as projection and executability, which are important for Web service discovery and composition.
Style APA, Harvard, Vancouver, ISO itp.
3

McGuinness, Deborah. Development of Semantic Web - Markup Languages, Web Services, Rules, Explanation, Querying, Proof and Reasoning. Fort Belvoir, VA: Defense Technical Information Center, lipiec 2008. http://dx.doi.org/10.21236/ada484611.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
4

Ecke, Andreas, i Anni-Yasmin Turhan. Similarity Measures for Computing Relaxed Instances w.r.t. General EL-TBoxes. Technische Universität Dresden, 2013. http://dx.doi.org/10.25368/2022.202.

Pełny tekst źródła
Streszczenie:
The notion of concept similarity is central to several ontology tasks and can be employed to realize relaxed versions of classical reasoning services. In this paper we investigate the reasoning service of answering instance queries in a relaxed fashion, where the query concept is relaxed by means of a concept similarity measure (CSM). To this end we investigate CSMs that assess the similarity of EL-concepts defined w.r.t. a general EL-TBox. We derive such a family of CSMs from a family of similarity measures for finite interpretations and show in both cases that the resulting measures enjoy a collection of formal properties. These properties allow us to devise an algorithm for computing relaxed instances w.r.t. general EL-TBoxes, where users can specify the „appropriate“ notion of similarity by instanciating our CSM appropriately.
Style APA, Harvard, Vancouver, ISO itp.
5

Brandt, Sebastian, Anni-Yasmin Turhan i Ralf Küsters. Foundations of non-standard inferences for DLs with transitive roles. Technische Universität Dresden, 2003. http://dx.doi.org/10.25368/2022.127.

Pełny tekst źródła
Streszczenie:
Description Logics (DLs) are a family of knowledge representation formalisms used for terminological reasoning. They have a wide range of applications such as medical knowledge-bases, or the semantic web. Research on DLs has been focused on the development of sound and complete inference algorithms to decide satisfiability and subsumption for increasingly expressive DLs. Non-standard inferences are a group of relatively new inference services which provide reasoning support for the building, maintaining, and deployment of DL knowledge-bases. So far, non-standard inferences are not available for very expressive DLs. In this paper we present first results on non-standard inferences for DLs with transitive roles. As a basis, we give a structural characterization of subsumption for DLs where existential and value restrictions can be imposed on transitive roles. We propose sound and complete algorithms to compute the least common subsumer (lcs).
Style APA, Harvard, Vancouver, ISO itp.
6

Rao, Jinghai, i Norman Sadeh. Interleaving Semantic Web Reasoning and Service Discovery to Enforce Context-Sensitive Security and Privacy Policies. Fort Belvoir, VA: Defense Technical Information Center, lipiec 2005. http://dx.doi.org/10.21236/ada456148.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
7

Bringsjord, Selmer, Konstantine Arkoudas i Yingrui Yang. New Architectures, Algorithms And Designs That Lead To Implemented Machine Reasoning Over Knowledge In Epistemic And Deontic Formats, In The Service Of Advanced Wargaming. Fort Belvoir, VA: Defense Technical Information Center, sierpień 2006. http://dx.doi.org/10.21236/ada456936.

Pełny tekst źródła
Style APA, Harvard, Vancouver, ISO itp.
8

Peñaloza, Rafael, i Anni-Yasmin Turhan. Completion-based computation of most specific concepts with limited role-depth for EL and Prob-EL⁰¹. Technische Universität Dresden, 2010. http://dx.doi.org/10.25368/2022.176.

Pełny tekst źródła
Streszczenie:
In Description Logics the reasoning service most specific concept (msc) constructs a concept description that generalizes an ABox individual into a concept description. For the Description Logic EL the msc may not exist, if computed with respect to general EL-TBoxes or cyclic ABoxes. However, it is still possible to find a concept description that is the msc up to a fixed role-depth, i.e. with respect to a maximal nesting of quantifiers. In this report we present a practical approach for computing the roledepth bounded msc, based on the polynomial-time completion algorithm for EL. We extend these methods to Prob-EL⁰¹c , which is a probabilistic variant of EL. Together with the companion report [9] this report devises computation methods for the bottom-up construction of knowledge bases for EL and Prob-EL⁰¹c .
Style APA, Harvard, Vancouver, ISO itp.
Możesz być także zainteresowany rozszerzonymi bibliografiami na temat „Reasoning services” dla poszczególnych typów źródeł:
Artykuły w czasopismach Rozprawy doktorskie Książki
Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!

Do bibliografii