Results 201 to 210 of about 79,804 (260)

Św. Hieronim, Prolog do Księgi Jozuego

Łukasz Krzyszczuk, Adam Poznański
openalex   +2 more sources

A Secure and Lightweight ECC-Based Authentication Protocol for Wireless Medical Sensors Networks. [PDF]

Sensors (Basel)
Shang Y, Chen J, Wang S, Zhang Y, Ma K.
europepmc   +1 more source

Accelerometry-derived features of physical activity, sleep and circadian rhythm relate to non-motor symptoms in individuals with isolated REM sleep behavior disorder. [PDF]

J Neurol
Ophey A, Vinod V, Röttgen S, Scharfenberg D, Fink GR, Sommerauer M, Kalbe E, Maetzler W, Hansen C.   +8 more
europepmc   +1 more source

Exploring the lived experiences of individuals with Parkinson's disease and their relatives: insights into care provision experiences, disease management support, self-management strategies, and future needs in Germany (qualitative study). [PDF]

BMC Neurol
Krieger T, Jozwiak L, Ebersbach G, Suess T, Falkenburger B, Feige T, Eggers C, Warnecke T, Scholl W, Schmidt-Heisch C, Folkerts AK, Kalbe E, Seven ÜS.   +12 more
europepmc   +1 more source

Prolog y Lógica Fuzzy: uso en situaciones de incertidumbre dentro del campo del aprendizaje

, 1991
Francisco Javier Herrero Díez, José Ramón Alameda Bailén   +1 more
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Modelling Prolog Control

Journal of Logic and Computation, 1992
Summary: The goal of the paper is to construct a semantic basis for the abstract interpretation of Prolog programs. Prolog is a well-known logic programming language which applies a depth-first search strategy in order to provide a practical approximation of Horn clause logic.
BARBUTI, ROBERTO, Codish M, GIACOBAZZI, ROBERTO, LEVI, GIORGIO   +3 more
openaire   +6 more sources

Arithmetic Reasoning with LLM: Prolog Generation & Permutation

North American Chapter of the Association for Computational Linguistics
Instructing large language models (LLMs) to solve elementary school math problems has shown great success using Chain of Thought (CoT). However, the CoT approach relies on an LLM to generate a sequence of arithmetic calculations which can be prone to ...
Xiaocheng Yang, Bingsen Chen, Yik-Cheung Tam   +2 more
semanticscholar   +1 more source

Types, Modes and so Much More - The Prolog Way

Prolog: The Next 50 Years, 2023
M. Hermenegildo, J. Morales, P. López-García, M. Carro   +3 more
semanticscholar   +1 more source

Programming in Prolog

Springer Berlin Heidelberg, 1987
W. Clocksin, C. Mellish
semanticscholar   +1 more source