Literatura científica selecionada sobre o tema "Logic system translation"
Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos
Índice
Consulte a lista de atuais artigos, livros, teses, anais de congressos e outras fontes científicas relevantes para o tema "Logic system translation".
Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.
Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.
Artigos de revistas sobre o assunto "Logic system translation"
Golev, N. D. "Translative Linguistics: an Aspectualized Review of Initial Provisions. Part 1. Gnoseology of Translation". Bulletin of Kemerovo State University 24, n.º 6 (29 de dezembro de 2022): 717–34. http://dx.doi.org/10.21603/2078-8975-2022-24-6-717-734.
Texto completo da fonteMartini, Simone, e Andrea Masini. "A modal view of linear logic". Journal of Symbolic Logic 59, n.º 3 (setembro de 1994): 888–99. http://dx.doi.org/10.2307/2275915.
Texto completo da fonteSHRAMKO, YAROSLAV. "A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC". Review of Symbolic Logic 9, n.º 2 (12 de fevereiro de 2016): 251–65. http://dx.doi.org/10.1017/s1755020316000022.
Texto completo da fonteGaranina, Natalia Olegovna, Igor Sergeevich Anureev, Vladimir Evgenyevich Zyubin, Sergey Mikhailovich Staroletov, Tatiana Victorovna Liakh, Andrey Sergeevich Rozov e Sergei Petrovich Gorlatch. "Temporal Logic for Programmable Logic Controllers". Modeling and Analysis of Information Systems 27, n.º 4 (20 de dezembro de 2020): 412–27. http://dx.doi.org/10.18255/1818-1015-2020-4-412-427.
Texto completo da fonteDe Florio, Giulia. "MARSHAK EDITOR OF GIANNI RODARI’S CIPOLLINO’S ADVENTURES. SOME PRELIMINARY ARCHIVE-BASED OBSERVATIONS". Children's Readings: Studies in Children's Literature 21, n.º 1 (2022): 250–64. http://dx.doi.org/10.31860/2304-5817-2022-1-21-250-264.
Texto completo da fonteCao, Qianyu, e Hanmei Hao. "A Chaotic Neural Network Model for English Machine Translation Based on Big Data Analysis". Computational Intelligence and Neuroscience 2021 (2 de julho de 2021): 1–12. http://dx.doi.org/10.1155/2021/3274326.
Texto completo da fonteBolshakova, Mariya G. "Strategies and Techniques of the Translation of International Law Documents". Current Issues in Philology and Pedagogical Linguistics, n.º 3 (25 de setembro de 2023): 42–53. http://dx.doi.org/10.29025/2079-6021-2023-3-42-53.
Texto completo da fonteBarba Escriba, Juan. "A multidimensional modal translation for a formal system motivated by situation semantics." Notre Dame Journal of Formal Logic 32, n.º 4 (setembro de 1991): 598–608. http://dx.doi.org/10.1305/ndjfl/1093635931.
Texto completo da fonteIm, Hyeonseung. "On Correspondence between Selective CPS Transformation and Selective Double Negation Translation". Mathematics 9, n.º 4 (15 de fevereiro de 2021): 385. http://dx.doi.org/10.3390/math9040385.
Texto completo da fonteLANZET, RAN. "A THREE-VALUED QUANTIFIED ARGUMENT CALCULUS: DOMAIN-FREE MODEL-THEORY, COMPLETENESS, AND EMBEDDING OF FOL". Review of Symbolic Logic 10, n.º 3 (8 de maio de 2017): 549–82. http://dx.doi.org/10.1017/s1755020317000053.
Texto completo da fonteTeses / dissertações sobre o assunto "Logic system translation"
Lee, Chen-Hsiu. "A tabular propositional logic: and/or Table Translator". CSUSB ScholarWorks, 2003. https://scholarworks.lib.csusb.edu/etd-project/2409.
Texto completo da fonteYourst, Matt T. "Peptidal processor enhanced with programmable translation and integrated dynamic acceleration logic /". Diss., Online access via UMI:, 2005.
Encontre o texto completo da fonte"This dissertation is a compound document (contains both a paper copy and a CD as part of the dissertation)"--ProQuest abstract document view. Includes bibliographical references.
Ohlström, Sebastian, e Oscar Stenberg. "RPA i offentlig sektor : Översättning av institutionella logiker och lokala idéer". Thesis, Uppsala universitet, Företagsekonomiska institutionen, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-388391.
Texto completo da fonteSnabb teknisk utveckling och förändring i det moderna samhället är oöverträffad i historien.Digitalisering och automatisering av affärsprocesser ses allmänt som ett sätt att effektiviseraorganisationer och ändra den institutionella sammansättningen i dem. Påverkan på individer ochorganisationers existensberättigande ökar när de står inför starkare institutionellt tryck från olikaintressenter. Översättningsprocessen försöker här avhjälpa klyftan i individers och organisationersolika perspektiv som uppstår när nya idéer får fäste. Grundade i teorin om institutionella logikeroch översättning, försöker författarna till denna uppsats att närma sig denna institutionellakomplexitet genom att använda en lins av dessa teorier. Vi finner att marknads- och företagslogikenpåverkar alla organisationer, men vilken logik som sannolikt kommer att få fäste beror i hög gradpå den lokala översättningsprocessen. Översättningen som produceras beror på den institutionellamiljön som dominerar organisationen. För att organisationen ska lyckas med en snabb tekniskutveckling och förändring, är en grundlig förståelse för den inkrementella institutionellakomplexiteten är avgörande.
Marchese, Luca. "The Khinchin theorem for interval exchange transformations and its consequences for the Teichmüller flow". Doctoral thesis, Paris 11, 2009. http://www.theses.fr/2009PA112358.
Texto completo da fonteScarlato, Michele. "Sicurezza di rete, analisi del traffico e monitoraggio". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2012. http://amslaurea.unibo.it/3223/.
Texto completo da fonteVestin, Albin, e Gustav Strandberg. "Evaluation of Target Tracking Using Multiple Sensors and Non-Causal Algorithms". Thesis, Linköpings universitet, Reglerteknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-160020.
Texto completo da fonteStevenson, Lynette. "Modal satisifiability in a constraint logic environment". Thesis, 2007. http://hdl.handle.net/10500/2030.
Texto completo da fonteComputing
M.Sc. (Computer Science)
Livros sobre o assunto "Logic system translation"
A system of Indian logic: The Nyāya theory of inference : analysis, text, translation and interpretaion of the anumāna section of Kārikāvalī, Muktāvali and Dinakarī. London: RoutledgeCurzon, 2003.
Encontre o texto completo da fonteVadim, Kimmelman, Roelofsen Floris, Sassoon Galit W, Schulz Katrin, Westera Matthijs e SpringerLink (Online service), eds. Logic, Language and Meaning: 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Encontre o texto completo da fonteE, Fuchs Norbert, e SpringerLink (Online service), eds. Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Encontre o texto completo da fonteE, Fuchs Norbert, e SpringerLink (Online service), eds. Controlled Natural Language: Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012.
Encontre o texto completo da fonteHegel, Georg Wilhelm Fredrich. Georg Wilhelm Friedrich Hegel: The Science of Logic. Editado por George Di Giovanni. Cambridge University Press, 2010. http://dx.doi.org/10.1017/9780511780240.
Texto completo da fonteHegel, Georg Wilhelm Fredrich. Georg Wilhelm Friedrich Hegel: Encyclopedia of the Philosophical Sciences in Basic Outline. Editado por Klaus Brinkmann e Daniel O. Dahlstrom. Cambridge University Press, 2010. http://dx.doi.org/10.1017/9780511780226.
Texto completo da fonteAloni, Maria, Vadim Kimmelman e Floris Roelofsen. Logic, Language and Meaning: 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19-21, 2011, Revised Selected Papers. Springer, 2012.
Encontre o texto completo da fonteBastiaanse, Harald, Tikitu de Jager, Katrin Schulz e Maria Aloni. Logic, Language and Meaning: 17th Amsterdam Colloquium, Amsterdam, the Netherlands, December 16-18, 2009, Revised Selected Papers. Springer, 2010.
Encontre o texto completo da fonteInformation Systems For Indian Languages International Conference Icisil 2011 Patiala India March 911 2011 Proceedings. Springer, 2011.
Encontre o texto completo da fonteRosner, Michael, e Norbert E. Fuchs. Controlled Natural Language: Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers. Springer, 2012.
Encontre o texto completo da fonteCapítulos de livros sobre o assunto "Logic system translation"
Choi, J. M., M. S. Song, K. J. Jeong, H. C. Kwon, S. Y. Han e Y. T. Kim. "A Prolog-based Korean-English Machine Translation System and its efficient method of dictionary management". In Logic Programming '85, 236–45. Berlin, Heidelberg: Springer Berlin Heidelberg, 1986. http://dx.doi.org/10.1007/3-540-16479-0_23.
Texto completo da fonteNelken, Rani, e Nissim Francez. "Automatic translation of natural language system specifications into temporal logic". In Computer Aided Verification, 360–71. Berlin, Heidelberg: Springer Berlin Heidelberg, 1996. http://dx.doi.org/10.1007/3-540-61474-5_83.
Texto completo da fonteSuwa, Takashi, e Atsushi Igarashi. "An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming". In Functional and Logic Programming, 237–72. Singapore: Springer Nature Singapore, 2024. http://dx.doi.org/10.1007/978-981-97-2300-3_13.
Texto completo da fonteRothgang, Colin, Florian Rabe e Christoph Benzmüller. "Theorem Proving in Dependently-Typed Higher-Order Logic". In Automated Deduction – CADE 29, 438–55. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-38499-8_25.
Texto completo da fonteFukihara, Yōji, e Shin-ya Katsumata. "Generalized Bounded Linear Logic and its Categorical Semantics". In Lecture Notes in Computer Science, 226–46. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-71995-1_12.
Texto completo da fonteSlaby, Wolfgang A. "Segment translation systems". In Computation Theory and Logic, 382–90. Berlin, Heidelberg: Springer Berlin Heidelberg, 1987. http://dx.doi.org/10.1007/3-540-18170-9_180.
Texto completo da fonteVukmirović, Petar, Jasmin Blanchette e Stephan Schulz. "Extending a High-Performance Prover to Higher-Order Logic". In Tools and Algorithms for the Construction and Analysis of Systems, 111–29. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30820-8_10.
Texto completo da fonteDas, Anupam, e Marianna Girlando. "Cyclic Proofs, Hypersequents, and Transitive Closure Logic". In Automated Reasoning, 509–28. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-10769-6_30.
Texto completo da fonteForrest, Jeffrey Yi-Lin. "Systems Science and the Logic of Systemic Reasoning". In Translational Systems Sciences, 39–68. Singapore: Springer Nature Singapore, 2023. http://dx.doi.org/10.1007/978-981-99-7273-9_2.
Texto completo da fonteMurali, Adithya, Lucas Peña, Christof Löding e P. Madhusudan. "A First-Order Logic with Frames". In Programming Languages and Systems, 515–43. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-44914-8_19.
Texto completo da fonteTrabalhos de conferências sobre o assunto "Logic system translation"
Zhang, Xuan, Cesar Ortega-Sanchez e Iain Murray. "A System for Fast Text-to-Braille Translation Based on FPGAs". In 2007 3rd Southern Conference on Programmable Logic. IEEE, 2007. http://dx.doi.org/10.1109/spl.2007.371735.
Texto completo da fonteFernandez-Amoros, David, Ruben Heradio, Christoph Mayr-Dorn e Alexander Egyed. "A Kconfig Translation to Logic with One-Way Validation System". In SPLC 2019: 23rd International Systems and Software Product Line Conference. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3336294.3336313.
Texto completo da fonteYao, Yuan, Zhongyong Lu, Qingsong Shi e Wenzhi Chen. "FPGA based hardware-software co-designed dynamic binary translation system". In 2013 23rd International Conference on Field Programmable Logic and Applications (FPL). IEEE, 2013. http://dx.doi.org/10.1109/fpl.2013.6645554.
Texto completo da fonteBichler, Manuel, Michael Morak e Stefan Woltran. "Single-Shot Epistemic Logic Program Solving". In Twenty-Seventh International Joint Conference on Artificial Intelligence {IJCAI-18}. California: International Joint Conferences on Artificial Intelligence Organization, 2018. http://dx.doi.org/10.24963/ijcai.2018/237.
Texto completo da fonteAkintunde, Michael E., Elena Botoeva, Panagiotis Kouvaros e Alessio Lomuscio. "Verifying Strategic Abilities of Neural-symbolic Multi-agent Systems". In 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/3.
Texto completo da fonteValentini, E., E. Haselwanter, R. Ulmer e T. Popp. "Configurable logic style translation based on an openaccess engine". In 2005 12th IEEE International Conference on Electronics, Circuits and Systems - (ICECS 2005). IEEE, 2005. http://dx.doi.org/10.1109/icecs.2005.4633506.
Texto completo da fonteLi, Lening, Hazhar Rahmani e Jie Fu. "Probabilistic Planning with Prioritized Preferences over Temporal Logic Objectives". In Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/ijcai.2023/22.
Texto completo da fonteBaldi, Paolo, Petr Cintula e Carles Noguera. "Translating Classical Probability Logics into Modal Fuzzy Logics". In Proceedings of the 2019 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (EUSFLAT 2019). Paris, France: Atlantis Press, 2019. http://dx.doi.org/10.2991/eusflat-19.2019.49.
Texto completo da fonteGogacz, Tomasz, Sanja Lukumbuzya, Magdalena Ortiz e Mantas Šimkus. "Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates". In 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/44.
Texto completo da fonteUmili, Elena, Roberto Capobianco e Giuseppe De Giacomo. "Grounding LTLf Specifications in Image Sequences". In 20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. California: International Joint Conferences on Artificial Intelligence Organization, 2023. http://dx.doi.org/10.24963/kr.2023/65.
Texto completo da fonteRelatórios de organizações sobre o assunto "Logic system translation"
Xu, Chao, Walter Forkel, Stefan Borgwardt, Franz Baader e Beihai Zhou. Automatic Translation of Clinical Trial Eligibility Criteria into Formal Queries. Technische Universität Dresden, 2019. http://dx.doi.org/10.25368/2023.224.
Texto completo da fontePaule, Bernard, Flourentzos Flourentzou, Tristan de KERCHOVE d’EXAERDE, Julien BOUTILLIER e Nicolo Ferrari. PRELUDE Roadmap for Building Renovation: set of rules for renovation actions to optimize building energy performance. Department of the Built Environment, 2023. http://dx.doi.org/10.54337/aau541614638.
Texto completo da fonteKüsters, Ralf, e Ralf Molitor. Computing Most Specific Concepts in Description Logics with Existential Restrictions. Aachen University of Technology, 2000. http://dx.doi.org/10.25368/2022.108.
Texto completo da fonteTarasenko, Rostyslav O., Svitlana M. Amelina e Albert A. Azaryan. Integrated testing system of information competence components of future translators. [б. в.], julho de 2020. http://dx.doi.org/10.31812/123456789/3879.
Texto completo da fonte