Articles de revues sur le sujet « Logic programming »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Logic programming ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Cohen, Jacques. « Logic programming and constraint logic programming ». ACM Computing Surveys 28, no 1 (mars 1996) : 257–59. http://dx.doi.org/10.1145/234313.234416.
Texte intégralKOWALSKI, ROBERT, et FARIBA SADRI. « Programming in logic without logic programming ». Theory and Practice of Logic Programming 16, no 3 (16 mars 2016) : 269–95. http://dx.doi.org/10.1017/s1471068416000041.
Texte intégralOliveira, Kleidson Êglicio Carvalho da Silva. « Paraconsistent Logic Programming in Three and Four-Valued Logics ». Bulletin of Symbolic Logic 28, no 2 (juin 2022) : 260. http://dx.doi.org/10.1017/bsl.2021.34.
Texte intégralK, Kwon. « Exception Handling in Logic Programming ». Advances in Robotic Technology 1, no 1 (2 octobre 2023) : 1–3. http://dx.doi.org/10.23880/art-16000104.
Texte intégralRobinson, J. A. « Logic and logic programming ». Communications of the ACM 35, no 3 (mars 1992) : 40–65. http://dx.doi.org/10.1145/131295.131296.
Texte intégralVoronkov, A. A. « Logic programming and ?-programming ». Cybernetics 25, no 1 (1989) : 83–91. http://dx.doi.org/10.1007/bf01074888.
Texte intégralGenesereth, Michael R., et Matthew L. Ginsberg. « Logic programming ». Communications of the ACM 28, no 9 (septembre 1985) : 933–41. http://dx.doi.org/10.1145/4284.4287.
Texte intégralBrady, Michael. « Logic Programming ». Irish Journal of Psychology 10, no 2 (janvier 1989) : 304–16. http://dx.doi.org/10.1080/03033910.1989.10557749.
Texte intégralAshbacher, Charles. « From logic to logic programming ». Journal of Automated Reasoning 16, no 3 (juin 1996) : 427. http://dx.doi.org/10.1007/bf00252183.
Texte intégralANTONIOU, GRIGORIS. « LOGIC PROGRAMMING AND DEFAULT LOGIC ». International Journal on Artificial Intelligence Tools 03, no 03 (septembre 1994) : 367–73. http://dx.doi.org/10.1142/s0218213094000194.
Texte intégralShepherdson, J. C. « From Logic to Logic Programming ». Computer Journal 38, no 1 (1 janvier 1995) : 78. http://dx.doi.org/10.1093/comjnl/38.1.78.
Texte intégralVan Benthem, Johan. « Logic as Programming ». Fundamenta Informaticae 17, no 4 (1 novembre 1992) : 285–317. http://dx.doi.org/10.3233/fi-1992-17402.
Texte intégralSubrahmanian, V. S. « Nonmonotonic logic programming ». IEEE Transactions on Knowledge and Data Engineering 11, no 1 (1999) : 143–52. http://dx.doi.org/10.1109/69.755623.
Texte intégralClark, K. L. « Parallel Logic Programming ». Computer Journal 33, no 6 (1 juin 1990) : 482–93. http://dx.doi.org/10.1093/comjnl/33.6.482.
Texte intégralAntoy, Sergio, et Michael Hanus. « Functional logic programming ». Communications of the ACM 53, no 4 (avril 2010) : 74–85. http://dx.doi.org/10.1145/1721654.1721675.
Texte intégralCheney, James, et Christian Urban. « Nominal logic programming ». ACM Transactions on Programming Languages and Systems 30, no 5 (août 2008) : 1–47. http://dx.doi.org/10.1145/1387673.1387675.
Texte intégralBrogi, Antonio, et Roberto Gorrieri. « Distributed Logic Programming ». Journal of Logic Programming 15, no 4 (avril 1993) : 295–335. http://dx.doi.org/10.1016/s0743-1066(14)80002-2.
Texte intégralAbadi, Martín, et Zohar Manna. « Temporal logic programming ». Journal of Symbolic Computation 8, no 3 (septembre 1989) : 277–95. http://dx.doi.org/10.1016/s0747-7171(89)80070-7.
Texte intégralVan Hentenryck, Pascal. « Constraint logic programming ». Knowledge Engineering Review 6, no 3 (septembre 1991) : 151–94. http://dx.doi.org/10.1017/s0269888900005798.
Texte intégralVojtáš, Peter. « Fuzzy logic programming ». Fuzzy Sets and Systems 124, no 3 (décembre 2001) : 361–70. http://dx.doi.org/10.1016/s0165-0114(01)00106-3.
Texte intégralEbrahim, Rafee. « Fuzzy logic programming ». Fuzzy Sets and Systems 117, no 2 (janvier 2001) : 215–30. http://dx.doi.org/10.1016/s0165-0114(98)00300-5.
Texte intégralMuggleton, Stephen. « Inductive logic programming ». New Generation Computing 8, no 4 (février 1991) : 295–318. http://dx.doi.org/10.1007/bf03037089.
Texte intégralBonatti, Piero A. « Autoepistemic logic programming ». Journal of Automated Reasoning 13, no 1 (1994) : 35–67. http://dx.doi.org/10.1007/bf00881911.
Texte intégralKAKAS, A. C., R. A. KOWALSKI et F. TONI. « Abductive Logic Programming ». Journal of Logic and Computation 2, no 6 (1992) : 719–70. http://dx.doi.org/10.1093/logcom/2.6.719.
Texte intégralLaenens, Els, Domenico Sacca et Dirk Vermeir. « Extending logic programming ». ACM SIGMOD Record 19, no 2 (mai 1990) : 184–93. http://dx.doi.org/10.1145/93605.98728.
Texte intégralPau, L. F., et H. Olason. « Visual logic programming ». Journal of Visual Languages & ; Computing 2, no 1 (mars 1991) : 3–15. http://dx.doi.org/10.1016/s1045-926x(05)80049-7.
Texte intégralNguyen, Linh Anh. « Multimodal logic programming ». Theoretical Computer Science 360, no 1-3 (août 2006) : 247–88. http://dx.doi.org/10.1016/j.tcs.2006.03.026.
Texte intégralMuggleton, Stephen. « Inductive logic programming ». ACM SIGART Bulletin 5, no 1 (janvier 1994) : 5–11. http://dx.doi.org/10.1145/181668.181671.
Texte intégralBrogi, Antonio, Paolo Mancarella, Dino Pedreschi et Franco Turini. « Modular logic programming ». ACM Transactions on Programming Languages and Systems 16, no 4 (juillet 1994) : 1361–98. http://dx.doi.org/10.1145/183432.183528.
Texte intégralBruynooghe, Maurice, et Victor Marek. « Logic programming revisited ». ACM Transactions on Computational Logic 2, no 4 (octobre 2001) : 623–54. http://dx.doi.org/10.1145/383779.383789.
Texte intégralVardi, MosheY. « Database logic programming ». Journal of Logic Programming 10, no 3-4 (avril 1991) : 179–80. http://dx.doi.org/10.1016/0743-1066(91)90035-n.
Texte intégralNg, Raymond, et V. S. Subrahmanian. « Probabilistic logic programming ». Information and Computation 101, no 2 (décembre 1992) : 150–201. http://dx.doi.org/10.1016/0890-5401(92)90061-j.
Texte intégralTyugu, Enn. « Inductive Logic Programming ». Knowledge-Based Systems 7, no 2 (juin 1994) : 149–50. http://dx.doi.org/10.1016/0950-7051(94)90030-2.
Texte intégralBaldwin, J. F. « Support logic programming ». International Journal of Intelligent Systems 1, no 2 (1986) : 73–104. http://dx.doi.org/10.1002/int.4550010202.
Texte intégralBollen, A. W. « Relevant logic programming ». Journal of Automated Reasoning 7, no 4 (décembre 1991) : 563–85. http://dx.doi.org/10.1007/bf01880329.
Texte intégralBlair, Howard A., et V. S. Subrahmanian. « Paraconsistent logic programming ». Theoretical Computer Science 68, no 2 (octobre 1989) : 135–54. http://dx.doi.org/10.1016/0304-3975(89)90126-6.
Texte intégralDíaz, Jaime, José Luis Carballido et Mauricio Osorio. « Béziau’s SP3A Logic and Logic Programming ». Research in Computing Science 148, no 3 (31 décembre 2019) : 309–20. http://dx.doi.org/10.13053/rcs-148-3-26.
Texte intégralANTONIOU, GRIGORIS, DAVID BILLINGTON, GUIDO GOVERNATORI et MICHAEL J. MAHER. « Embedding defeasible logic into logic programming ». Theory and Practice of Logic Programming 6, no 06 (16 octobre 2006) : 703–35. http://dx.doi.org/10.1017/s1471068406002778.
Texte intégralSchlipf, John S. « Formalizing a logic for logic programming ». Annals of Mathematics and Artificial Intelligence 5, no 2-4 (juin 1992) : 279–302. http://dx.doi.org/10.1007/bf01543479.
Texte intégralOSORIO, MAURICIO, JUAN A. NAVARRO et JOSÉ ARRAZOLA. « Applications of intuitionistic logic in Answer Set Programming ». Theory and Practice of Logic Programming 4, no 3 (16 avril 2004) : 325–54. http://dx.doi.org/10.1017/s1471068403001881.
Texte intégralBalbiani, Philippe. « A Modal Semantics of Negation in Logic Programming ». Fundamenta Informaticae 16, no 3-4 (1 mai 1992) : 231–62. http://dx.doi.org/10.3233/fi-1992-163-403.
Texte intégralSakama, Chiaki, et Katsumi Inoue. « Abductive logic programming and disjunctive logic programming : their relationship and transferability ». Journal of Logic Programming 44, no 1-3 (juillet 2000) : 75–100. http://dx.doi.org/10.1016/s0743-1066(99)00073-4.
Texte intégralWilliams, H. P. « Logic applied to integer programming and integer programming applied to logic ». European Journal of Operational Research 81, no 3 (mars 1995) : 605–16. http://dx.doi.org/10.1016/0377-2217(93)e0359-6.
Texte intégralHUET, GÉRARD. « Special issue on ‘Logical frameworks and metalanguages’ ». Journal of Functional Programming 13, no 2 (mars 2003) : 257–60. http://dx.doi.org/10.1017/s0956796802004549.
Texte intégralMARCOPOULOS, ELIAS, et YUANLIN ZHANG. « onlineSPARC : A Programming Environment for Answer Set Programming ». Theory and Practice of Logic Programming 19, no 2 (14 novembre 2018) : 262–89. http://dx.doi.org/10.1017/s1471068418000509.
Texte intégralVauzeilles, J., et A. Strauss. « Intuitionistic three-valued logic and logic programming ». RAIRO - Theoretical Informatics and Applications 25, no 6 (1991) : 557–87. http://dx.doi.org/10.1051/ita/1991250605571.
Texte intégralGenito, Daniele, Giangiacomo Gerla et Alessandro Vignes. « Meta-logic programming for a synonymy logic ». Soft Computing 14, no 3 (27 février 2009) : 299–311. http://dx.doi.org/10.1007/s00500-009-0404-6.
Texte intégralLEUSCHEL, MICHAEL, et TOM SCHRIJVERS. « Introduction to the 30th International Conference on Logic Programming Special Issue ». Theory and Practice of Logic Programming 14, no 4-5 (juillet 2014) : 401–14. http://dx.doi.org/10.1017/s1471068414000581.
Texte intégralGlasgow, J. I., M. A. Jenkins, E. Blevis et M. P. Feret. « Logic programming with arrays ». IEEE Transactions on Knowledge and Data Engineering 3, no 3 (1991) : 307–19. http://dx.doi.org/10.1109/69.91061.
Texte intégralNguyen, Linh Anh. « Modal logic programming revisited ». Journal of Applied Non-Classical Logics 19, no 2 (janvier 2009) : 167–81. http://dx.doi.org/10.3166/jancl.19.167-181.
Texte intégral