Elmer Salazar

From MaRDI portal
Person:4559797

Available identifiers

zbMath Open salazar.elmerMaRDI QIDQ4559797

List of research outcomes





PublicationDate of PublicationType
Proof-theoretic foundations of normal logic programs2023-08-17Paper
Synthesizing Imperative Code from Answer Set Programming Specifications2022-08-25Paper
Constraint Answer Set Programming without Grounding2018-12-04Paper
A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns2017-11-09Paper
A new algorithm to automate inductive learning of default theories2017-11-08Paper

Research outcomes over time

This page was built for person: Elmer Salazar

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:4559797&oldid=11296429"
Powered by MediaWiki