Relevant bibliographies by topics / Logical programming

Contents

  1. Journal articles
  2. Dissertations / Theses
  3. Books
  4. Book chapters
  5. Conference papers
  6. Reports

Academic literature on the topic 'Logical programming'

Author: Grafiati
Published: 4 June 2021
Last updated: 26 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Logical programming.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Logical programming"

1

Hooker, J. N., and M. A. Osorio. "Mixed logical-linear programming." Discrete Applied Mathematics 96-97 (October 1999): 395–442. http://dx.doi.org/10.1016/s0166-218x(99)00100-6.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Tsalapatas, H. "Programming Games for Logical Thinking." EAI Endorsed Transactions on Game-Based Learning 1, no. 1 (2013): e4. http://dx.doi.org/10.4108/trans.gbl.01-06.2013.e4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Jansson, Lars C., Harvey D. Williams, and Robert J. Collens. "Computer Programming and Logical Reasoning." School Science and Mathematics 87, no. 5 (1987): 371–79. http://dx.doi.org/10.1111/j.1949-8594.1987.tb11722.x.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Gilmore, Paul C., and George K. Tsiknis. "Logical foundations for programming semantics." Theoretical Computer Science 111, no. 1-2 (1993): 253–90. http://dx.doi.org/10.1016/0304-3975(93)90189-z.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Guignard, Monique, Ellis L. Johnson, and Kurt Spielberg. "Logical Processing for Integer Programming." Annals of Operations Research 140, no. 1 (2005): 263–304. http://dx.doi.org/10.1007/s10479-005-3974-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Yeom, Kuhn, and Jae Kyu Lee. "Logical representation of integer programming models." Decision Support Systems 18, no. 3-4 (1996): 227–51. http://dx.doi.org/10.1016/s0167-9236(96)80002-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Nieves, Juan Carlos, and Mauricio Osorio. "Ideal extensions as logical programming models." Journal of Logic and Computation 26, no. 5 (2014): 1361–93. http://dx.doi.org/10.1093/logcom/exu014.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Kuhn, Y. "Logical representation of integer programming models." Decision Support Systems 18, no. 1 (1996): 227–51. http://dx.doi.org/10.1016/0167-9236(96)00027-9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Jefferson, Christopher, Neil C. A. Moore, Peter Nightingale, and Karen E. Petrie. "Implementing logical connectives in constraint programming." Artificial Intelligence 174, no. 16-17 (2010): 1407–29. http://dx.doi.org/10.1016/j.artint.2010.07.001.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Seidman, Robert H. "Computer Programming and Logical Reasoning: Unintended Cognitive Effects." Journal of Educational Technology Systems 18, no. 2 (1989): 123–41. http://dx.doi.org/10.2190/myuy-g56t-226t-pvt0.

Full text
Abstract:
Recent research results having to do with explicit instruction in computer programming and cognitive skills indicate an increased emphasis upon the structure of the learning environment surrounding programming languages. A new research direction concerned with transfer effects due to environmental aspects of programming instruction is emerging. A conceptual analysis of the syntax and semantics of the IF-THEN [ELSE] conditional command is presented which suggests that mastering a procedural language itself (independent of environment) might have unintended, indirect, and potentially negative ef
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Logical programming"

1

Pinto, Luis Filipe Ribeiro. "Proof-theoretic investigations into integrated logical and functional programming." Thesis, University of St Andrews, 1997. http://hdl.handle.net/10023/13430.

Full text
Abstract:
This thesis is a proof-theoretic investigation of logic programming based on hereditary Harrop logic (as in lambdaProlog). After studying various proof systems for the first-order hereditary Harrop logic, we define the proof-theoretic semantics of a logic LFPL, intended as the basis of logic programming with functions, which extends higher-order hereditary Harrop logic by providing definition mechanisms for functions in such a way that the logical specification of the function rather than the function may be used in proof search. In Chap. 3, we define, for the first-order hereditary Harrop fra
APA, Harvard, Vancouver, ISO, and other styles
2

Jackson, David Mark. "Logical verification of reactive software systems." Thesis, University of Oxford, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305989.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

de, Queiroz Ruy Jose Guerra Barretto. "Proof theory and computer programming : the logical foundations of computing." Thesis, Imperial College London, 1990. http://hdl.handle.net/10044/1/46514.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Didenko, I. "Determining prerogative by factors of significance, logical or programming controller." Thesis, Sumy State University, 2017. http://essuir.sumdu.edu.ua/handle/123456789/55761.

Full text
Abstract:
Advances in information technology design computer systems and networks helped to deepen the study of the processes that can lead to loss of integrity, confidentiality or availability of information or even its destruction. Information technology protect the confidentiality of information in computer systems and networks for the present time by following directions - SDN (software-defined networking) and ACI (Application Centric Infrastructure). Given the trends of information technology and approaches to problem-solving information security important task is to determine the appro
APA, Harvard, Vancouver, ISO, and other styles
5

Kerin, Michael A. "Self-organisation and autonomous learning in logical neural networks." Thesis, Brunel University, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.303172.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Videla, Santiago. "Reasoning on the response of logical signaling networks with answer set programming." Phd thesis, Universität Potsdam, 2014. http://opus.kobv.de/ubp/volltexte/2014/7189/.

Full text
Abstract:
Deciphering the functioning of biological networks is one of the central tasks in systems biology. In particular, signal transduction networks are crucial for the understanding of the cellular response to external and internal perturbations. Importantly, in order to cope with the complexity of these networks, mathematical and computational modeling is required. We propose a computational modeling framework in order to achieve more robust discoveries in the context of logical signaling networks. More precisely, we focus on modeling the response of logical signaling networks by means of automate
APA, Harvard, Vancouver, ISO, and other styles
7

Ferreira, Paulo Jorge Abreu Duarte. "Information flow analysis using data-dependent logical propositions." Master's thesis, Faculdade de Ciências e Tecnologia, 2012. http://hdl.handle.net/10362/8451.

Full text
Abstract:
Dissertação para obtenção do Grau de Mestre em Engenharia Informática<br>A significant number of today’s software systems are designed around database systems that store business information, as well as data relevant to access control enforcement, such as user profiles and permissions. Thus, the code implementing security mechanisms is scattered across the application code, often replicated at different architectural layers, each one written in its own programming language and with its own data format. Several approaches address this problem by integrating the development of all applicat
APA, Harvard, Vancouver, ISO, and other styles
8

Trimoska, Monika. "Combinatorics in algebraic and logical cryptanalysis." Electronic Thesis or Diss., Amiens, 2021. http://www.theses.fr/2021AMIE0005.

Full text
Abstract:
Les attaques cryptographiques que nous décrivons dans cette thèse reposent sur des approches combinatoires, relevant notamment de la théorie des graphes et de la satisfaction sous contraintes. Notre objectif principal concerne l'étude du problème du logarithme discret sur courbes elliptiques. Dans un premier temps, nous nous concentrons sur l'attaque de calcul d'index pour le cas des courbes elliptiques définies sur des extensions de corps finis de degré premier. Au cœur de l'attaque sur ces courbes réside la résolution des systèmes polynomiaux en caractéristique 2. Ainsi, la première phase du
APA, Harvard, Vancouver, ISO, and other styles
9

Moyle, Stephen Anthony. "An investigation into theory completion techniques in inductive logic programming." Thesis, University of Oxford, 2003. http://ora.ox.ac.uk/objects/uuid:823d64c1-eae9-4e8e-b159-fe1cbf68c1c7.

Full text
Abstract:
Traditional Inductive Logic Programming (ILP) focuses on the setting where the target theory is a generalisation of the observations. This is known as Observational Predicate Learning (OPL). In the Theory Completion setting the target theory is not in the same predicate as the observations (non-OPL). This thesis investigates two alternative simple extensions to traditional ILP to perform non-OPL or Theory Completion. Both techniques perform extraction-case abduction from an existing background theory and one seed observation. The first technique -- Logical Back-propagation -- modifies the exis
APA, Harvard, Vancouver, ISO, and other styles
10

Videla, Santiago [Verfasser], and Torsten [Akademischer Betreuer] Schaub. "Reasoning on the response of logical signaling networks with answer set programming / Santiago Videla. Betreuer: Torsten Schaub." Potsdam : Universitätsbibliothek der Universität Potsdam, 2014. http://d-nb.info/1058253263/34.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Books on the topic "Logical programming"

1

Gérard, Huet, ed. Logical foundations of functional programming. Addison-Wesley, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
2

Gérard, Huet, ed. Logical foundations of functional programming. Addison-Wesley, 1990.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
3

Richard, Waldinger, ed. The logical basis for computer programming. Addison-Wesley, 1985.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
4

Petrenko, Aleksandr, and Aleksandr Suvorov. Logic programming. INFRA-M Academic Publishing LLC., 2024. https://doi.org/10.12737/2056738.

Full text
Abstract:
The textbook discusses issues related to logical programming languages: application features, syntax, functions. A large number of meaningful examples of problem solving are given, demonstrating the capabilities of logical programming languages. Meets the requirements of the federal state educational standards of higher education of the latest generation. For students of higher educational institutions studying in the areas of training "Information technology of automated systems", "Software Engineering", "Applied Computer Science, as well as individuals who independently study logic programmi
APA, Harvard, Vancouver, ISO, and other styles
5

Hennie, Frederick. Iterative arrays of logical circuits. MIT-Press, 2003.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
6

Latin American and Caribbean Institute for Economic and Social Planning. Area of Advisory Service Programmes., ed. Project ranking and logical design of an investment programming support system. Latin American and Caribbean Institute for Economic and Social Planning, Area of Advisory Service Programmes, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
7

Richard, Waldinger, and Manna Zohar, eds. The deductive foundations of computer programming: A one-volume version of The logical basis for computer programming. Addison-Wesley Pub. Co., 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
8

International Conference on Symbolic and Logical Computing (6th 1993 Dakota State University). Proceedings of the Sixth International Conference on Symbolic and Logical Computing. Dakota State University, 1993.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
9

International Conference on Symbolic and Logical Computing (4th 1989 Dakota State University). Proceedings of the Fourth International Conference on Symbolic and Logical Computing. Dakota State University, 1989.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
10

International Conference on Symbolic and Logical Computing (5th 1991 Dakota State University). Proceedings of the Fifth International Conference on Symbolic and Logical Computing. Dakota State University, 1991.

Find full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Book chapters on the topic "Logical programming"

1

Ganzinger, Harald, and David McAllester. "Logical Algorithms." In Logic Programming. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45619-8_15.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Schimpf, Joachim. "Logical Loops." In Logic Programming. Springer Berlin Heidelberg, 2002. http://dx.doi.org/10.1007/3-540-45619-8_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Chivers, Ian, and Jane Sleightholme. "Logical." In Introduction to Programming with Fortran. Springer London, 2011. http://dx.doi.org/10.1007/978-0-85729-233-9_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

Chivers, Ian, and Jane Sleightholme. "Logical." In Introduction to Programming with Fortran. Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-75502-1_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

Chivers, Ian, and Jane Sleightholme. "Logical." In Introduction to Programming with Fortran. Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17701-4_16.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

Bockmayr, Alexander, and Heike Siebert. "Bio-Logics: Logical Analysis of Bioregulatory Networks." In Programming Logics. Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-37651-1_2.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Duggan, Dominic. "Logical closures." In Logic Programming and Automated Reasoning. Springer Berlin Heidelberg, 1994. http://dx.doi.org/10.1007/3-540-58216-9_33.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Plotkin, Gordon, John Power, Donald Sannella, and Robert Tennent. "Lax Logical Relations." In Automata, Languages and Programming. Springer Berlin Heidelberg, 2000. http://dx.doi.org/10.1007/3-540-45022-x_9.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

fisher, Michael, and Anthony Hepple. "Executing Logical Agent Specifications." In Multi-Agent Programming. Springer US, 2009. http://dx.doi.org/10.1007/978-0-387-89299-3_1.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Bazil Raj, A. Arockia. "Arithmetic and Logical Programming." In FPGA-Based Embedded System Developer's Guide. CRC Press, 2018. http://dx.doi.org/10.1201/9781315156200-4.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Logical programming"

1

Barcan, Nicoleta-Gabriela, Adrian Alexandrescu, and Tatiana Turcanu. "Gamification of the Learning Process for Acquiring Logical Thinking in Programming." In 2024 23rd RoEduNet Conference: Networking in Education and Research (RoEduNet). IEEE, 2024. http://dx.doi.org/10.1109/roedunet64292.2024.10722314.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Uchiyama, Fumiya, Takeshi Kojima, Andrew Gambardella, Qi Cao, Yusuke Iwasawa, and Yutaka Matsuo. "Which Programming Language and What Features at Pre-training Stage Affect Downstream Logical Inference Performance?" In Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, 2024. http://dx.doi.org/10.18653/v1/2024.emnlp-main.1008.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Cabalar, Pedro, Thomas Eiter, and Davide Soldà. "Contracted Temporal Equilibrium Logic." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/21.

Full text
Abstract:
The stable model semantics of logic programs has been characterized by Equilibrium Logic, which is a non-monotonic formalism that selects models from the (monotonic) intermediate logic of Here-and-There. It provides stable models for arbitrary propositional formulas and has been fruitfully extended to different modal languages. Among them are theories in the syntax of Linear-Time Temporal Logic (LTL), giving rise to Temporal Equilibrium logic (TEL) based on Temporal Here-and-There (THT). In TEL, models are selected that minimize truth among THT traces of the same length. In this paper, we cons
APA, Harvard, Vancouver, ISO, and other styles
4

Hirschbrunn, Joshua, and Yevgeny Kazakov. "Extending Description Logics with Generic Concepts – the Tale of Two Semantics." In 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}. International Joint Conferences on Artificial Intelligence Organization, 2024. http://dx.doi.org/10.24963/kr.2024/43.

Full text
Abstract:
Description Logic (DL) ontologies often need to model similar properties for different concepts. Taking inspiration from generic classes in object-oriented programming, we introduce concept parameters to describe related concepts. For example, LocalAnesthesia[Eye] and LocalAnesthesia[Knee] can be used to describe the anesthesia of an eye or a knee, respectively. The main benefit of generic concepts is to be able to describe general properties, for example, that every local anesthesia is done by applying an anesthetic drug. We propose to use generic concepts, such as LocalAnesthesia[X] to defin
APA, Harvard, Vancouver, ISO, and other styles
5

Chattopadhyay, Sampriti, Rahul Gandhi, Ignacio E. Grossmann, and Ana I. Torres. "Optimization of Retrofit Decarbonization in Oil Refineries." In Foundations of Computer-Aided Process Design. PSE Press, 2024. http://dx.doi.org/10.69997/sct.114841.

Full text
Abstract:
The chemical industry is actively pursuing energy transition and decarbonization through renewables and other decarbonization initiatives. However, navigating this transition is challenging due to uncertainties in capital investments, electricity costs, and carbon taxes. Adapting to decarbonization standards while preserving existing valuable infrastructure presents a dilemma. Early transitions may lead to inefficiencies, while delays increase the carbon footprint. This research proposes a framework to find an optimal retrofit decarbonization strategy for existing oil refineries. We start with
APA, Harvard, Vancouver, ISO, and other styles
6

Meseguer, José. "A logical theory of concurrent objects." In the European conference on object-oriented programming. ACM Press, 1990. http://dx.doi.org/10.1145/97945.97958.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

Hapl, Lukáš, and Hashim Habiballa. "Introduction to digital circuits based logical programming (DCBLP) - The multiparadigmatic way of logical based on programming." In PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2019 (ICCMSE-2019). AIP Publishing, 2019. http://dx.doi.org/10.1063/1.5137956.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

Kalhauge, Christian Gram, and Jens Palsberg. "Logical bytecode reduction." In PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. ACM, 2021. http://dx.doi.org/10.1145/3453483.3454091.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

Stickel, Eberhard U. "A linear programming approach to logical inference." In the 1993 ACM conference. ACM Press, 1993. http://dx.doi.org/10.1145/170791.170811.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

Mottola, Luca, and Gian Pietro Picco. "Programming wireless sensor networks with logical neighborhoods." In the first international conference. ACM Press, 2006. http://dx.doi.org/10.1145/1142680.1142691.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Reports on the topic "Logical programming"

1

Constable, Robert L., and Christoph Kreitz. An Open Logical Programming Environment. A Practical Framework for Sharing Formal Models. Defense Technical Information Center, 2002. http://dx.doi.org/10.21236/ada411860.

Full text
APA, Harvard, Vancouver, ISO, and other styles
2

Harper, Robert, and Frank Pfenning. A Module System for a Programming Language Based on the LF Logical Framework. Defense Technical Information Center, 1992. http://dx.doi.org/10.21236/ada256731.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

Ahn, Ki Yung. The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types. Portland State University Library, 2000. http://dx.doi.org/10.15760/etd.2086.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Logical programming' for particular source types:
Journal articles Dissertations / Theses Books
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography