The following pages link to Elmer Salazar (Q4559797):
Displayed 5 items.
- Constraint Answer Set Programming without Grounding (Q4559798) (← links)
- A new algorithm to automate inductive learning of default theories (Q4592724) (← links)
- A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns (Q4593045) (← links)
- Synthesizing Imperative Code from Answer Set Programming Specifications (Q5097626) (← links)
- Proof-theoretic foundations of normal logic programs (Q6175112) (← links)