Artykuły w czasopismach na temat „Intensional programming”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 30 najlepszych artykułów w czasopismach naukowych na temat „Intensional programming”.
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.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
van Otterlo, Martijn. "Intensional dynamic programming. A Rosetta stone for structured dynamic programming". Journal of Algorithms 64, nr 4 (październik 2009): 169–91. http://dx.doi.org/10.1016/j.jalgor.2009.04.004.
Pełny tekst źródłaGalanaki, Chrysida, Christos Nomikos i Panos Rondogiannis. "Game semantics for non-monotonic intensional logic programming". Annals of Pure and Applied Logic 168, nr 2 (luty 2017): 234–53. http://dx.doi.org/10.1016/j.apal.2016.10.005.
Pełny tekst źródłaOrgun, Mehmet A., i William W. Wadge. "Towards a unified theory of intensional logic programming". Journal of Logic Programming 13, nr 4 (sierpień 1992): 413–40. http://dx.doi.org/10.1016/0743-1066(92)90055-8.
Pełny tekst źródłaMajkić, Zoran, i Bhanu Prasad. "Intensional FOL for reasoning about probabilities and probabilistic logic programming". International Journal of Intelligent Information and Database Systems 11, nr 1 (2018): 79. http://dx.doi.org/10.1504/ijiids.2018.091627.
Pełny tekst źródłaMajkić, Zoran, i Bhanu Prasad. "Intensional FOL for reasoning about probabilities and probabilistic logic programming". International Journal of Intelligent Information and Database Systems 11, nr 1 (2018): 79. http://dx.doi.org/10.1504/ijiids.2018.10012745.
Pełny tekst źródłaCimiano, Philipp, Sebastian Rudolph i Helena Hartfiel. "Computing intensional answers to questions – An inductive logic programming approach". Data & Knowledge Engineering 69, nr 3 (marzec 2010): 261–78. http://dx.doi.org/10.1016/j.datak.2009.10.008.
Pełny tekst źródłaPlaice, John, Blanca Mancilla i Gabriel Ditu. "From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming". Mathematics in Computer Science 2, nr 1 (listopad 2008): 37–61. http://dx.doi.org/10.1007/s11786-008-0043-9.
Pełny tekst źródłaHARRISON, AMELIA, i VLADIMIR LIFSCHITZ. "Stable models for infinitary formulas with extensional atoms". Theory and Practice of Logic Programming 16, nr 5-6 (wrzesień 2016): 771–86. http://dx.doi.org/10.1017/s1471068416000314.
Pełny tekst źródłaBalbiani, Philippe. "A Modal Semantics of Negation in Logic Programming". Fundamenta Informaticae 16, nr 3-4 (1.05.1992): 231–62. http://dx.doi.org/10.3233/fi-1992-163-403.
Pełny tekst źródłaCABALAR, PEDRO, JORGE FANDINNO, LUIS FARIÑAS DEL CERRO i DAVID PEARCE. "Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates". Theory and Practice of Logic Programming 18, nr 3-4 (lipiec 2018): 390–405. http://dx.doi.org/10.1017/s1471068418000169.
Pełny tekst źródłaFourtounis, Georgios, Nikolaos Papaspyrou i Panagiotis Theofilopoulos. "Modular polymorphic defunctionalization". Computer Science and Information Systems 11, nr 4 (2014): 1417–34. http://dx.doi.org/10.2298/csis130923030f.
Pełny tekst źródłaTRIVELLATO, DANIEL, NICOLA ZANNONE i SANDRO ETALLE. "GEM: A distributed goal evaluation algorithm for trust management". Theory and Practice of Logic Programming 14, nr 3 (3.12.2012): 293–337. http://dx.doi.org/10.1017/s1471068412000397.
Pełny tekst źródłaDUNG, PHAN MINH, DO DUC HANH i PHAN MINH THANG. "Stabilization of cooperative information agents in unpredictable environment: a logic programming approach". Theory and Practice of Logic Programming 6, nr 1-2 (styczeń 2006): 1–22. http://dx.doi.org/10.1017/s1471068405002553.
Pełny tekst źródłaNADATHUR, GOPALAN. "A treatment of higher-order features in logic programming". Theory and Practice of Logic Programming 5, nr 3 (maj 2005): 305–54. http://dx.doi.org/10.1017/s1471068404002297.
Pełny tekst źródłaJaparidze, Giorgi. "Arithmetics based on computability logic". Logical Investigations 25, nr 2 (23.12.2019): 61–74. http://dx.doi.org/10.21146/2074-1472-2019-25-2-61-74.
Pełny tekst źródłaMØGELBERG, RASMUS E., i MARCO PAVIOTTI. "Denotational semantics of recursive types in synthetic guarded domain theory". Mathematical Structures in Computer Science 29, nr 3 (15.05.2018): 465–510. http://dx.doi.org/10.1017/s0960129518000087.
Pełny tekst źródłaCHAPMAN, JAMES, TARMO UUSTALU i NICCOLÒ VELTRI. "Quotienting the delay monad by weak bisimilarity". Mathematical Structures in Computer Science 29, nr 1 (17.10.2017): 67–92. http://dx.doi.org/10.1017/s0960129517000184.
Pełny tekst źródłaDuží, Marie. "Negation and presupposition, truth and falsity". Studies in Logic, Grammar and Rhetoric 54, nr 1 (1.06.2018): 15–46. http://dx.doi.org/10.2478/slgr-2018-0014.
Pełny tekst źródłaWang, Shuang Li, Cheng Jun Xie, Su Yan, Shu Ying Zhang i Yue Gao. "Philosophical Perspective of Object-Oriented Programming". Applied Mechanics and Materials 543-547 (marzec 2014): 3141–45. http://dx.doi.org/10.4028/www.scientific.net/amm.543-547.3141.
Pełny tekst źródłaWang, Huai Yu, i Shu Gui Liu. "A Collision Detection Algorithm Using AABB and Octree Space Division". Advanced Materials Research 989-994 (lipiec 2014): 2389–92. http://dx.doi.org/10.4028/www.scientific.net/amr.989-994.2389.
Pełny tekst źródłaLee, Jong-Hyun, Javad Rahimipour Anaraki, Chang Wook Ahn i 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, nr 3 (luty 2015): 1644–51. http://dx.doi.org/10.1016/j.eswa.2014.09.048.
Pełny tekst źródłaBulíč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.
Pełny tekst źródłaB.K, Anish, Niranjan Devkota, Nabaraj Gautam i Niraj Paija. "Industry Willingness to Pay for Adequate Electricity Supply: A Discourse on Sustainable Industrial Development". Quest Journal of Management and Social Sciences 1, nr 2 (31.12.2019): 251–59. http://dx.doi.org/10.3126/qjmss.v1i2.27443.
Pełny tekst źródłaZhong, Hui, Weili Bao, Yunfeng Liu i Karina Yazdanbakhsh. "Inflammation Response Cytokines IFN-γ and IL-10 Regulate Monocyte Subset Differentiation". Blood 134, Supplement_1 (13.11.2019): 3586. http://dx.doi.org/10.1182/blood-2019-129515.
Pełny tekst źródłaLappin, Shalom. "Intensions as Computable Functions". Linguistic Issues in Language Technology 9 (1.01.2014). http://dx.doi.org/10.33011/lilt.v9i.1323.
Pełny tekst źródłaYamada, Norihiro, i Samson Abramsky. "Dynamic game semantics". Mathematical Structures in Computer Science, 18.12.2020, 1–60. http://dx.doi.org/10.1017/s0960129520000250.
Pełny tekst źródłaHILLERSTRÖM, DANIEL, SAM LINDLEY i ROBERT ATKEY. "Effect handlers via generalised continuations". Journal of Functional Programming 30 (2020). http://dx.doi.org/10.1017/s0956796820000040.
Pełny tekst źródłaMeshalkin, V. P., i 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, 31.12.2020. http://dx.doi.org/10.18502/kms.v6i1.8098.
Pełny tekst źródła"Leaf Disease Detection using Labview Imaq Vision". Regular 9, nr 3 (30.09.2020): 481–92. http://dx.doi.org/10.35940/ijrte.c4574.099320.
Pełny tekst źródła"Software Test Case Generation and it’s curtail using G-Genetic Algorithm". International Journal of Recent Technology and Engineering 8, nr 2 (30.07.2019): 852–55. http://dx.doi.org/10.35940/ijrte.a3400.078219.
Pełny tekst źródła