Bibliografías temáticas / Logic programming

Índice

  1. Artículos de revistas
  2. Tesis
  3. Libros
  4. Capítulos de libros
  5. Actas de conferencias
  6. Informes

Literatura académica sobre el tema "Logic programming"

Autor: Grafiati
Publicado: 4 de junio de 2021
Última modificación: 25 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Logic programming".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "Logic programming"

1

Cohen, Jacques. "Logic programming and constraint logic programming." ACM Computing Surveys 28, no. 1 (1996): 257–59. http://dx.doi.org/10.1145/234313.234416.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

KOWALSKI, ROBERT, and FARIBA SADRI. "Programming in logic without logic programming." Theory and Practice of Logic Programming 16, no. 3 (2016): 269–95. http://dx.doi.org/10.1017/s1471068416000041.

Texto completo
Resumen
AbstractIn previous work, we proposed a logic-based framework in which computation is the execution of actions in an attempt to make reactive rules of the form if antecedent then consequent true in a canonical model of a logic program determined by an initial state, sequence of events, and the resulting sequence of subsequent states. In this model-theoretic semantics, reactive rules are the driving force, and logic programs play only a supporting role. In the canonical model, states, actions, and other events are represented with timestamps. But in the operational semantics (OS), for the sake
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Oliveira, Kleidson Êglicio Carvalho da Silva. "Paraconsistent Logic Programming in Three and Four-Valued Logics." Bulletin of Symbolic Logic 28, no. 2 (2022): 260. http://dx.doi.org/10.1017/bsl.2021.34.

Texto completo
Resumen
AbstractFrom the interaction among areas such as Computer Science, Formal Logic, and Automated Deduction arises an important new subject called Logic Programming. This has been used continuously in the theoretical study and practical applications in various fields of Artificial Intelligence. After the emergence of a wide variety of non-classical logics and the understanding of the limitations presented by first-order classical logic, it became necessary to consider logic programming based on other types of reasoning in addition to classical reasoning. A type of reasoning that has been well stu
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Robinson, J. A. "Logic and logic programming." Communications of the ACM 35, no. 3 (1992): 40–65. http://dx.doi.org/10.1145/131295.131296.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Voronkov, A. A. "Logic programming and ?-programming." Cybernetics 25, no. 1 (1989): 83–91. http://dx.doi.org/10.1007/bf01074888.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

K, Kwon. "Exception Handling in Logic Programming." Advances in Robotic Technology 1, no. 1 (2023): 1–3. http://dx.doi.org/10.23880/art-16000104.

Texto completo
Resumen
One problem on logic programming is to express exception handling. We argue that this problem can be solved by adopting linear logic and prioritized-choice disjunctive goal formulas (PCD) of the form G G 0 *1 ⊕ where G0, G1 are goals. These goals have the following intended semantics: sequentially choose the first true goal GI and execute GI where i (= 0 or 1), discarding the rest if any.
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Genesereth, Michael R., and Matthew L. Ginsberg. "Logic programming." Communications of the ACM 28, no. 9 (1985): 933–41. http://dx.doi.org/10.1145/4284.4287.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Brady, Michael. "Logic Programming." Irish Journal of Psychology 10, no. 2 (1989): 304–16. http://dx.doi.org/10.1080/03033910.1989.10557749.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Ashbacher, Charles. "From logic to logic programming." Journal of Automated Reasoning 16, no. 3 (1996): 427. http://dx.doi.org/10.1007/bf00252183.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

ANTONIOU, GRIGORIS. "LOGIC PROGRAMMING AND DEFAULT LOGIC." International Journal on Artificial Intelligence Tools 03, no. 03 (1994): 367–73. http://dx.doi.org/10.1142/s0218213094000194.

Texto completo
Resumen
We present several ideas of increasing complexity how to translate default theories to normal logic programs that make direct use of the deductive capacity of logic programming. We show the limitations of simple, ad hoc approaches, and arrive at a more general construction; its main property is that the answer substitutions computed by the logic program via its standard operational semantics correspond exactly to the extensions of the default theory.
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Tesis sobre el tema "Logic programming"

1

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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

McPhee, Richard. "Compositional logic programming." Thesis, University of Oxford, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393413.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Toni, Francesca. "Abductive logic programming." Thesis, Imperial College London, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.490558.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Hale, Roger William Stephen. "Programming in temporal logic." Thesis, University of Cambridge, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305467.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Quintero, Jacinto Alfonso Davila. "Agents in logic programming." Thesis, Imperial College London, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.263219.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Moreno, Dávila Julio Moreno Davila Julio. "Mathematical programming for logic inference /." [S.l.] : [s.n.], 1990. http://library.epfl.ch/theses/?nr=784.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Wetsel, Gerhard. "Abductive and constraint logic programming." Thesis, Imperial College London, 1997. http://hdl.handle.net/10044/1/7212.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Wang, Tzone I. "Distributed object oriented logic programming." Thesis, Imperial College London, 1995. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.296891.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Seres, Silvija. "The algebra of logic programming." Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365466.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Goldsmith, M. H. "Logic, programming and formal specification." Thesis, University of Oxford, 1985. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.371541.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Libros sobre el tema "Logic programming"

1

1949-, Apt Krzysztof R., and Turini Franco 1949-, eds. Meta-logics and logic programming. MIT Press, 1995.

Buscar texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Dahl, Véronica, and Ilkka Niemelä, eds. Logic Programming. Springer Berlin Heidelberg, 2007. http://dx.doi.org/10.1007/978-3-540-74610-2.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Balbin, Isaac, and Koenraad Lecot. Logic Programming. Springer Netherlands, 1985. http://dx.doi.org/10.1007/978-94-009-5044-3.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Gabbrielli, Maurizio, and Gopal Gupta, eds. Logic Programming. Springer Berlin Heidelberg, 2005. http://dx.doi.org/10.1007/11562931.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Voronkov, A., ed. Logic Programming. Springer Berlin Heidelberg, 1992. http://dx.doi.org/10.1007/3-540-55460-2.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Etalle, Sandro, and Mirosław Truszczyński, eds. Logic Programming. Springer Berlin Heidelberg, 2006. http://dx.doi.org/10.1007/11799573.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Hill, Patricia M., and David S. Warren, eds. Logic Programming. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02846-5.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Stuckey, Peter J., ed. Logic Programming. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45619-8.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Codognet, Philippe, ed. Logic Programming. Springer Berlin Heidelberg, 2001. http://dx.doi.org/10.1007/3-540-45635-x.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Demoen, Bart, and Vladimir Lifschitz, eds. Logic Programming. Springer Berlin Heidelberg, 2004. http://dx.doi.org/10.1007/b99475.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes

Capítulos de libros sobre el tema "Logic programming"

1

Šimkus, Mantas. "Fusion of Logic Programming and Description Logics." In Logic Programming. Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02846-5_59.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Balbin, Isaac, and Koenraad Lecot. "Programming Concepts in Logic Programming." In Logic Programming. Springer Netherlands, 1985. http://dx.doi.org/10.1007/978-94-009-5044-3_6.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Ben-Ari, Mordechai. "Logic Programming." In Mathematical Logic for Computer Science. Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0335-6_8.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Lee, Kent D. "Logic Programming." In Foundations of Programming Languages. Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-70790-7_7.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Conery, John S. "Logic Programming." In The Kluwer International Series in Engineering and Computer Science. Springer US, 1987. http://dx.doi.org/10.1007/978-1-4613-1987-0_2.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Dawe, M. S., and C. M. Dawe. "Logic Programming." In PROLOG for Computer Science. Springer London, 1994. http://dx.doi.org/10.1007/978-1-4471-2031-5_3.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Vlahavas, Ioannis, Panagiotis Tsarchopoulos, and Ilias Sakellariou. "Logic Programming." In Parallel and Constraint Logic Programming. Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5119-5_2.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Weik, Martin H. "logic programming." In Computer Science and Communications Dictionary. Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_10596.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Frühwirth, Thom, and Slim Abdennadher. "Logic Programming." In Cognitive Technologies. Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-662-05138-2_4.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Kriz, J., and H. Sugaya. "Logic Programming." In Computer Systems for Process Control. Springer US, 1986. http://dx.doi.org/10.1007/978-1-4613-2237-5_14.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Actas de conferencias sobre el tema "Logic programming"

1

Roisin, Mathieu, Pierre-Alain Yvars, and Bernard Riera. "Constraint Programming for Logic controller Synthesis." In 2024 10th International Conference on Control, Decision and Information Technologies (CoDIT). IEEE, 2024. http://dx.doi.org/10.1109/codit62066.2024.10708360.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Dahl, Veronica, Diana Cukierman, Gemma Bel-Enguix, and M. Dolores Jiménez-Lopez. "Logic programming." In the 15th Western Canadian Conference. ACM Press, 2010. http://dx.doi.org/10.1145/1806512.1806515.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Jaffar, J., and J. L. Lassez. "Constraint logic programming." In the 14th ACM SIGACT-SIGPLAN symposium. ACM Press, 1987. http://dx.doi.org/10.1145/41625.41635.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Bossi, A., M. Bugliesi, M. Gabbrielli, G. Levi, and M. C. Meo. "Differential logic programming." In the 20th ACM SIGPLAN-SIGACT symposium. ACM Press, 1993. http://dx.doi.org/10.1145/158511.158689.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

You, Jia-Huai, and P. A. Subrahmanyam. "Equational logic programming." In the 13th ACM SIGACT-SIGPLAN symposium. ACM Press, 1986. http://dx.doi.org/10.1145/512644.512663.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Laenens, Els, Domenico Sacca, and Dirk Vermeir. "Extending logic programming." In the 1990 ACM SIGMOD international conference. ACM Press, 1990. http://dx.doi.org/10.1145/93597.98728.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Şensoy, Murat, Geeth de Mel, Wamberto W. Vasconcelos, and Timothy J. Norman. "Ontological logic programming." In the International Conference. ACM Press, 2011. http://dx.doi.org/10.1145/1988688.1988740.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Tran, Son N. "Compositional Neural Logic Programming." In Thirtieth International Joint Conference on Artificial Intelligence {IJCAI-21}. International Joint Conferences on Artificial Intelligence Organization, 2021. http://dx.doi.org/10.24963/ijcai.2021/421.

Texto completo
Resumen
This paper introduces Compositional Neural Logic Programming (CNLP), a framework that integrates neural networks and logic programming for symbolic and sub-symbolic reasoning. We adopt the idea of compositional neural networks to represent first-order logic predicates and rules. A voting backward-forward chaining algorithm is proposed for inference with both symbolic and sub-symbolic variables in an argument-retrieval style. The framework is highly flexible in that it can be constructed incrementally with new knowledge, and it also supports batch reasoning in certain cases. In the experiments,
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Kifer, M., and J. Wu. "A logic for object-oriented logic programming." In the eighth ACM SIGACT-SIGMOD-SIGART symposium. ACM Press, 1989. http://dx.doi.org/10.1145/73721.73758.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.

Informes sobre el tema "Logic programming"

1

Day, William B. Parallel Logic Programming Architecture. Defense Technical Information Center, 1990. http://dx.doi.org/10.21236/ada225199.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Bowen, Kenneth A. Logic Programming and Knowledge Maintenance. Defense Technical Information Center, 1987. http://dx.doi.org/10.21236/ada185571.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Minker, Jack, and Mark Weiser. Parallel Logic Programming and ZMOB. Defense Technical Information Center, 1988. http://dx.doi.org/10.21236/ada196942.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Burge, John, Bill Noah, and Les Smith. Conceptual Modeling via Logic Programming. Defense Technical Information Center, 1990. http://dx.doi.org/10.21236/ada219785.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Bickford, Mark, and David Guaspari. A Programming Logic for Distributed Systems. Defense Technical Information Center, 2005. http://dx.doi.org/10.21236/ada435291.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Conway, Neil, William R. Marczak, Peter Alvaro, Joseph M. Hellerstein, and David Maier. Logic and Lattices for Distributed Programming. Defense Technical Information Center, 2012. http://dx.doi.org/10.21236/ada563903.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Baudinet, Marianne. Temporal Logic Programming is Complete and Expressive,. Defense Technical Information Center, 1988. http://dx.doi.org/10.21236/ada326173.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Bowen, Kenneth A. Testbeds for Logic Programming and Very Large Databases. Defense Technical Information Center, 1987. http://dx.doi.org/10.21236/ada209632.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Day, William B. Constraints Logic Programming in Knowledge-Based Planning Domains. Defense Technical Information Center, 1992. http://dx.doi.org/10.21236/ada262958.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

Shakarian, Paulo, Gerardo I. Simari, and Devon Callahan. Reasoning about Complex Networks: A Logic Programming Approach. Defense Technical Information Center, 2013. http://dx.doi.org/10.21236/ada591598.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías ampliadas sobre el tema "Logic programming" para tipos de fuentes particulares:
Artículos de revistas Tesis Libros
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía