Salazar, Elmer
- Constraint Answer Set Programming without Grounding
2018/04/30 by Arias, Joaquín, Carro, Manuel, Salazar, Elmer +2 · 5 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL)
- Graph-based Interpretation of Normal Logic Programs
2021/11/25 by Li, Fang, Salazar, Elmer, Gupta, Gopal · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- A New Algorithm to Automate Inductive Learning of Default Theories
2017/07/10 by Shakerin, Farhad, Salazar, Elmer, Gupta, Gopal · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)