Results 41 to 50 of about 27,800 (166)
Logic Macroprogramming for Wireless Sensor Networks
International Journal of Distributed Sensor Networks, 2012 It is notoriously difficult and tedious to program wireless sensor networks (WSNs). To simplify WSN programming, we propose Sense2P, a logic macroprogramming system for abstracting, programming, and using WSNs as globally deductive databases.
Supasate Choochaisri +2 more
doaj +1 more source
Logic programming extensions of Horn clause logic
Le Matematiche, 1988 Logic programming is now firmly established as an alternative programming paradigm, distinct and arguably superior to the still dominant imperative style of, for instance, the Algol family of languages.
Ron Sigal
doaj
Logical foundations and implementation of an extension of temporal logic
Journal of Computer Science and Technology, 2000 The need of counting with the appropiate management of situations involving time an the motion of change, has been reconized as an important aspect in many Computer Science areas.
María Laura Cobo, Juan Carlos Augusto
doaj
DEDUCŢIA LOGICĂ – MECANISM DE CALCUL AL LIMBAJULUI DE PROGRAMARE LOGICĂ
Studia Universitatis Moldaviae: Stiinte Umanistice, 2008 The present article focuses on analysis and synthesis of elements which are the base of abstract interpreter of programs written in logic. Logic programming and Prolog language significance in studying computer science is appreciating.
USM ADMIN
doaj
Abduction in Logic Programming
, 2002 Abduction in Logic Programming started in the late 80s, early 90s, in an attempt to extend logic programming into a framework suitable for a variety of problems in Artificial Intelligence and other areas of Computer Science. This paper aims to chart out the main developments of the field over the last ten years and to take a critical view of these ...
Denecker, M., Kakas, A.
openaire +3 more sources
Parallel defeasible argumentation
Journal of Computer Science and Technology, 2000 Implicitly exploitable parallelism for Logic Programming has received ample attention. Defeasible Argutmentation is specially apt for this optimizing technique.
Alejandro Javier García +1 more
doaj
Frontiers in Computer ScienceGenerative artificial intelligence (GenAI) is used in programming education; however, its adoption can introduce pedagogical misalignment, shallow cognitive engagement, and ethical risks that threaten the sustenance of programming skills of students ...
Jemimah Nathaniel +4 more
doaj +1 more source
Verification of logic programs
The Journal of Logic Programming, 1999 Summary: We present a proof method in the style of Hoare's logic, aimed at providing a unifying framework for the verification of total correctness of logic and Prolog programs. The method, which relies on purely declarative reasoning, has been designed as a trade-off between expressiveness and ease of use.
PEDRESCHI, DINO, RUGGIERI, SALVATORE
openaire +1 more source
Journal of Logic and Computation, 1992 The paper is a survey and critical overview of recent work on the extension of logic programming to perform abductive reasoning (abductive logic programming). We outline the general framework of abduction and its applications to knowledge assimilation and default reasoning; and we introduce an argumentation-theoretic approach to the use of abduction as
Kakas, Antonis C. +5 more
openaire +4 more sources
Computers and Education: Artificial IntelligenceThis study investigates how integrating generative AI (GenAI) with instructional scaffolding and prompt engineering supports higher-order thinking skills (HOTS) and programming logic.
Jemimah Nathaniel +3 more
doaj +1 more source