Log in

Relevant bibliographies by topics / Logical programming / Journal articles

To see the other types of publications on this topic, follow the link: Logical programming.

Journal articles 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 top 50 journal articles for your research 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.

Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.

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

11

Othman, Mahfudzah, Arifah Fasha Rosmani, Shukor Sanim Mohd Fauzi, and Umi Hanim Mazlan. "The Impact of Pair Programming on Students Logical Thinking_A Case Study on Higher Academic Institution." Social and Management Research Journal 16, no. 1 (2019): 85. http://dx.doi.org/10.24191/smrj.v16i1.6085.

Full text

Abstract:

Pair Programming (PP) is a well-known agile software development technique that has been widely implemented in programming classes. Through PP, students are able to share knowledge and expertise that will contribute to better programming solutions. Nevertheless, how PP can help to improve students’ cognitive abilities has yet to be explored. Therefore, this study’s aim was to investigate the impacts of implementing Pair Programming (PP) on students’ logical thinking. Logical thinking is part of the cognitive ability claimed to be one of the crucial factors that determine the success or failure

APA, Harvard, Vancouver, ISO, and other styles

12

Torii, Koji, Yuji Sugiyama, Mamoru Fujii, Tadao Kasami, and Yoshitomi Morisawa. "Logical programming for the telegram analysis problem." Computer Languages 12, no. 1 (1987): 9–20. http://dx.doi.org/10.1016/0096-0551(87)90008-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

13

Liu, Yiyun, and Stephanie Weirich. "Dependently-Typed Programming with Logical Equality Reflection." Proceedings of the ACM on Programming Languages 7, ICFP (2023): 649–85. http://dx.doi.org/10.1145/3607852.

Full text

Abstract:

In dependently-typed functional programming languages that allow general recursion, programs used as proofs must be evaluated to retain type soundness. As a result, programmers must make a trade-off between performance and safety. To address this problem, we propose System DE, an explicitly-typed, moded core calculus that supports termination tracking and equality reflection. Programmers can write inductive proofs about potentially diverging programs in a logical sublanguage and reflect those proofs to the type checker, while knowing that such proofs will be erased by the compiler before execu

APA, Harvard, Vancouver, ISO, and other styles

14

CRUZ, FLAVIO, RICARDO ROCHA, SETH COPEN GOLDSTEIN, and FRANK PFENNING. "A Linear Logic Programming Language for Concurrent Programming over Graph Structures." Theory and Practice of Logic Programming 14, no. 4-5 (2014): 493–507. http://dx.doi.org/10.1017/s1471068414000167.

Full text

Abstract:

AbstractWe have designed a new logic programming language called LM (Linear Meld) for programming graph-based algorithms in a declarative fashion. Our language is based on linear logic, an expressive logical system where logical facts can be consumed. Because LM integrates both classical and linear logic, LM tends to be more expressive than other logic programming languages. LM programs are naturally concurrent because facts are partitioned by nodes of a graph data structure. Computation is performed at the node level while communication happens between connected nodes. In this paper, we prese

APA, Harvard, Vancouver, ISO, and other styles

15

Wang, Zhi Ping, and Feng Yuan. "Applications of R Parameter and Programming Jump Instructions in SIEMENS System." Advanced Materials Research 211-212 (February 2011): 886–90. http://dx.doi.org/10.4028/www.scientific.net/amr.211-212.886.

Full text

Abstract:

R Parameter programming and Programming Jump instruction is an advanced programming method in SIEMENS system and similar to the macro program in FANUC system. It uses parameter variables instead of functional codes and address values to make up a processing program. The R variables can plus, minus, multiply, divide, evolution, power, trigonometricfunction and so on in the logical calculation, In NC machining programming, uses R Parameter programming and is Programming Jump instruction, may realize the NC procedure logical judgment, comparison, transfer and other logic operation, resulting in a

APA, Harvard, Vancouver, ISO, and other styles

16

Pistol, Luminita, and Radu BUCEA-MANEA-TONIS. "Logical Querying of Relational Databases." Journal of Economic Development, Environment and People 5, no. 4 (2016): 58. http://dx.doi.org/10.26458/jedep.v5i4.518.

Full text

Abstract:

This paper aims to demonstrate the usefulness of formal logic and lambda calculus in database programming. After a short introduction in propositional and first order logic, we implement dynamically a small database and translate some SQL queries in filtered java 8 streams, enhanced with Tuples facilities from jOOλ library.

APA, Harvard, Vancouver, ISO, and other styles

17

Lin, Fangzhen. "Parameterized Logical Theories." Proceedings of the AAAI Conference on Artificial Intelligence 35, no. 7 (2021): 6402–9. http://dx.doi.org/10.1609/aaai.v35i7.16794.

Full text

Abstract:

A theory in first-order logic is a set of sentences. A parameterized theory is a first-order theory with some of its predicates and functions identified as parameters, together with some import statements that call other parameterized theories. A KB is then a collection of these interconnected parameterised theories, similar to how a computer program is constructed as a set of functions in a modern programming language. In this paper, we provide a translational semantics for these parameterized theories in first-order logic using the situation calculus. We also discuss their potential uses in

APA, Harvard, Vancouver, ISO, and other styles

18

Zdor, D. V. "Theoretical foundations of the organization of branches and repetitions in programs in the logic programming language Prolog." Advanced Engineering Research 21, no. 2 (2021): 200–206. http://dx.doi.org/10.23947/2687-1653-2021-21-2-200-206.

Full text

Abstract:

Introduction. The organization of branches and repetitions in the context of logical programming is considered by an example of the Prolog language. The fundamental feature of the program in a logical programming language is the fact that a computer must solve a problem by reasoning like a human. Such a program contains a description of objects and relations between them in the language of mathematical logic. At the same time, the software implementation of branching and repetition remains a challenge in the absence of special operators for the indicated constructions in the logical language.

APA, Harvard, Vancouver, ISO, and other styles

19

Galimullin, Niyaz R. "EVOLUTION OF PROGRAMMING LANGUAGES FROM PROCEDURAL TO FUNCTIONAL LOGICAL PARADIGMS." EKONOMIKA I UPRAVLENIE: PROBLEMY, RESHENIYA 9/7, no. 150 (2024): 161–69. http://dx.doi.org/10.36871/ek.up.p.r.2024.09.07.019.

Full text

Abstract:

The article considers the evolution of programming languages from procedural to functional and logical paradigms. Particular attention is paid to key stages in the development of programming languages, such as the transition from procedural methods to object-oriented, functional and logical approaches. The article provides a comparative analysis of various paradigms, their advantages and disadvantages, and discusses modern trends and hybrid languages that combine elements of several paradigms. The impact of these changes on software development is considered and further directions of developme

APA, Harvard, Vancouver, ISO, and other styles

20

Joudakizadeh, M., and A. P. Beltiukov. "Programming in grammars." Vestnik Udmurtskogo Universiteta. Matematika. Mekhanika. Komp'yuternye Nauki 35, no. 2 (2025): 315–34. https://doi.org/10.35634/vm250210.

Full text

Abstract:

This paper discusses an approach to programming based on the use of parameterized grammars. The concepts of these grammars are equipped with parameters that can also be objects of the grammars. Such grammars are quite a powerful tool; they are proposed to be used for formulating statements of problems of transformation of linguistic data. These grammars can be used directly for information processing, but this may not be effective. Therefore, a special class of such grammars that are effective in application is distinguished. A special system of unambiguous (functional) parameterized grammars

APA, Harvard, Vancouver, ISO, and other styles

21

Mutaqin, Rizal, Ghani Mutaqin, Fitry Taufiq Sahary, and Dwi Shinta Dharmopadni. "The Impact of Indonesian Army Information and Data Processing Service Department Programming Training for Indonesian Army." Jurnal Pertahanan: Media Informasi ttg Kajian & Strategi Pertahanan yang Mengedepankan Identity, Nasionalism & Integrity 9, no. 2 (2023): 420. http://dx.doi.org/10.33172/jp.v9i2.4850.

Full text

Abstract:

<p>This research discusses the importance of programming training for soldiers of the Indonesian Army in facing the era of globalization and digital transformation. In this context, programming is recognized as a tool for developing creative and logical thinking skills, which are key in overcoming complex challenges both in the military and society. The purpose of this study was to determine the impact of programming training for Indonesian Army soldiers. The methodological approach used combines quantitative and qualitative methods, through an initial survey to identify the number of so

APA, Harvard, Vancouver, ISO, and other styles

22

GUTMANN, BERND, INGO THON, ANGELIKA KIMMIG, MAURICE BRUYNOOGHE, and LUC DE RAEDT. "The magic of logical inference in probabilistic programming." Theory and Practice of Logic Programming 11, no. 4-5 (2011): 663–80. http://dx.doi.org/10.1017/s1471068411000238.

Full text

Abstract:

AbstractToday, there exist many different probabilistic programming languages as well as more inference mechanisms for these languages. Still, most logic programming-based languages use backward reasoning based on Selective Linear Definite resolution for inference. While these methods are typically computationally efficient, they often can neither handle infinite and/or continuous distributions nor evidence. To overcome these limitations, we introduce distributional clauses, a variation and extension of Sato's distribution semantics. We also contribute a novel approximate inference method that

APA, Harvard, Vancouver, ISO, and other styles

23

Setemen, Komang. "Assessment and Intelligence of The Mathematical-Logical in Learning Computer Programming." JPI (Jurnal Pendidikan Indonesia) 8, no. 2 (2019): 178. http://dx.doi.org/10.23887/jpi-undiksha.v8i2.17578.

Full text

Abstract:

The research objective was to determine the influence of assessment types and mathematical-logical intelligence on computer programming learning outcomes after controlling numerical aptitude. Data were analyzed by analysis of covariance (ANCOVA) two lanes with one covariate. Results showed that 1) the results of learning computer programming students who attended the learning process with the assessment portfolio was higher than students who attended the learning process with the assessment project, 2) on a group of students who had high the intelligence mathematical-logical, the result of lea

APA, Harvard, Vancouver, ISO, and other styles

24

Vetschera, Rudolf. "Comment on “Logical representation of integer programming models”." Decision Support Systems 22, no. 4 (1998): 391–92. http://dx.doi.org/10.1016/s0167-9236(97)00057-2.

Full text

APA, Harvard, Vancouver, ISO, and other styles

25

Miller, Dale. "A logical analysis of modules in logic programming." Journal of Logic Programming 6, no. 1-2 (1989): 79–108. http://dx.doi.org/10.1016/0743-1066(89)90031-9.

Full text

APA, Harvard, Vancouver, ISO, and other styles

26

Neo, Choon Hui, Jee Khai Wong, Voon Chiet Chai, Yaw Long Chua, and Yeh Huann Hoh. "Computational Thinking in Solving Engineering Problems – A Conceptual Model." Asian Journal of Assessment in Teaching and Learning 11, no. 2 (2021): 24–31. http://dx.doi.org/10.37134/ajatel.vol11.2.3.2021.

Full text

Abstract:

Programming is an excellent approach to cultivating computational thinking (CT) skills lacking among current engineering undergraduate students. Although highly useful in teaching programming skills, physical, tangible programming tools available in the market are limited to users aged 12 and below, a gap that impedes the effort to cultivate problem-solving skills and computational thinking among engineering students. As a result, many students who join engineering programmes are without solid computer programming skills. This paper proposes a method to tackle the said gap by applying physical

APA, Harvard, Vancouver, ISO, and other styles

27

Maran, Vinícius, Pedro Henrique Unterberger da Costa, Luan Willig Silveira, and Diones De Vargas Dutra. "PacMaze: um jogo de lógica utilizando conceitos de labirintos para um arcade de jogos educativos." Ciência e Natura 42 (February 7, 2020): 41. http://dx.doi.org/10.5902/2179460x40645.

Full text

Abstract:

Computer programming is increasingly present in our daily lives, as a consequence of the number of people interested in this area is increasing proportionally. The intrinsic factor of programming is logical reasoning, where its scarcity results in poor performance for example in mathematics, physics and programming itself. The application of this game is to make the player develop a quick and logical thinking contributing in diverse areas of knowledge through the Ludum pro Bono game platform, a game platform focused on different methods of teaching through games.

APA, Harvard, Vancouver, ISO, and other styles

28

Niu, Yue, Jonathan Sterling, Harrison Grodin, and Robert Harper. "A cost-aware logical framework." Proceedings of the ACM on Programming Languages 6, POPL (2022): 1–31. http://dx.doi.org/10.1145/3498670.

Full text

Abstract:

We present calf , a c ost- a ware l ogical f ramework for studying quantitative aspects of functional programs. Taking inspiration from recent work that reconstructs traditional aspects of programming languages in terms of a modal account of phase distinctions , we argue that the cost structure of programs motivates a phase distinction between intension and extension . Armed with this technology, we contribute a synthetic account of cost structure as a computational effect in which cost-aware programs enjoy an internal noninterference property: input/output behavior cannot depend on cost. As a

APA, Harvard, Vancouver, ISO, and other styles

29

Sen, Prithviraj, Breno W. S. R. de Carvalho, Ryan Riegel, and Alexander Gray. "Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks." Proceedings of the AAAI Conference on Artificial Intelligence 36, no. 8 (2022): 8212–19. http://dx.doi.org/10.1609/aaai.v36i8.20795.

Full text

Abstract:

Recent work on neuro-symbolic inductive logic programming has led to promising approaches that can learn explanatory rules from noisy, real-world data. While some proposals approximate logical operators with differentiable operators from fuzzy or real-valued logic that are parameter-free thus diminishing their capacity to fit the data, other approaches are only loosely based on logic making it difficult to interpret the learned ``rules". In this paper, we propose learning rules with the recently proposed logical neural networks (LNN). Compared to others, LNNs offer a strong connection to class

APA, Harvard, Vancouver, ISO, and other styles

30

Weidong Chen. "Programming with logical queries, bulk updates, and hypothetical reasoning." IEEE Transactions on Knowledge and Data Engineering 9, no. 4 (1997): 587–99. http://dx.doi.org/10.1109/69.617052.

Full text

APA, Harvard, Vancouver, ISO, and other styles

31

del Vado Vírseda, Rafael. "A Logical Framework for Debugging in Declarative Constraint Programming." Electronic Notes in Theoretical Computer Science 256 (December 2009): 119–35. http://dx.doi.org/10.1016/j.entcs.2009.11.009.

Full text

APA, Harvard, Vancouver, ISO, and other styles

32

Cabalar, Pedro, David Pearce, and Agustín Valverde. "Answer Set Programming from a Logical Point of View." KI - Künstliche Intelligenz 32, no. 2-3 (2018): 109–18. http://dx.doi.org/10.1007/s13218-018-0547-7.

Full text

APA, Harvard, Vancouver, ISO, and other styles

33

Carbonneau, Réal A., Gilles Caporossi, and Pierre Hansen. "Globally optimal clusterwise regression by mixed logical-quadratic programming." European Journal of Operational Research 212, no. 1 (2011): 213–22. http://dx.doi.org/10.1016/j.ejor.2011.01.016.

Full text

APA, Harvard, Vancouver, ISO, and other styles

34

Toxirov, Feruz Jamoliddinovich, and Ruxsora Kamtar qizi O'ktamova. "HOW TO CREATE AND USE ELECTRONIC EDUCATIONAL RESOURCES FOR THE DEVELOPMENT OF STUDENTS 'PROGRAMMING ALGORITHMIC THINKING." Results of National Scientific Research 2, no. 7 (2023): 5–13. https://doi.org/10.5281/zenodo.8115458.

Full text

Abstract:

This article provides suggestions and recommendations for creating and using an e-learning resource to develop students' algorithmic and logical thinking in programming in the C ++ Builder programming environment.

APA, Harvard, Vancouver, ISO, and other styles

35

Ortiz-Haro, Joaquim, Erez Karpas, Marc Toussaint, and Michael Katz. "Conflict-Directed Diverse Planning for Logic-Geometric Programming." Proceedings of the International Conference on Automated Planning and Scheduling 32 (June 13, 2022): 279–87. http://dx.doi.org/10.1609/icaps.v32i1.19811.

Full text

Abstract:

Robots operating in the real world must combine task planning for reasoning about what to do with motion planning for reasoning about how to do it -- this is known as task and motion planning. One promising approach for task and motion planning is Logic Geometric Programming (LGP) which integrates a logical layer and a geometric layer in an optimization formulation. The logical layer describes feasible high-level actions at an abstract symbolic level, while the geometric layer uses continuous optimization methods to reason about motion trajectories with geometric constraints. In this paper we

APA, Harvard, Vancouver, ISO, and other styles

36

HUET, GÉRARD. "Special issue on ‘Logical frameworks and metalanguages’." Journal of Functional Programming 13, no. 2 (2003): 257–60. http://dx.doi.org/10.1017/s0956796802004549.

Full text

Abstract:

There is both a great unity and a great diversity in presentations of logic. The diversity is staggering indeed – propositional logic, first-order logic, higher-order logic belong to one classification; linear logic, intuitionistic logic, classical logic, modal and temporal logics belong to another one. Logical deduction may be presented as a Hilbert style of combinators, as a natural deduction system, as sequent calculus, as proof nets of one variety or other, etc. Logic, originally a field of philosophy, turned into algebra with Boole, and more generally into meta-mathematics with Frege and

APA, Harvard, Vancouver, ISO, and other styles

37

Nishant Gadde, Avaneesh Mohapatra, Karan Mody, Siddhardh Manukonda, Navnit Vijay, and Rayan Idris. "Enhancing computational thinking in children through logical puzzles: A machine learning approach for early coding education." World Journal of Advanced Research and Reviews 24, no. 1 (2024): 877–82. http://dx.doi.org/10.30574/wjarr.2024.24.1.3024.

Full text

Abstract:

This recent growth in early education in coding evidences the rising need for the computing-thinking-skills development in children. Though most of the programming curricula are based upon syntax and other basic concepts of coding, computational thinking encompasses broader cognitive skills, such as problem-solving, abstraction, and logical reasoning. This research therefore intends to fill a gap in research and will investigate the ways pre-coding games employ logical puzzles as an enhancement in developing computational thinking skills in children aged 7-10 years and how these affect the acq

APA, Harvard, Vancouver, ISO, and other styles

38

Nishant, Gadde, Mohapatra Avaneesh, Mody Karan, Manukonda Siddhardh, Vijay Navnit, and Idris Rayan. "Enhancing computational thinking in children through logical puzzles: A machine learning approach for early coding education." World Journal of Advanced Research and Reviews 24, no. 1 (2024): 877–82. https://doi.org/10.5281/zenodo.15016079.

Full text

Abstract:

This recent growth in early education in coding evidences the rising need for the computing-thinking-skills development in children. Though most of the programming curricula are based upon syntax and other basic concepts of coding, computational thinking encompasses broader cognitive skills, such as problem-solving, abstraction, and logical reasoning. This research therefore intends to fill a gap in research and will investigate the ways pre-coding games employ logical puzzles as an enhancement in developing computational thinking skills in children aged 7-10 years and how these affect the acq

APA, Harvard, Vancouver, ISO, and other styles

39

Espák, Miklós. "Japlo: Rule-based Programming on Java." JUCS - Journal of Universal Computer Science 12, no. (9) (2006): 1177–89. https://doi.org/10.3217/jucs-012-09-1177.

Full text

Abstract:

Imperative programming languages (such as Java) are the most widespread programming languages recently. Besides being quite easy to get familiar with them, they are also perfectly suitable for business software development. Although the productivity of imperative languages is much acclaimed, some problems are much easier to solve in a logical language. The paper introduces a Java language extension called Japlo, which fits the Prolog language constructs into Java harmonically. Blurring the borders between the representatives of these two paradigms, the author aims at making the logical program

APA, Harvard, Vancouver, ISO, and other styles

40

Goncharov, Sergey, and Andrey Nechesov. "Solution of the Problem P = L." Mathematics 10, no. 1 (2021): 113. http://dx.doi.org/10.3390/math10010113.

Full text

Abstract:

The problems associated with the construction of polynomial complexity computer programs require new techniques and approaches from mathematicians. One of such approaches is representing some class of polynomial algorithms as a certain class of special logical programs. Goncharov and Sviridenko described a logical programming language L0, where programs inductively are obtained from the set of Δ0-formulas using special terms. In their work, a new idea has been proposed to look at the term as a program. The computational complexity of such programs is polynomial. In the same years, a number of

APA, Harvard, Vancouver, ISO, and other styles

41

Cropper, Andrew, and Sebastijan Dumančić. "Inductive Logic Programming At 30: A New Introduction." Journal of Artificial Intelligence Research 74 (June 15, 2022): 765–850. http://dx.doi.org/10.1613/jair.1.13507.

Full text

Abstract:

Inductive logic programming (ILP) is a form of machine learning. The goal of ILP is to induce a hypothesis (a set of logical rules) that generalises training examples. As ILP turns 30, we provide a new introduction to the field. We introduce the necessary logical notation and the main learning settings; describe the building blocks of an ILP system; compare several systems on several dimensions; describe four systems (Aleph, TILDE, ASPAL, and Metagol); highlight key application areas; and, finally, summarise current limitations and directions for future research.

APA, Harvard, Vancouver, ISO, and other styles

42

Lopes Gomes, Ronaldo, Ricardo Chamy do Nascimento, Caio Victor Da Silva Viga, et al. "Introduction of Basic Computer Programming Logic in Elementary and High Schools Using Logic Block." International Journal for Innovation Education and Research 7, no. 11 (2019): 732–42. http://dx.doi.org/10.31686/ijier.vol7.iss11.1928.

Full text

Abstract:

This document analyzes factors that make it difficult for computational programming logic to consolidate itself as a subject to be taught in schools and how to introduce it into the academic environment through a hypothetical curriculum based on studies and also including the logical block programming language, Scratch. Studies are conducted to create the basis of an experimental school grade. Said grade describes in detail the age groups it will reach and what knowledge will be taught to them. With a better understanding of programming and programming logic in mind, not only individuals who c

APA, Harvard, Vancouver, ISO, and other styles

43

El-Zawawy, Mohamed A. "Testing Automation of Context-Oriented Programs Using Separation Logic." Applied Computational Intelligence and Soft Computing 2014 (2014): 1–8. http://dx.doi.org/10.1155/2014/930186.

Full text

Abstract:

A new approach for programming that enables switching among contexts of commands during program execution is context-oriented programming (COP). This technique is more structured and modular than object-oriented and aspect-oriented programming and hence more flexible. For context-oriented programming, as implemented in COP languages such as ContextJ*and ContextL, this paper introduces accurate operational semantics. The language model of this paper uses Java concepts and is equipped with layer techniques for activation/deactivation of layer contexts. This paper also presents a logical system f

APA, Harvard, Vancouver, ISO, and other styles

44

Mansor, Mohd Asyraf, Siti Zulaikha Mohd Jamaludin, Mohd Shareduwan Mohd Kasihmuddin, Shehab Abdulhabib Alzaeemi, Md Faisal Md Basir, and Saratha Sathasivam. "Systematic Boolean Satisfiability Programming in Radial Basis Function Neural Network." Processes 8, no. 2 (2020): 214. http://dx.doi.org/10.3390/pr8020214.

Full text

Abstract:

Radial Basis Function Neural Network (RBFNN) is a class of Artificial Neural Network (ANN) that contains hidden layer processing units (neurons) with nonlinear, radially symmetric activation functions. Consequently, RBFNN has extensively suffered from significant computational error and difficulties in approximating the optimal hidden neuron, especially when dealing with Boolean Satisfiability logical rule. In this paper, we present a comprehensive investigation of the potential effect of systematic Satisfiability programming as a logical rule, namely 2 Satisfiability (2SAT) to optimize the ou

APA, Harvard, Vancouver, ISO, and other styles

45

LAGER, TORBJÖRN, and JAN WIELEMAKER. "Pengines: Web Logic Programming Made Easy." Theory and Practice of Logic Programming 14, no. 4-5 (2014): 539–52. http://dx.doi.org/10.1017/s1471068414000192.

Full text

Abstract:

AbstractWhen developing a (web) interface for a deductive database, functionality required by the client is provided by means of HTTP handlers that wrap the logical data access predicates. These handlers are responsible for converting between client and server data representations and typically include options for paginating results. Designing the web accessible API is difficult because it is hard to predict the exact requirements of clients. Pengines changes this picture. The client provides a Prolog program that selects the required data by accessing the logical API of the server. The pengin

APA, Harvard, Vancouver, ISO, and other styles

46

Putra, Chandra Anugrah. "Pengaruh Strategi Pembelajaran Berbasis Proyek Perancangan dan Kecerdasan Logik-Matematik Terhadap Kompetensi Merancang Web." JTP - Jurnal Teknologi Pendidikan 18, no. 2 (2016): 90. http://dx.doi.org/10.21009/jtp1802.3.

Full text

Abstract:

This study aims to determine the effect of learning strategies based design project for the competence of designing web, to determine the effect of intelligence logicalmathematical against the competence of designing web. The results showed that: (1) there are significant strategic project-based learning approach to the design of web designing competence; (2) there is the influence of logical-mathematical intelligence to web designingcompetence; (3) students who have the intelligence logical-mathematical high and use learning strategies based design projects programming language is higher than

APA, Harvard, Vancouver, ISO, and other styles

47

SWAMY, NIKHIL, JUAN CHEN, CÉDRIC FOURNET, PIERRE-YVES STRUB, KARTHIKEYAN BHARGAVAN, and JEAN YANG. "Secure distributed programming with value-dependent types." Journal of Functional Programming 23, no. 4 (2013): 402–51. http://dx.doi.org/10.1017/s0956796813000142.

Full text

Abstract:

AbstractDistributed applications are difficult to program reliably and securely. Dependently typed functional languages promise to prevent broad classes of errors and vulnerabilities, and to enable program verification to proceed side-by-side with development. However, as recursion, effects, and rich libraries are added, using types to reason about programs, specifications, and proofs becomes challenging. We present F*, a full-fledged design and implementation of a new dependently typed language for secure distributed programming. Our language provides arbitrary recursion while maintaining a l

APA, Harvard, Vancouver, ISO, and other styles

48

Martins, Fernanda Adorno, and Danielli Araujo Lima. "Gamified learning tools and technology in education: a systematic exploration study of programming tools during the pandemic." RENOTE 22, no. 1 (2024): 394–403. http://dx.doi.org/10.22456/1679-1916.141565.

Full text

Abstract:

Programming is vital for nurturing logical thinking, problem-solving, and effective decision-making in an increasingly digital world. Gamification plays a crucial role in education by integrating game elements to enhance engagement and motivation, particularly during times like the pandemic. In this context, teaching programming with a gamified approach not only makes learning enjoyable and engaging but also fosters problem-solving and logical thinking skills. This study aims to conduct a systematic literature review, focusing on the significant challenges and opportunities in teaching program

APA, Harvard, Vancouver, ISO, and other styles

49

Radaković, Davorka, and William Steingartner. "Common Errors in High School Novice Programming." IPSI Transactions on Internet Research 20, no. 1 (2024): 47–59. http://dx.doi.org/10.58245/ipsi.tir.2401.05.

Full text

Abstract:

Identifying and classifying the commonness of errors made by novices learning to write computer programs has long been of interest to both: researchers and educators. When teachers understand the nature of these errors and how students correct them, instruction can be more effective. Some errors occur more frequently than others. In this paper, we examine the most common programming errors made by beginning first-year high school gifted mathematics students in Mathematical High School. Notwithstanding the extensive coverage of these error types in lectures and learning materials, we found that

APA, Harvard, Vancouver, ISO, and other styles

50

Li, Ziyang, Jiani Huang, and Mayur Naik. "Scallop: A Language for Neurosymbolic Programming." Proceedings of the ACM on Programming Languages 7, PLDI (2023): 1463–87. http://dx.doi.org/10.1145/3591280.

Full text

Abstract:

We present Scallop, a language which combines the benefits of deep learning and logical reasoning. Scallop enables users to write a wide range of neurosymbolic applications and train them in a data- and compute-efficient manner. It achieves these goals through three key features: 1) a flexible symbolic representation that is based on the relational data model; 2) a declarative logic programming language that is based on Datalog and supports recursion, aggregation, and negation; and 3) a framework for automatic and efficient differentiable reasoning that is based on the theory of provenance sem

APA, Harvard, Vancouver, ISO, and other styles

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!