Elmer Salazar

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Proof-theoretic foundations of normal logic programs Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems	2023-08-17	Paper
Synthesizing Imperative Code from Answer Set Programming Specifications Logic-Based Program Synthesis and Transformation	2022-08-25	Paper
Constraint answer set programming without grounding Theory and Practice of Logic Programming	2018-12-04	Paper
A physician advisory system for chronic heart failure management based on knowledge patterns Theory and Practice of Logic Programming	2017-11-09	Paper
A new algorithm to automate inductive learning of default theories Theory and Practice of Logic Programming	2017-11-08	Paper

Research outcomes over time

This page was built for person: Elmer Salazar