E-LIB Suche - Ergebnisse für: Salazar, Elmer

1

Prolog: Past, Present, and Future:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Gupta, Gopal ; Salazar, Elmer ; Shakerin, Farhad... - p. 48-61 , 2023

2

Proof-Theoretic Foundations of Normal Logic Programs:

, In: Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems; Lecture Notes in Computer Science,

Salazar, Elmer ; Gupta, Gopal - p. 233-252 , 2023

Link: https://doi.org/10.1007/..

3

Logic-Based Explainable and Incremental Machine Learning:

, In: Prolog: The Next 50 Years; Lecture Notes in Computer Science,

Gupta, Gopal ; Wang, Huaduo ; Basu, Kinjal... - p. 346-358 , 2023

Link: https://doi.org/10.1007/..

4

Jury-Trial Story Construction and Analysis Using Goal-Direc..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

Xu, Zesheng ; Arias, Joaquín ; Salazar, Elmer... - p. 261-278 , 2023

Link: https://doi.org/10.1007/..

5

Modeling and Verification of Real-Time Systems with the Eve..:

, In: Practical Aspects of Declarative Languages; Lecture Notes in Computer Science,

Varanasi, Sarat Chandra ; Arias, Joaquín ; Salazar, Elmer... - p. 181-190 , 2022

Link: https://doi.org/10.1007/..

6

Synthesizing Imperative Code from Answer Set Programming Sp..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,

Varanasi, Sarat Chandra ; Salazar, Elmer ; Mittal, Neeraj. - p. 75-89 , 2020

Link: https://doi.org/10.1007/..

7

Constraint Answer Set Programming without Grounding:

ARIAS, JOAQUIN ; CARRO, MANUEL ; SALAZAR, ELMER..
Theory and Practice of Logic Programming. 18 (2018) 3-4 - p. 337-354 , 2018

Link: https://doi.org/10.1017/..

8

Improving adherence to heart failure management guidelines ..:

CHEN, ZHUO ; SALAZAR, ELMER ; MARPLE, KYLE...
Theory and Practice of Logic Programming. 17 (2017) 5-6 - p. 764-779 , 2017

Link: https://doi.org/10.1017/..

9

A new algorithm to automate inductive learning of default t..:

SHAKERIN, FARHAD ; SALAZAR, ELMER ; GUPTA, GOPAL
Theory and Practice of Logic Programming. 17 (2017) 5-6 - p. 1010-1026 , 2017

Link: https://doi.org/10.1017/..

10

A Physician Advisory System for Chronic Heart Failure manag..:

CHEN, ZHUO ; MARPLE, KYLE ; SALAZAR, ELMER..
Theory and Practice of Logic Programming. 16 (2016) 5-6 - p. 604-618 , 2016

Link: https://doi.org/10.1017/..

11

An Internet of Things (IoT)-Based Optimization to Enhance S..:

Al Shahrani, Ali M. ; Rizwan, Ali ; Sánchez-Chero, Manuel...
Mathematical Problems in Engineering. 2022 (2022) - p. 1-11 , 2022

Link: https://doi.org/10.1155/..

12

Niveles de actividad física en personas con discapacidad de..:

Buitrón Jácome, Pablo ; Rivadeneira, Jorge Elías ; Meneses Salazar, Elmer...
LATAM Revista Latinoamericana de Ciencias Sociales y Humanidades. 5 (2024) 2 - p. , 2024

Link: https://doi.org/10.56712..

13

Pertinencia pedagógica del juego en niños de 6 a 36 meses e..:

Vásquez Orbe, Saúl ; Mora Grijalva, Milton Marino ; Álvarez Ramos, Sandra Elizabeth..
LATAM Revista Latinoamericana de Ciencias Sociales y Humanidades. 4 (2023) 1 - p. , 2023

Link: https://doi.org/10.56712..

14

Revisión sistemática sobre oxigenación hiperbárica en la ve..:

Buitrón Jácome, Pablo ; Rivadeneira, Jorge Elías ; Meneses Salazar, Elmer..
LATAM Revista Latinoamericana de Ciencias Sociales y Humanidades. 4 (2023) 2 - p. , 2023

Link: https://doi.org/10.56712..

15

Estrategias de sensibilización que fomentan inclusión en la..:

Buitrón-Jácome, Pablo ; Rivadeneira, Jorge-Elías ; Suasti Velasco, Washington Fabián...
Revista Ecos de la Academia. 9 (2023) 17 - p. 35-54 , 2023

Link: https://doi.org/10.53358..