Fernando Zacarias

Publication Activity (10 Years)

Years Active: 2000-2004
Publications (10 Years): 0

Publications

Mauricio Osorio, Fernando Zacarias
On Updates of Logic Programs: A Properties-Based Approach. FoIKS (2004)
Mauricio Osorio, Fernando Zacarias
New properties on the update operator\oplus. Answer Set Programming (2003)
Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarias, Erika Saucedo
Knowledge Representation Using High-Level Non-monotonic Reasoning. MICAI (2000)
Mauricio Osorio, Fernando Zacarias
High-Level Logic Programming. FoIKS (2000)