Bibliographies thématiques / Logic programming

Littérature scientifique sur le sujet « Logic programming »

Auteur : Grafiati
Publié le 4 juin 2021
Mis à jour le 8 juin 2024

Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres

Choisissez une source :

Sommaire

Consultez les listes thématiques d’articles de revues, de livres, de thèses, de rapports de conférences et d’autres sources académiques 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.

Articles de revues sur le sujet "Logic programming"

1

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égral
Styles APA, Harvard, Vancouver, ISO, etc.
2

KOWALSKI, 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égral
Résumé :
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 of efficiency, timestamps are omitted and only the current state is maintained. State transitions are performed reactively by executing actions to make the consequents of rules true whenever the antecedents become true. This OS is sound, but incomplete. It cannot make reactive rules true by preventing their antecedents from becoming true, or by proactively making their consequents true before their antecedents become true. In this paper, we characterize the notion of reactive model, and prove that the OS can generate all and only such models. In order to focus on the main issues, we omit the logic programming component of the framework.
Styles 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 (juin 2022) : 260. http://dx.doi.org/10.1017/bsl.2021.34.

Texte intégral
Résumé :
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 studied is the paraconsistent, that is, the reasoning that tolerates contradictions. However, although there are many paraconsistent logics with different types of semantics, their application to logic programming is more delicate than it first appears, requiring an in-depth study of what can or cannot be transferred directly from classical first-order logic to other types of logic.Based on studies of Tarcisio Rodrigues on the foundations of Paraconsistent Logic Programming (2010) for some Logics of Formal Inconsistency (LFIs), this thesis intends to resume the research of Rodrigues and place it in the specific context of LFIs with three- and four-valued semantics. This kind of logics are interesting from the computational point of view, as presented by Luiz Silvestrini in his Ph.D. thesis entitled “A new approach to the concept of quase-truth” (2011), and by Marcelo Coniglio and Martín Figallo in the article “Hilbert-style presentations of two logics associated to tetravalent modal algebras” [Studia Logica (2012)]. Based on original techniques, this study aims to define well-founded systems of paraconsistent logic programming based on well-known logics, in contrast to the ad hoc approaches to this question found in the literature.Abstract prepared by Kleidson Êglicio Carvalho da Silva Oliveira.E-mail: kecso10@yahoo.com.brURL: http://repositorio.unicamp.br/jspui/handle/REPOSIP/322632
Styles APA, Harvard, Vancouver, ISO, etc.
4

K, 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égral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
5

Robinson, 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égral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Genesereth, 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égral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Brady, 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égral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Ashbacher, 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égral
Styles APA, Harvard, Vancouver, ISO, etc.
10

ANTONIOU, 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égral
Résumé :
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.
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Thèses sur le sujet "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.

Texte intégral
Styles 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.

Texte intégral
Styles 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.

Texte intégral
Styles 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.

Texte intégral
Styles 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.

Texte intégral
Styles 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.

Texte intégral
Styles 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.

Texte intégral
Styles 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.

Texte intégral
Styles 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.

Texte intégral
Styles 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Livres sur le sujet "Logic programming"

1

1949-, Apt Krzysztof R., et Turini Franco 1949-, dir. Meta-logics and logic programming. Cambridge, Mass : MIT Press, 1995.

Trouver le texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Plus de sources

Chapitres de livres sur le sujet "Logic programming"

1

Šimkus, Mantas. « Fusion of Logic Programming and Description Logics ». Dans Logic Programming, 551–52. Berlin, Heidelberg : Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-02846-5_59.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Balbin, Isaac, et Koenraad Lecot. « Programming Concepts in Logic Programming ». Dans Logic Programming, 101–19. Dordrecht : Springer Netherlands, 1985. http://dx.doi.org/10.1007/978-94-009-5044-3_6.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Ben-Ari, Mordechai. « Logic Programming ». Dans Mathematical Logic for Computer Science, 173–200. London : Springer London, 2001. http://dx.doi.org/10.1007/978-1-4471-0335-6_8.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Lee, Kent D. « Logic Programming ». Dans Foundations of Programming Languages, 277–304. Cham : Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-70790-7_7.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

Conery, John S. « Logic Programming ». Dans 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.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Dawe, M. S., et C. M. Dawe. « Logic Programming ». Dans PROLOG for Computer Science, 21–26. London : Springer London, 1994. http://dx.doi.org/10.1007/978-1-4471-2031-5_3.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Vlahavas, Ioannis, Panagiotis Tsarchopoulos et Ilias Sakellariou. « Logic Programming ». Dans Parallel and Constraint Logic Programming, 5–52. Boston, MA : Springer US, 1998. http://dx.doi.org/10.1007/978-1-4615-5119-5_2.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Weik, Martin H. « logic programming ». Dans Computer Science and Communications Dictionary, 926. Boston, MA : Springer US, 2000. http://dx.doi.org/10.1007/1-4020-0613-6_10596.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Frühwirth, Thom, et Slim Abdennadher. « Logic Programming ». Dans Cognitive Technologies, 13–21. Berlin, Heidelberg : Springer Berlin Heidelberg, 2003. http://dx.doi.org/10.1007/978-3-662-05138-2_4.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

Kriz, J., et H. Sugaya. « Logic Programming ». Dans Computer Systems for Process Control, 305–41. Boston, MA : Springer US, 1986. http://dx.doi.org/10.1007/978-1-4613-2237-5_14.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Actes de conférences sur le sujet "Logic programming"

1

Dahl, Veronica, Diana Cukierman, Gemma Bel-Enguix et M. Dolores Jiménez-Lopez. « Logic programming ». Dans the 15th Western Canadian Conference. New York, New York, USA : ACM Press, 2010. http://dx.doi.org/10.1145/1806512.1806515.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Jaffar, J., et J. L. Lassez. « Constraint logic programming ». Dans the 14th ACM SIGACT-SIGPLAN symposium. New York, New York, USA : ACM Press, 1987. http://dx.doi.org/10.1145/41625.41635.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

Rugaber, Spencer, Zef Hemel et Kurt Stirewalt. « Live logic programming ». Dans 2013 1st International Workshop on Live Programming (LIVE). IEEE, 2013. http://dx.doi.org/10.1109/live.2013.6617343.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

Bossi, A., M. Bugliesi, M. Gabbrielli, G. Levi et M. C. Meo. « Differential logic programming ». Dans the 20th ACM SIGPLAN-SIGACT symposium. New York, New York, USA : ACM Press, 1993. http://dx.doi.org/10.1145/158511.158689.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

You, Jia-Huai, et P. A. Subrahmanyam. « Equational logic programming ». Dans the 13th ACM SIGACT-SIGPLAN symposium. New York, New York, USA : ACM Press, 1986. http://dx.doi.org/10.1145/512644.512663.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

Laenens, Els, Domenico Sacca et Dirk Vermeir. « Extending logic programming ». Dans the 1990 ACM SIGMOD international conference. New York, New York, USA : ACM Press, 1990. http://dx.doi.org/10.1145/93597.98728.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

Şensoy, Murat, Geeth de Mel, Wamberto W. Vasconcelos et Timothy J. Norman. « Ontological logic programming ». Dans the International Conference. New York, New York, USA : ACM Press, 2011. http://dx.doi.org/10.1145/1988688.1988740.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

Kifer, M., et J. Wu. « A logic for object-oriented logic programming ». Dans the eighth ACM SIGACT-SIGMOD-SIGART symposium. New York, New York, USA : ACM Press, 1989. http://dx.doi.org/10.1145/73721.73758.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

Tran, Son N. « Compositional Neural Logic Programming ». Dans 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.

Texte intégral
Résumé :
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, we demonstrate the advantages of CNLP in discriminative tasks and generative tasks.
Styles APA, Harvard, Vancouver, ISO, etc.
10

Sato, Masahiko, et Yoshihito Toyama. « FUNCTIONAL AND LOGIC PROGRAMMING ». Dans Third Fuji International Symposium. WORLD SCIENTIFIC, 1998. http://dx.doi.org/10.1142/9789814528849.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.

Rapports d'organisations sur le sujet "Logic programming"

1

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
2

Bowen, Kenneth A. Logic Programming and Knowledge Maintenance. Fort Belvoir, VA : Defense Technical Information Center, août 1987. http://dx.doi.org/10.21236/ada185571.

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
3

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
4

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
5

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
6

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
7

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
8

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
9

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
10

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

Texte intégral
Styles APA, Harvard, Vancouver, ISO, etc.
Vous pouvez également être intéressé par les bibliographies sur le sujet « Logic programming » pour d’autres types de sources :
Articles de revues Thèses Livres
Nous offrons des réductions sur tous les plans premium pour les auteurs dont les œuvres sont incluses dans des sélections littéraires thématiques. Contactez-nous pour obtenir un code promo unique!

Vers la bibliographie