Статті в журналах з теми "Intensional programming"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся з топ-30 статей у журналах для дослідження на тему "Intensional programming".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Переглядайте статті в журналах для різних дисциплін та оформлюйте правильно вашу бібліографію.
van Otterlo, Martijn. "Intensional dynamic programming. A Rosetta stone for structured dynamic programming." Journal of Algorithms 64, no. 4 (October 2009): 169–91. http://dx.doi.org/10.1016/j.jalgor.2009.04.004.
Повний текст джерелаGalanaki, Chrysida, Christos Nomikos, and Panos Rondogiannis. "Game semantics for non-monotonic intensional logic programming." Annals of Pure and Applied Logic 168, no. 2 (February 2017): 234–53. http://dx.doi.org/10.1016/j.apal.2016.10.005.
Повний текст джерелаOrgun, Mehmet A., and William W. Wadge. "Towards a unified theory of intensional logic programming." Journal of Logic Programming 13, no. 4 (August 1992): 413–40. http://dx.doi.org/10.1016/0743-1066(92)90055-8.
Повний текст джерелаMajkić, Zoran, and Bhanu Prasad. "Intensional FOL for reasoning about probabilities and probabilistic logic programming." International Journal of Intelligent Information and Database Systems 11, no. 1 (2018): 79. http://dx.doi.org/10.1504/ijiids.2018.091627.
Повний текст джерелаMajkić, Zoran, and Bhanu Prasad. "Intensional FOL for reasoning about probabilities and probabilistic logic programming." International Journal of Intelligent Information and Database Systems 11, no. 1 (2018): 79. http://dx.doi.org/10.1504/ijiids.2018.10012745.
Повний текст джерелаCimiano, Philipp, Sebastian Rudolph, and Helena Hartfiel. "Computing intensional answers to questions – An inductive logic programming approach." Data & Knowledge Engineering 69, no. 3 (March 2010): 261–78. http://dx.doi.org/10.1016/j.datak.2009.10.008.
Повний текст джерелаPlaice, John, Blanca Mancilla, and Gabriel Ditu. "From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming." Mathematics in Computer Science 2, no. 1 (November 2008): 37–61. http://dx.doi.org/10.1007/s11786-008-0043-9.
Повний текст джерелаHARRISON, AMELIA, and VLADIMIR LIFSCHITZ. "Stable models for infinitary formulas with extensional atoms." Theory and Practice of Logic Programming 16, no. 5-6 (September 2016): 771–86. http://dx.doi.org/10.1017/s1471068416000314.
Повний текст джерелаBalbiani, Philippe. "A Modal Semantics of Negation in Logic Programming." Fundamenta Informaticae 16, no. 3-4 (May 1, 1992): 231–62. http://dx.doi.org/10.3233/fi-1992-163-403.
Повний текст джерелаCABALAR, PEDRO, JORGE FANDINNO, LUIS FARIÑAS DEL CERRO, and DAVID PEARCE. "Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates." Theory and Practice of Logic Programming 18, no. 3-4 (July 2018): 390–405. http://dx.doi.org/10.1017/s1471068418000169.
Повний текст джерелаFourtounis, Georgios, Nikolaos Papaspyrou, and Panagiotis Theofilopoulos. "Modular polymorphic defunctionalization." Computer Science and Information Systems 11, no. 4 (2014): 1417–34. http://dx.doi.org/10.2298/csis130923030f.
Повний текст джерелаTRIVELLATO, DANIEL, NICOLA ZANNONE, and SANDRO ETALLE. "GEM: A distributed goal evaluation algorithm for trust management." Theory and Practice of Logic Programming 14, no. 3 (December 3, 2012): 293–337. http://dx.doi.org/10.1017/s1471068412000397.
Повний текст джерелаDUNG, PHAN MINH, DO DUC HANH, and PHAN MINH THANG. "Stabilization of cooperative information agents in unpredictable environment: a logic programming approach." Theory and Practice of Logic Programming 6, no. 1-2 (January 2006): 1–22. http://dx.doi.org/10.1017/s1471068405002553.
Повний текст джерелаNADATHUR, GOPALAN. "A treatment of higher-order features in logic programming." Theory and Practice of Logic Programming 5, no. 3 (May 2005): 305–54. http://dx.doi.org/10.1017/s1471068404002297.
Повний текст джерелаJaparidze, Giorgi. "Arithmetics based on computability logic." Logical Investigations 25, no. 2 (December 23, 2019): 61–74. http://dx.doi.org/10.21146/2074-1472-2019-25-2-61-74.
Повний текст джерелаMØGELBERG, RASMUS E., and MARCO PAVIOTTI. "Denotational semantics of recursive types in synthetic guarded domain theory." Mathematical Structures in Computer Science 29, no. 3 (May 15, 2018): 465–510. http://dx.doi.org/10.1017/s0960129518000087.
Повний текст джерелаCHAPMAN, JAMES, TARMO UUSTALU, and NICCOLÒ VELTRI. "Quotienting the delay monad by weak bisimilarity." Mathematical Structures in Computer Science 29, no. 1 (October 17, 2017): 67–92. http://dx.doi.org/10.1017/s0960129517000184.
Повний текст джерелаDuží, Marie. "Negation and presupposition, truth and falsity." Studies in Logic, Grammar and Rhetoric 54, no. 1 (June 1, 2018): 15–46. http://dx.doi.org/10.2478/slgr-2018-0014.
Повний текст джерелаWang, Shuang Li, Cheng Jun Xie, Su Yan, Shu Ying Zhang, and Yue Gao. "Philosophical Perspective of Object-Oriented Programming." Applied Mechanics and Materials 543-547 (March 2014): 3141–45. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.3141.
Повний текст джерелаWang, Huai Yu, and Shu Gui Liu. "A Collision Detection Algorithm Using AABB and Octree Space Division." Advanced Materials Research 989-994 (July 2014): 2389–92. http://dx.doi.org/10.4028/www.scientific.net/amr.989-994.2389.
Повний текст джерелаLee, Jong-Hyun, Javad Rahimipour Anaraki, Chang Wook Ahn, and Jinung An. "Efficient classification system based on Fuzzy–Rough Feature Selection and Multitree Genetic Programming for intension pattern recognition using brain signal." Expert Systems with Applications 42, no. 3 (February 2015): 1644–51. http://dx.doi.org/10.1016/j.eswa.2014.09.048.
Повний текст джерелаBulíček, Josef. "Timetable synchronisation: Urban public transport in busy hubs of long-distance transport." MATEC Web of Conferences 239 (2018): 02001. http://dx.doi.org/10.1051/matecconf/201823902001.
Повний текст джерелаB.K, Anish, Niranjan Devkota, Nabaraj Gautam, and Niraj Paija. "Industry Willingness to Pay for Adequate Electricity Supply: A Discourse on Sustainable Industrial Development." Quest Journal of Management and Social Sciences 1, no. 2 (December 31, 2019): 251–59. http://dx.doi.org/10.3126/qjmss.v1i2.27443.
Повний текст джерелаZhong, Hui, Weili Bao, Yunfeng Liu та Karina Yazdanbakhsh. "Inflammation Response Cytokines IFN-γ and IL-10 Regulate Monocyte Subset Differentiation". Blood 134, Supplement_1 (13 листопада 2019): 3586. http://dx.doi.org/10.1182/blood-2019-129515.
Повний текст джерелаLappin, Shalom. "Intensions as Computable Functions." Linguistic Issues in Language Technology 9 (January 1, 2014). http://dx.doi.org/10.33011/lilt.v9i.1323.
Повний текст джерелаYamada, Norihiro, and Samson Abramsky. "Dynamic game semantics." Mathematical Structures in Computer Science, December 18, 2020, 1–60. http://dx.doi.org/10.1017/s0960129520000250.
Повний текст джерелаHILLERSTRÖM, DANIEL, SAM LINDLEY, and ROBERT ATKEY. "Effect handlers via generalised continuations." Journal of Functional Programming 30 (2020). http://dx.doi.org/10.1017/s0956796820000040.
Повний текст джерелаMeshalkin, V. P., and V. I. Bobkov. "Power and Resourse Efficient Envoronmentally Safe Technology for Processing Dumps of Technogenic Waste From Ore-Dressing and Processing Enterprises." KnE Materials Science, December 31, 2020. http://dx.doi.org/10.18502/kms.v6i1.8098.
Повний текст джерела"Leaf Disease Detection using Labview Imaq Vision." Regular 9, no. 3 (September 30, 2020): 481–92. http://dx.doi.org/10.35940/ijrte.c4574.099320.
Повний текст джерела"Software Test Case Generation and it’s curtail using G-Genetic Algorithm." International Journal of Recent Technology and Engineering 8, no. 2 (July 30, 2019): 852–55. http://dx.doi.org/10.35940/ijrte.a3400.078219.
Повний текст джерела