Добірка наукової літератури з теми "Logic programming"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Logic programming".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "Logic programming":
Cohen, Jacques. "Logic programming and constraint logic programming." ACM Computing Surveys 28, no. 1 (March 1996): 257–59. http://dx.doi.org/10.1145/234313.234416.
KOWALSKI, ROBERT, and FARIBA SADRI. "Programming in logic without logic programming." Theory and Practice of Logic Programming 16, no. 3 (March 16, 2016): 269–95. http://dx.doi.org/10.1017/s1471068416000041.
Oliveira, Kleidson Êglicio Carvalho da Silva. "Paraconsistent Logic Programming in Three and Four-Valued Logics." Bulletin of Symbolic Logic 28, no. 2 (June 2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.
K, Kwon. "Exception Handling in Logic Programming." Advances in Robotic Technology 1, no. 1 (October 2, 2023): 1–3. http://dx.doi.org/10.23880/art-16000104.
Robinson, J. A. "Logic and logic programming." Communications of the ACM 35, no. 3 (March 1992): 40–65. http://dx.doi.org/10.1145/131295.131296.
Voronkov, A. A. "Logic programming and ?-programming." Cybernetics 25, no. 1 (1989): 83–91. http://dx.doi.org/10.1007/bf01074888.
Genesereth, Michael R., and Matthew L. Ginsberg. "Logic programming." Communications of the ACM 28, no. 9 (September 1985): 933–41. http://dx.doi.org/10.1145/4284.4287.
Brady, Michael. "Logic Programming." Irish Journal of Psychology 10, no. 2 (January 1989): 304–16. http://dx.doi.org/10.1080/03033910.1989.10557749.
Ashbacher, Charles. "From logic to logic programming." Journal of Automated Reasoning 16, no. 3 (June 1996): 427. http://dx.doi.org/10.1007/bf00252183.
ANTONIOU, GRIGORIS. "LOGIC PROGRAMMING AND DEFAULT LOGIC." International Journal on Artificial Intelligence Tools 03, no. 03 (September 1994): 367–73. http://dx.doi.org/10.1142/s0218213094000194.
Дисертації з теми "Logic programming":
Zhu, Biao. "Logic programming framework for resolution logics." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 1999. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape7/PQDD_0006/MQ43411.pdf.
McPhee, Richard. "Compositional logic programming." Thesis, University of Oxford, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393413.
Toni, Francesca. "Abductive logic programming." Thesis, Imperial College London, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.490558.
Hale, Roger William Stephen. "Programming in temporal logic." Thesis, University of Cambridge, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305467.
Quintero, Jacinto Alfonso Davila. "Agents in logic programming." Thesis, Imperial College London, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263219.
Moreno, Dávila Julio Moreno Davila Julio. "Mathematical programming for logic inference /." [S.l.] : [s.n.], 1990. http://library.epfl.ch/theses/?nr=784.
Wetsel, Gerhard. "Abductive and constraint logic programming." Thesis, Imperial College London, 1997. http://hdl.handle.net/10044/1/7212.
Wang, Tzone I. "Distributed object oriented logic programming." Thesis, Imperial College London, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.296891.
Seres, Silvija. "The algebra of logic programming." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365466.
Goldsmith, M. H. "Logic, programming and formal specification." Thesis, University of Oxford, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.371541.
Книги з теми "Logic programming":
1949-, Apt Krzysztof R., and Turini Franco 1949-, eds. Meta-logics and logic programming. Cambridge, Mass: MIT Press, 1995.
Dahl, Véronica, and Ilkka Niemelä, eds. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74610-2.
Balbin, Isaac, and Koenraad Lecot. Logic Programming. Dordrecht: Springer Netherlands, 1985. http://dx.doi.org/10.1007/978-94-009-5044-3.
Gabbrielli, Maurizio, and Gopal Gupta, eds. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11562931.
Voronkov, A., ed. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55460-2.
Etalle, Sandro, and Mirosław Truszczyński, eds. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11799573.
Hill, Patricia M., and David S. Warren, eds. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02846-5.
Stuckey, Peter J., ed. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45619-8.
Codognet, Philippe, ed. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45635-x.
Demoen, Bart, and Vladimir Lifschitz, eds. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b99475.
Частини книг з теми "Logic programming":
Šimkus, Mantas. "Fusion of Logic Programming and Description Logics." In Logic Programming, 551–52. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02846-5_59.
Balbin, Isaac, and Koenraad Lecot. "Programming Concepts in Logic Programming." In Logic Programming, 101–19. Dordrecht: Springer Netherlands, 1985. http://dx.doi.org/10.1007/978-94-009-5044-3_6.
Ben-Ari, Mordechai. "Logic Programming." In Mathematical Logic for Computer Science, 173–200. London: Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0335-6_8.
Lee, Kent D. "Logic Programming." In Foundations of Programming Languages, 277–304. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-70790-7_7.
Conery, John S. "Logic Programming." In The Kluwer International Series in Engineering and Computer Science, 7–34. Boston, MA: Springer US, 1987. http://dx.doi.org/10.1007/978-1-4613-1987-0_2.
Dawe, M. S., and C. M. Dawe. "Logic Programming." In PROLOG for Computer Science, 21–26. London: Springer London, 1994. http://dx.doi.org/10.1007/978-1-4471-2031-5_3.
Vlahavas, Ioannis, Panagiotis Tsarchopoulos, and Ilias Sakellariou. "Logic Programming." In Parallel and Constraint Logic Programming, 5–52. Boston, MA: Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5119-5_2.
Weik, Martin H. "logic programming." In Computer Science and Communications Dictionary, 926. Boston, MA: Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_10596.
Frühwirth, Thom, and Slim Abdennadher. "Logic Programming." In Cognitive Technologies, 13–21. Berlin, Heidelberg: Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-662-05138-2_4.
Kriz, J., and H. Sugaya. "Logic Programming." In Computer Systems for Process Control, 305–41. Boston, MA: Springer US, 1986. http://dx.doi.org/10.1007/978-1-4613-2237-5_14.
Тези доповідей конференцій з теми "Logic programming":
Dahl, Veronica, Diana Cukierman, Gemma Bel-Enguix, and M. Dolores Jiménez-Lopez. "Logic programming." In the 15th Western Canadian Conference. New York, New York, USA: ACM Press, 2010. http://dx.doi.org/10.1145/1806512.1806515.
Jaffar, J., and J. L. Lassez. "Constraint logic programming." In the 14th ACM SIGACT-SIGPLAN symposium. New York, New York, USA: ACM Press, 1987. http://dx.doi.org/10.1145/41625.41635.
Rugaber, Spencer, Zef Hemel, and Kurt Stirewalt. "Live logic programming." In 2013 1st International Workshop on Live Programming (LIVE). IEEE, 2013. http://dx.doi.org/10.1109/live.2013.6617343.
Bossi, A., M. Bugliesi, M. Gabbrielli, G. Levi, and M. C. Meo. "Differential logic programming." In the 20th ACM SIGPLAN-SIGACT symposium. New York, New York, USA: ACM Press, 1993. http://dx.doi.org/10.1145/158511.158689.
You, Jia-Huai, and P. A. Subrahmanyam. "Equational logic programming." In the 13th ACM SIGACT-SIGPLAN symposium. New York, New York, USA: ACM Press, 1986. http://dx.doi.org/10.1145/512644.512663.
Laenens, Els, Domenico Sacca, and Dirk Vermeir. "Extending logic programming." In the 1990 ACM SIGMOD international conference. New York, New York, USA: ACM Press, 1990. http://dx.doi.org/10.1145/93597.98728.
Şensoy, Murat, Geeth de Mel, Wamberto W. Vasconcelos, and Timothy J. Norman. "Ontological logic programming." In the International Conference. New York, New York, USA: ACM Press, 2011. http://dx.doi.org/10.1145/1988688.1988740.
Kifer, M., and J. Wu. "A logic for object-oriented logic programming." In the eighth ACM SIGACT-SIGMOD-SIGART symposium. New York, New York, USA: ACM Press, 1989. http://dx.doi.org/10.1145/73721.73758.
Tran, Son N. "Compositional Neural Logic Programming." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. California: International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/421.
Sato, Masahiko, and Yoshihito Toyama. "FUNCTIONAL AND LOGIC PROGRAMMING." In Third Fuji International Symposium. WORLD SCIENTIFIC, 1998. http://dx.doi.org/10.1142/9789814528849.
Звіти організацій з теми "Logic programming":
Day, William B. Parallel Logic Programming Architecture. Fort Belvoir, VA: Defense Technical Information Center, April 1990. http://dx.doi.org/10.21236/ada225199.
Bowen, Kenneth A. Logic Programming and Knowledge Maintenance. Fort Belvoir, VA: Defense Technical Information Center, August 1987. http://dx.doi.org/10.21236/ada185571.
Minker, Jack, and Mark Weiser. Parallel Logic Programming and ZMOB. Fort Belvoir, VA: Defense Technical Information Center, April 1988. http://dx.doi.org/10.21236/ada196942.
Burge, John, Bill Noah, and Les Smith. Conceptual Modeling via Logic Programming. Fort Belvoir, VA: Defense Technical Information Center, January 1990. http://dx.doi.org/10.21236/ada219785.
Bickford, Mark, and David Guaspari. A Programming Logic for Distributed Systems. Fort Belvoir, VA: Defense Technical Information Center, June 2005. http://dx.doi.org/10.21236/ada435291.
Conway, Neil, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein, and David Maier. Logic and Lattices for Distributed Programming. Fort Belvoir, VA: Defense Technical Information Center, June 2012. http://dx.doi.org/10.21236/ada563903.
Baudinet, Marianne. Temporal Logic Programming is Complete and Expressive,. Fort Belvoir, VA: Defense Technical Information Center, October 1988. http://dx.doi.org/10.21236/ada326173.
Bowen, Kenneth A. Testbeds for Logic Programming and Very Large Databases. Fort Belvoir, VA: Defense Technical Information Center, September 1987. http://dx.doi.org/10.21236/ada209632.
Day, William B. Constraints Logic Programming in Knowledge-Based Planning Domains. Fort Belvoir, VA: Defense Technical Information Center, December 1992. http://dx.doi.org/10.21236/ada262958.
Shakarian, Paulo, Gerardo I. Simari, and Devon Callahan. Reasoning about Complex Networks: A Logic Programming Approach. Fort Belvoir, VA: Defense Technical Information Center, January 2013. http://dx.doi.org/10.21236/ada591598.