Artykuły w czasopismach na temat „Logic programming”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Logic 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.
Cohen, Jacques. "Logic programming and constraint logic programming". ACM Computing Surveys 28, nr 1 (marzec 1996): 257–59. http://dx.doi.org/10.1145/234313.234416.
Pełny tekst źródłaKOWALSKI, ROBERT, i FARIBA SADRI. "Programming in logic without logic programming". Theory and Practice of Logic Programming 16, nr 3 (16.03.2016): 269–95. http://dx.doi.org/10.1017/s1471068416000041.
Pełny tekst źródłaOliveira, Kleidson Êglicio Carvalho da Silva. "Paraconsistent Logic Programming in Three and Four-Valued Logics". Bulletin of Symbolic Logic 28, nr 2 (czerwiec 2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.
Pełny tekst źródłaK, Kwon. "Exception Handling in Logic Programming". Advances in Robotic Technology 1, nr 1 (2.10.2023): 1–3. http://dx.doi.org/10.23880/art-16000104.
Pełny tekst źródłaRobinson, J. A. "Logic and logic programming". Communications of the ACM 35, nr 3 (marzec 1992): 40–65. http://dx.doi.org/10.1145/131295.131296.
Pełny tekst źródłaVoronkov, A. A. "Logic programming and ?-programming". Cybernetics 25, nr 1 (1989): 83–91. http://dx.doi.org/10.1007/bf01074888.
Pełny tekst źródłaGenesereth, Michael R., i Matthew L. Ginsberg. "Logic programming". Communications of the ACM 28, nr 9 (wrzesień 1985): 933–41. http://dx.doi.org/10.1145/4284.4287.
Pełny tekst źródłaBrady, Michael. "Logic Programming". Irish Journal of Psychology 10, nr 2 (styczeń 1989): 304–16. http://dx.doi.org/10.1080/03033910.1989.10557749.
Pełny tekst źródłaAshbacher, Charles. "From logic to logic programming". Journal of Automated Reasoning 16, nr 3 (czerwiec 1996): 427. http://dx.doi.org/10.1007/bf00252183.
Pełny tekst źródłaANTONIOU, GRIGORIS. "LOGIC PROGRAMMING AND DEFAULT LOGIC". International Journal on Artificial Intelligence Tools 03, nr 03 (wrzesień 1994): 367–73. http://dx.doi.org/10.1142/s0218213094000194.
Pełny tekst źródłaShepherdson, J. C. "From Logic to Logic Programming". Computer Journal 38, nr 1 (1.01.1995): 78. http://dx.doi.org/10.1093/comjnl/38.1.78.
Pełny tekst źródłaVan Benthem, Johan. "Logic as Programming". Fundamenta Informaticae 17, nr 4 (1.11.1992): 285–317. http://dx.doi.org/10.3233/fi-1992-17402.
Pełny tekst źródłaSubrahmanian, V. S. "Nonmonotonic logic programming". IEEE Transactions on Knowledge and Data Engineering 11, nr 1 (1999): 143–52. http://dx.doi.org/10.1109/69.755623.
Pełny tekst źródłaClark, K. L. "Parallel Logic Programming". Computer Journal 33, nr 6 (1.06.1990): 482–93. http://dx.doi.org/10.1093/comjnl/33.6.482.
Pełny tekst źródłaAntoy, Sergio, i Michael Hanus. "Functional logic programming". Communications of the ACM 53, nr 4 (kwiecień 2010): 74–85. http://dx.doi.org/10.1145/1721654.1721675.
Pełny tekst źródłaCheney, James, i Christian Urban. "Nominal logic programming". ACM Transactions on Programming Languages and Systems 30, nr 5 (sierpień 2008): 1–47. http://dx.doi.org/10.1145/1387673.1387675.
Pełny tekst źródłaBrogi, Antonio, i Roberto Gorrieri. "Distributed Logic Programming". Journal of Logic Programming 15, nr 4 (kwiecień 1993): 295–335. http://dx.doi.org/10.1016/s0743-1066(14)80002-2.
Pełny tekst źródłaAbadi, Martín, i Zohar Manna. "Temporal logic programming". Journal of Symbolic Computation 8, nr 3 (wrzesień 1989): 277–95. http://dx.doi.org/10.1016/s0747-7171(89)80070-7.
Pełny tekst źródłaVan Hentenryck, Pascal. "Constraint logic programming". Knowledge Engineering Review 6, nr 3 (wrzesień 1991): 151–94. http://dx.doi.org/10.1017/s0269888900005798.
Pełny tekst źródłaVojtáš, Peter. "Fuzzy logic programming". Fuzzy Sets and Systems 124, nr 3 (grudzień 2001): 361–70. http://dx.doi.org/10.1016/s0165-0114(01)00106-3.
Pełny tekst źródłaEbrahim, Rafee. "Fuzzy logic programming". Fuzzy Sets and Systems 117, nr 2 (styczeń 2001): 215–30. http://dx.doi.org/10.1016/s0165-0114(98)00300-5.
Pełny tekst źródłaMuggleton, Stephen. "Inductive logic programming". New Generation Computing 8, nr 4 (luty 1991): 295–318. http://dx.doi.org/10.1007/bf03037089.
Pełny tekst źródłaBonatti, Piero A. "Autoepistemic logic programming". Journal of Automated Reasoning 13, nr 1 (1994): 35–67. http://dx.doi.org/10.1007/bf00881911.
Pełny tekst źródłaKAKAS, A. C., R. A. KOWALSKI i F. TONI. "Abductive Logic Programming". Journal of Logic and Computation 2, nr 6 (1992): 719–70. http://dx.doi.org/10.1093/logcom/2.6.719.
Pełny tekst źródłaLaenens, Els, Domenico Sacca i Dirk Vermeir. "Extending logic programming". ACM SIGMOD Record 19, nr 2 (maj 1990): 184–93. http://dx.doi.org/10.1145/93605.98728.
Pełny tekst źródłaPau, L. F., i H. Olason. "Visual logic programming". Journal of Visual Languages & Computing 2, nr 1 (marzec 1991): 3–15. http://dx.doi.org/10.1016/s1045-926x(05)80049-7.
Pełny tekst źródłaNguyen, Linh Anh. "Multimodal logic programming". Theoretical Computer Science 360, nr 1-3 (sierpień 2006): 247–88. http://dx.doi.org/10.1016/j.tcs.2006.03.026.
Pełny tekst źródłaMuggleton, Stephen. "Inductive logic programming". ACM SIGART Bulletin 5, nr 1 (styczeń 1994): 5–11. http://dx.doi.org/10.1145/181668.181671.
Pełny tekst źródłaBrogi, Antonio, Paolo Mancarella, Dino Pedreschi i Franco Turini. "Modular logic programming". ACM Transactions on Programming Languages and Systems 16, nr 4 (lipiec 1994): 1361–98. http://dx.doi.org/10.1145/183432.183528.
Pełny tekst źródłaBruynooghe, Maurice, i Victor Marek. "Logic programming revisited". ACM Transactions on Computational Logic 2, nr 4 (październik 2001): 623–54. http://dx.doi.org/10.1145/383779.383789.
Pełny tekst źródłaVardi, MosheY. "Database logic programming". Journal of Logic Programming 10, nr 3-4 (kwiecień 1991): 179–80. http://dx.doi.org/10.1016/0743-1066(91)90035-n.
Pełny tekst źródłaNg, Raymond, i V. S. Subrahmanian. "Probabilistic logic programming". Information and Computation 101, nr 2 (grudzień 1992): 150–201. http://dx.doi.org/10.1016/0890-5401(92)90061-j.
Pełny tekst źródłaTyugu, Enn. "Inductive Logic Programming". Knowledge-Based Systems 7, nr 2 (czerwiec 1994): 149–50. http://dx.doi.org/10.1016/0950-7051(94)90030-2.
Pełny tekst źródłaBaldwin, J. F. "Support logic programming". International Journal of Intelligent Systems 1, nr 2 (1986): 73–104. http://dx.doi.org/10.1002/int.4550010202.
Pełny tekst źródłaBollen, A. W. "Relevant logic programming". Journal of Automated Reasoning 7, nr 4 (grudzień 1991): 563–85. http://dx.doi.org/10.1007/bf01880329.
Pełny tekst źródłaBlair, Howard A., i V. S. Subrahmanian. "Paraconsistent logic programming". Theoretical Computer Science 68, nr 2 (październik 1989): 135–54. http://dx.doi.org/10.1016/0304-3975(89)90126-6.
Pełny tekst źródłaDíaz, Jaime, José Luis Carballido i Mauricio Osorio. "Béziau’s SP3A Logic and Logic Programming". Research in Computing Science 148, nr 3 (31.12.2019): 309–20. http://dx.doi.org/10.13053/rcs-148-3-26.
Pełny tekst źródłaANTONIOU, GRIGORIS, DAVID BILLINGTON, GUIDO GOVERNATORI i MICHAEL J. MAHER. "Embedding defeasible logic into logic programming". Theory and Practice of Logic Programming 6, nr 06 (16.10.2006): 703–35. http://dx.doi.org/10.1017/s1471068406002778.
Pełny tekst źródłaSchlipf, John S. "Formalizing a logic for logic programming". Annals of Mathematics and Artificial Intelligence 5, nr 2-4 (czerwiec 1992): 279–302. http://dx.doi.org/10.1007/bf01543479.
Pełny tekst źródłaOSORIO, MAURICIO, JUAN A. NAVARRO i JOSÉ ARRAZOLA. "Applications of intuitionistic logic in Answer Set Programming". Theory and Practice of Logic Programming 4, nr 3 (16.04.2004): 325–54. http://dx.doi.org/10.1017/s1471068403001881.
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łaSakama, Chiaki, i Katsumi Inoue. "Abductive logic programming and disjunctive logic programming: their relationship and transferability". Journal of Logic Programming 44, nr 1-3 (lipiec 2000): 75–100. http://dx.doi.org/10.1016/s0743-1066(99)00073-4.
Pełny tekst źródłaWilliams, H. P. "Logic applied to integer programming and integer programming applied to logic". European Journal of Operational Research 81, nr 3 (marzec 1995): 605–16. http://dx.doi.org/10.1016/0377-2217(93)e0359-6.
Pełny tekst źródłaHUET, GÉRARD. "Special issue on ‘Logical frameworks and metalanguages’". Journal of Functional Programming 13, nr 2 (marzec 2003): 257–60. http://dx.doi.org/10.1017/s0956796802004549.
Pełny tekst źródłaMARCOPOULOS, ELIAS, i YUANLIN ZHANG. "onlineSPARC: A Programming Environment for Answer Set Programming". Theory and Practice of Logic Programming 19, nr 2 (14.11.2018): 262–89. http://dx.doi.org/10.1017/s1471068418000509.
Pełny tekst źródłaVauzeilles, J., i A. Strauss. "Intuitionistic three-valued logic and logic programming". RAIRO - Theoretical Informatics and Applications 25, nr 6 (1991): 557–87. http://dx.doi.org/10.1051/ita/1991250605571.
Pełny tekst źródłaGenito, Daniele, Giangiacomo Gerla i Alessandro Vignes. "Meta-logic programming for a synonymy logic". Soft Computing 14, nr 3 (27.02.2009): 299–311. http://dx.doi.org/10.1007/s00500-009-0404-6.
Pełny tekst źródłaLEUSCHEL, MICHAEL, i TOM SCHRIJVERS. "Introduction to the 30th International Conference on Logic Programming Special Issue". Theory and Practice of Logic Programming 14, nr 4-5 (lipiec 2014): 401–14. http://dx.doi.org/10.1017/s1471068414000581.
Pełny tekst źródłaGlasgow, J. I., M. A. Jenkins, E. Blevis i M. P. Feret. "Logic programming with arrays". IEEE Transactions on Knowledge and Data Engineering 3, nr 3 (1991): 307–19. http://dx.doi.org/10.1109/69.91061.
Pełny tekst źródłaNguyen, Linh Anh. "Modal logic programming revisited". Journal of Applied Non-Classical Logics 19, nr 2 (styczeń 2009): 167–81. http://dx.doi.org/10.3166/jancl.19.167-181.
Pełny tekst źródła