Inhaltsverzeichnis
Auswahl der wissenschaftlichen Literatur zum Thema „Logic programming“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Logic programming" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Zeitschriftenartikel zum Thema "Logic programming"
Cohen, Jacques. „Logic programming and constraint logic programming“. ACM Computing Surveys 28, Nr. 1 (März 1996): 257–59. http://dx.doi.org/10.1145/234313.234416.
Der volle Inhalt der QuelleKOWALSKI, ROBERT, und 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.
Der volle Inhalt der QuelleOliveira, Kleidson Êglicio Carvalho da Silva. „Paraconsistent Logic Programming in Three and Four-Valued Logics“. Bulletin of Symbolic Logic 28, Nr. 2 (Juni 2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.
Der volle Inhalt der QuelleK, Kwon. „Exception Handling in Logic Programming“. Advances in Robotic Technology 1, Nr. 1 (02.10.2023): 1–3. http://dx.doi.org/10.23880/art-16000104.
Der volle Inhalt der QuelleRobinson, J. A. „Logic and logic programming“. Communications of the ACM 35, Nr. 3 (März 1992): 40–65. http://dx.doi.org/10.1145/131295.131296.
Der volle Inhalt der QuelleVoronkov, A. A. „Logic programming and ?-programming“. Cybernetics 25, Nr. 1 (1989): 83–91. http://dx.doi.org/10.1007/bf01074888.
Der volle Inhalt der QuelleGenesereth, Michael R., und Matthew L. Ginsberg. „Logic programming“. Communications of the ACM 28, Nr. 9 (September 1985): 933–41. http://dx.doi.org/10.1145/4284.4287.
Der volle Inhalt der QuelleBrady, Michael. „Logic Programming“. Irish Journal of Psychology 10, Nr. 2 (Januar 1989): 304–16. http://dx.doi.org/10.1080/03033910.1989.10557749.
Der volle Inhalt der QuelleAshbacher, Charles. „From logic to logic programming“. Journal of Automated Reasoning 16, Nr. 3 (Juni 1996): 427. http://dx.doi.org/10.1007/bf00252183.
Der volle Inhalt der QuelleANTONIOU, GRIGORIS. „LOGIC PROGRAMMING AND DEFAULT LOGIC“. International Journal on Artificial Intelligence Tools 03, Nr. 03 (September 1994): 367–73. http://dx.doi.org/10.1142/s0218213094000194.
Der volle Inhalt der QuelleDissertationen zum Thema "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.
Der volle Inhalt der QuelleMcPhee, Richard. „Compositional logic programming“. Thesis, University of Oxford, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393413.
Der volle Inhalt der QuelleToni, Francesca. „Abductive logic programming“. Thesis, Imperial College London, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.490558.
Der volle Inhalt der QuelleHale, Roger William Stephen. „Programming in temporal logic“. Thesis, University of Cambridge, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305467.
Der volle Inhalt der QuelleQuintero, Jacinto Alfonso Davila. „Agents in logic programming“. Thesis, Imperial College London, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263219.
Der volle Inhalt der QuelleMoreno, Dávila Julio Moreno Davila Julio. „Mathematical programming for logic inference /“. [S.l.] : [s.n.], 1990. http://library.epfl.ch/theses/?nr=784.
Der volle Inhalt der QuelleWetsel, Gerhard. „Abductive and constraint logic programming“. Thesis, Imperial College London, 1997. http://hdl.handle.net/10044/1/7212.
Der volle Inhalt der QuelleWang, Tzone I. „Distributed object oriented logic programming“. Thesis, Imperial College London, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.296891.
Der volle Inhalt der QuelleSeres, Silvija. „The algebra of logic programming“. Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365466.
Der volle Inhalt der QuelleGoldsmith, M. H. „Logic, programming and formal specification“. Thesis, University of Oxford, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.371541.
Der volle Inhalt der QuelleBücher zum Thema "Logic programming"
1949-, Apt Krzysztof R., und Turini Franco 1949-, Hrsg. Meta-logics and logic programming. Cambridge, Mass: MIT Press, 1995.
Den vollen Inhalt der Quelle findenDahl, Véronica, und Ilkka Niemelä, Hrsg. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74610-2.
Der volle Inhalt der QuelleBalbin, Isaac, und Koenraad Lecot. Logic Programming. Dordrecht: Springer Netherlands, 1985. http://dx.doi.org/10.1007/978-94-009-5044-3.
Der volle Inhalt der QuelleGabbrielli, Maurizio, und Gopal Gupta, Hrsg. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11562931.
Der volle Inhalt der QuelleVoronkov, A., Hrsg. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55460-2.
Der volle Inhalt der QuelleEtalle, Sandro, und Mirosław Truszczyński, Hrsg. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11799573.
Der volle Inhalt der QuelleHill, Patricia M., und David S. Warren, Hrsg. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02846-5.
Der volle Inhalt der QuelleStuckey, Peter J., Hrsg. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45619-8.
Der volle Inhalt der QuelleCodognet, Philippe, Hrsg. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45635-x.
Der volle Inhalt der QuelleDemoen, Bart, und Vladimir Lifschitz, Hrsg. Logic Programming. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b99475.
Der volle Inhalt der QuelleBuchteile zum Thema "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.
Der volle Inhalt der QuelleBalbin, Isaac, und 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.
Der volle Inhalt der QuelleBen-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.
Der volle Inhalt der QuelleLee, 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.
Der volle Inhalt der QuelleConery, 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.
Der volle Inhalt der QuelleDawe, M. S., und 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.
Der volle Inhalt der QuelleVlahavas, Ioannis, Panagiotis Tsarchopoulos und 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.
Der volle Inhalt der QuelleWeik, 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.
Der volle Inhalt der QuelleFrühwirth, Thom, und 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.
Der volle Inhalt der QuelleKriz, J., und 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.
Der volle Inhalt der QuelleKonferenzberichte zum Thema "Logic programming"
Dahl, Veronica, Diana Cukierman, Gemma Bel-Enguix und 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.
Der volle Inhalt der QuelleJaffar, J., und 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.
Der volle Inhalt der QuelleRugaber, Spencer, Zef Hemel und 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.
Der volle Inhalt der QuelleBossi, A., M. Bugliesi, M. Gabbrielli, G. Levi und 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.
Der volle Inhalt der QuelleYou, Jia-Huai, und 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.
Der volle Inhalt der QuelleLaenens, Els, Domenico Sacca und 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.
Der volle Inhalt der QuelleŞensoy, Murat, Geeth de Mel, Wamberto W. Vasconcelos und 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.
Der volle Inhalt der QuelleKifer, M., und 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.
Der volle Inhalt der QuelleTran, 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.
Der volle Inhalt der QuelleSato, Masahiko, und Yoshihito Toyama. „FUNCTIONAL AND LOGIC PROGRAMMING“. In Third Fuji International Symposium. WORLD SCIENTIFIC, 1998. http://dx.doi.org/10.1142/9789814528849.
Der volle Inhalt der QuelleBerichte der Organisationen zum Thema "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.
Der volle Inhalt der QuelleBowen, Kenneth A. Logic Programming and Knowledge Maintenance. Fort Belvoir, VA: Defense Technical Information Center, August 1987. http://dx.doi.org/10.21236/ada185571.
Der volle Inhalt der QuelleMinker, Jack, und Mark Weiser. Parallel Logic Programming and ZMOB. Fort Belvoir, VA: Defense Technical Information Center, April 1988. http://dx.doi.org/10.21236/ada196942.
Der volle Inhalt der QuelleBurge, John, Bill Noah und Les Smith. Conceptual Modeling via Logic Programming. Fort Belvoir, VA: Defense Technical Information Center, Januar 1990. http://dx.doi.org/10.21236/ada219785.
Der volle Inhalt der QuelleBickford, Mark, und David Guaspari. A Programming Logic for Distributed Systems. Fort Belvoir, VA: Defense Technical Information Center, Juni 2005. http://dx.doi.org/10.21236/ada435291.
Der volle Inhalt der QuelleConway, Neil, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein und David Maier. Logic and Lattices for Distributed Programming. Fort Belvoir, VA: Defense Technical Information Center, Juni 2012. http://dx.doi.org/10.21236/ada563903.
Der volle Inhalt der QuelleBaudinet, Marianne. Temporal Logic Programming is Complete and Expressive,. Fort Belvoir, VA: Defense Technical Information Center, Oktober 1988. http://dx.doi.org/10.21236/ada326173.
Der volle Inhalt der QuelleBowen, 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.
Der volle Inhalt der QuelleDay, William B. Constraints Logic Programming in Knowledge-Based Planning Domains. Fort Belvoir, VA: Defense Technical Information Center, Dezember 1992. http://dx.doi.org/10.21236/ada262958.
Der volle Inhalt der QuelleShakarian, Paulo, Gerardo I. Simari und Devon Callahan. Reasoning about Complex Networks: A Logic Programming Approach. Fort Belvoir, VA: Defense Technical Information Center, Januar 2013. http://dx.doi.org/10.21236/ada591598.
Der volle Inhalt der Quelle