Gotowa bibliografia na temat „Combining logics”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Spis treści
Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „Combining logics”.
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 "Combining logics"
Jánossy, A., Á. Kurucz i Á. E. Eiben. "Combining Algebraizable Logics". Notre Dame Journal of Formal Logic 37, nr 2 (kwiecień 1996): 366–80. http://dx.doi.org/10.1305/ndjfl/1040046092.
Pełny tekst źródłaRASGA, JOÃO, CRISTINA SERNADAS i AMÍLCAR SERNADAS. "PRESERVATION OF ADMISSIBLE RULES WHEN COMBINING LOGICS". Review of Symbolic Logic 9, nr 4 (17.08.2016): 641–63. http://dx.doi.org/10.1017/s1755020316000241.
Pełny tekst źródłaGabelaia, D., R. Kontchakov, A. Kurucz, F. Wolter i M. Zakharyaschev. "Combining Spatial and Temporal Logics: Expressiveness vs. Complexity". Journal of Artificial Intelligence Research 23 (1.02.2005): 167–243. http://dx.doi.org/10.1613/jair.1537.
Pełny tekst źródłaRABE, FLORIAN. "A logical framework combining model and proof theory". Mathematical Structures in Computer Science 23, nr 5 (1.03.2013): 945–1001. http://dx.doi.org/10.1017/s0960129512000424.
Pełny tekst źródłaÅgotnes, Thomas, i Natasha Alechina. "Coalition logic with individual, distributed and common knowledge1". Journal of Logic and Computation 29, nr 7 (15.08.2018): 1041–69. http://dx.doi.org/10.1093/logcom/exv085.
Pełny tekst źródłaDalpiaz, Elena, Violina Rindova i Davide Ravasi. "Combining Logics to Transform Organizational Agency". Administrative Science Quarterly 61, nr 3 (7.07.2016): 347–92. http://dx.doi.org/10.1177/0001839216636103.
Pełny tekst źródłaMessing, Barbara. "Combining knowledge with many-valued logics". Data & Knowledge Engineering 23, nr 3 (wrzesień 1997): 297–315. http://dx.doi.org/10.1016/s0169-023x(97)00012-8.
Pełny tekst źródłaLiang, Chuck, i Dale Miller. "A focused approach to combining logics". Annals of Pure and Applied Logic 162, nr 9 (wrzesień 2011): 679–97. http://dx.doi.org/10.1016/j.apal.2011.01.012.
Pełny tekst źródłaSkjølsvik, Tale. "Combining goods and service-dominant logics in purchasing strategies". Journal of Business & Industrial Marketing 33, nr 8 (1.10.2018): 1087–99. http://dx.doi.org/10.1108/jbim-09-2017-0220.
Pełny tekst źródłaOnishi, Tamaki. "Venture Philanthropy and Practice Variations: The Interplay of Institutional Logics and Organizational Identities". Nonprofit and Voluntary Sector Quarterly 48, nr 2 (17.01.2019): 241–65. http://dx.doi.org/10.1177/0899764018819875.
Pełny tekst źródłaRozprawy doktorskie na temat "Combining logics"
Nair, Vineet. "On Extending BDI Logics". Thesis, Griffith University, 2003. http://hdl.handle.net/10072/365892.
Pełny tekst źródłaThesis (PhD Doctorate)
Doctor of Philosophy (PhD)
School of Information Technology
Full Text
Nair, Vineet, i n/a. "On Extending BDI Logics". Griffith University. School of Information Technology, 2003. http://www4.gu.edu.au:8080/adt-root/public/adt-QGU20030929.095254.
Pełny tekst źródłaKnorr, Matthias. "Combining open and closed world reasoning for the semantic web". Doctoral thesis, Faculdade de Ciências e Tecnologia, 2011. http://hdl.handle.net/10362/6702.
Pełny tekst źródłaOne important problem in the ongoing standardization of knowledge representation languages for the Semantic Web is combining open world ontology languages, such as the OWL-based ones, and closed world rule-based languages. The main difficulty of such a combination is that both formalisms are quite orthogonal w.r.t. expressiveness and how decidability is achieved. Combining non-monotonic rules and ontologies is thus a challenging task that requires careful balancing between expressiveness of the knowledge representation language and the computational complexity of reasoning. In this thesis, we will argue in favor of a combination of ontologies and nonmonotonic rules that tightly integrates the two formalisms involved, that has a computational complexity that is as low as possible, and that allows us to query for information instead of calculating the whole model. As our starting point we choose the mature approach of hybrid MKNF knowledge bases, which is based on an adaptation of the Stable Model Semantics to knowledge bases consisting of ontology axioms and rules. We extend the two-valued framework of MKNF logics to a three-valued logics, and we propose a well-founded semantics for non-disjunctive hybrid MKNF knowledge bases. This new semantics promises to provide better efficiency of reasoning,and it is faithful w.r.t. the original two-valued MKNF semantics and compatible with both the OWL-based semantics and the traditional Well- Founded Semantics for logic programs. We provide an algorithm based on operators to compute the unique model, and we extend SLG resolution with tabling to a general framework that allows us to query a combination of non-monotonic rules and any given ontology language. Finally, we investigate concrete instances of that procedure w.r.t. three tractable ontology languages, namely the three description logics underlying the OWL 2 pro les.
Fundação para a Ciência e Tecnologia - grant contract SFRH/BD/28745/2006
Rudolph, Sebastian. "Relational Exploration: Combining Description Logics and Formal Concept Analysis for Knowledge Specification". Doctoral thesis, Technische Universität Dresden, 2006. https://tud.qucosa.de/id/qucosa%3A25002.
Pełny tekst źródłaRudolph, Sebastian [Verfasser]. "Relational exploration : combining description logics and formal concept analysis for knowledge specification / von Sebastian Rudolph". Karlsruhe : Univ.-Verl. Karlsruhe, 2007. http://d-nb.info/983756430/34.
Pełny tekst źródłaRocktaschel, Tim. "Combining representation learning with logic for language processing". Thesis, University College London (University of London), 2018. http://discovery.ucl.ac.uk/10040845/.
Pełny tekst źródłaCanuto, Anne Magaly de Paula. "Combining neural networks and fuzzy logic for applications in character recognition". Thesis, University of Kent, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.344107.
Pełny tekst źródłaSirin, 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łaThesis 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.
Linker, Sven [Verfasser], Ernst-Rüdiger [Akademischer Betreuer] Olderog i Michael R. [Akademischer Betreuer] Hansen. "Proofs for traffic safety : combining diagrams and logic / Sven Linker. Betreuer: Ernst-Rüdiger Olderog ; Michael R. Hansen". Oldenburg : BIS der Universität Oldenburg, 2015. http://d-nb.info/106831236X/34.
Pełny tekst źródłaLinker, Sven Verfasser], Ernst-Rüdiger [Akademischer Betreuer] Olderog i Michael R. [Akademischer Betreuer] [Hansen. "Proofs for traffic safety : combining diagrams and logic / Sven Linker. Betreuer: Ernst-Rüdiger Olderog ; Michael R. Hansen". Oldenburg : BIS der Universität Oldenburg, 2015. http://d-nb.info/106831236X/34.
Pełny tekst źródłaKsiążki na temat "Combining logics"
Franz, Baader, i Schulz K. U. 1957-, red. Frontiers of combining systems: First international workshop, Munich, March 1996. Dordrecht: Kluwer Academic Publishers, 1996.
Znajdź pełny tekst źródłaSilvio, Ghilardi, i Sebastiani R. (Roberto), red. Frontiers of combining systems: 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings. Berlin: Springer, 2009.
Znajdź pełny tekst źródłaTrillas, Enric. Combining Experimentation and Theory: A Hommage to Abe Mamdani. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Znajdź pełny tekst źródłaBoris, Konev, i Wolter Frank, red. Frontiers of combining systems: 6th international symposium, FroCoS 2007, Liverpool, UK, September 10-12, 2007 : proceedings. Berlin: Springer, 2007.
Znajdź pełny tekst źródłaFroCoS, 2005 (2005 Vienna Austria). Frontiers of combining systems: 5th international workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings. Berlin: Springer, 2005.
Znajdź pełny tekst źródłaFroCoS 2000 (2000 Nancy, France). Frontiers of combining systems: Third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000. New York: Springer, 2000.
Znajdź pełny tekst źródłaAlessandro, Armando, red. Frontiers of combining systems: 4th international workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002 : proceedings. New York: Springer, 2002.
Znajdź pełny tekst źródłaChuvikov, Dmitriy. Models and algorithms for reconstruction and examination of emergency events of road accidents based on logical artificial intelligence. Wyd. 2. ru: INFRA-M Academic Publishing LLC., 2021. http://dx.doi.org/10.12737/1220729.
Pełny tekst źródłaHooker, John. Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction. Wiley & Sons, Incorporated, John, 2011.
Znajdź pełny tekst źródłaHooker, John. Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction. Wiley-Interscience, 2000.
Znajdź pełny tekst źródłaCzęści książek na temat "Combining logics"
Schild, Klaus. "Combining terminological logics with tense logic". W Progress in Artificial Intelligence, 105–20. Berlin, Heidelberg: Springer Berlin Heidelberg, 1993. http://dx.doi.org/10.1007/3-540-57287-2_41.
Pełny tekst źródłaBaader, Franz, i Klaus U. Schulz. "Combining Constraint Solving". W Constraints in Computational Logics, 104–58. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45406-3_3.
Pełny tekst źródłaCaleiro, C., P. Mateus, J. Ramos i A. Sernadas. "Combining Logics: Parchments Revisited". W Recent Trends in Algebraic Development Techniques, 48–70. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45645-7_3.
Pełny tekst źródłaAreces, Carlos, Raul Fervari i Guillaume Hoffmann. "Tableaux for Relation-Changing Modal Logics". W Frontiers of Combining Systems, 263–78. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40885-4_19.
Pełny tekst źródłaSakr, Mostafa, i Renate A. Schmidt. "Semantic Forgetting in Expressive Description Logics". W Frontiers of Combining Systems, 118–36. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-86205-3_7.
Pełny tekst źródłaMotik, Boris. "Combining Description Logics, Description Graphs, and Rules". W Frontiers of Combining Systems, 43–67. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04222-5_3.
Pełny tekst źródłaBaader, Franz, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki i Veronika Thost. "Metric Temporal Description Logics with Interval-Rigid Names". W Frontiers of Combining Systems, 60–76. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66167-4_4.
Pełny tekst źródłaBöhme, Stephan, i Marcel Lippmann. "Decidable Description Logics of Context with Rigid Roles". W Frontiers of Combining Systems, 17–32. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-24246-0_2.
Pełny tekst źródłaPapacchini, Fabio, i Renate A. Schmidt. "Computing Minimal Models Modulo Subset-Simulation for Modal Logics". W Frontiers of Combining Systems, 279–94. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-40885-4_20.
Pełny tekst źródłaBalbiani, Philippe. "Axiomatization and Completeness of Lexicographic Products of Modal Logics". W Frontiers of Combining Systems, 165–80. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-04222-5_10.
Pełny tekst źródłaStreszczenia konferencji na temat "Combining logics"
Zhao, Jidi, i Harold Boley. "Combining Fuzzy Description Logics and Fuzzy Logic Programs". W 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology. IEEE, 2008. http://dx.doi.org/10.1109/wiiat.2008.363.
Pełny tekst źródłaGutiérrez-Basulto, Víctor, i Jean Christoph Jung. "Combining DL-Lite_{bool}^N with Branching Time: A gentle Marriage". W Twenty-Sixth International Joint Conference on Artificial Intelligence. California: International Joint Conferences on Artificial Intelligence Organization, 2017. http://dx.doi.org/10.24963/ijcai.2017/149.
Pełny tekst źródłaMadhusudan, P., Gennaro Parlato i Xiaokang Qiu. "Decidable logics combining heap structures and data". W the 38th annual ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 2011. http://dx.doi.org/10.1145/1926385.1926455.
Pełny tekst źródła"A Top-down Approach to Combining Logics". W International Conference on Agents and Artificial Intelligence. SciTePress - Science and and Technology Publications, 2013. http://dx.doi.org/10.5220/0004324803460351.
Pełny tekst źródłaShi, Lian, Shuai Lu, Tao Sun i DanTong Ouyang. "A hybrid system combining intuitionistic fuzzy description logics with intuitionistic fuzzy logic programs". W 2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD 2011). IEEE, 2011. http://dx.doi.org/10.1109/fskd.2011.6019517.
Pełny tekst źródłaBaelde, David, i Gopalan Nadathur. "Combining Deduction Modulo and Logics of Fixed-Point Definitions". W 2012 27th Annual IEEE Symposium on Logic in Computer Science (LICS 2012). IEEE, 2012. http://dx.doi.org/10.1109/lics.2012.22.
Pełny tekst źródłaFigueira, Diego, i Leonid Libkin. "Path Logics for Querying Graphs: Combining Expressiveness and Efficiency". W 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE, 2015. http://dx.doi.org/10.1109/lics.2015.39.
Pełny tekst źródłaRosati, Riccardo. "The limits and possibilities of combining Description Logics and Datalog". W 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06). IEEE, 2006. http://dx.doi.org/10.1109/ruleml.2006.22.
Pełny tekst źródłavan Krieken, Emile, Erman Acar i Frank van Harmelen. "Analyzing Differentiable Fuzzy Implications". W 17th International Conference on Principles of Knowledge Representation and Reasoning {KR-2020}. California: International Joint Conferences on Artificial Intelligence Organization, 2020. http://dx.doi.org/10.24963/kr.2020/92.
Pełny tekst źródłaMeseguer, J. "Executable computational logics: combining formal methods and programming language based system design". W 2003 1st IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2003). IEEE, 2003. http://dx.doi.org/10.1109/memcod.2003.1210081.
Pełny tekst źródłaRaporty organizacyjne na temat "Combining logics"
Baader, Franz, i Cesare Tinelli. Combining Equational Theories Sharing Non-Collapse-Free Constructors. Aachen University of Technology, 1999. http://dx.doi.org/10.25368/2022.103.
Pełny tekst źródłaBaader, Franz, Silvio Ghilardi i Cesare Tinelli. A New Combination Procedure for the Word Problem that Generalizes Fusion Decidability Results in Modal Logics. Technische Universität Dresden, 2003. http://dx.doi.org/10.25368/2022.130.
Pełny tekst źródłaBaader, Franz, Stefan Borgwardt, Patrick Koopmann, Ana Ozaki i Veronika Thost. Metric Temporal Description Logics with Interval-Rigid Names (Extended Version). Technische Universität Dresden, 2017. http://dx.doi.org/10.25368/2022.233.
Pełny tekst źródłaZarrieß, Benjamin, i Jens Claßen. Verification of Knowledge-Based Programs over Description Logic Actions. Technische Universität Dresden, 2015. http://dx.doi.org/10.25368/2022.216.
Pełny tekst źródłaZarrieß, Benjamin, i Patrick Koopmann. On the Complexity of Verifying Timed Golog Programs over Description Logic Actions (Extended Version). Technische Universität Dresden, 2018. http://dx.doi.org/10.25368/2022.241.
Pełny tekst źródłaWibowo, Johannes, i Jamie López-Soto. Field Jet Erosion Tests on Benbrook Dam, Texas. Engineer Research and Development Center (U.S.), grudzień 2021. http://dx.doi.org/10.21079/11681/42545.
Pełny tekst źródłaAkto, P., Z. Chen i K. Hu. Evaluation of geothermal resource potential of hot sedimentary aquifers in the Horn River Basin, northeast British Columbia, Canada. Natural Resources Canada/CMSS/Information Management, 2023. http://dx.doi.org/10.4095/331225.
Pełny tekst źródłaYatsymirska, Mariya. SOCIAL EXPRESSION IN MULTIMEDIA TEXTS. Ivan Franko National University of Lviv, luty 2021. http://dx.doi.org/10.30970/vjo.2021.49.11072.
Pełny tekst źródła