| |
| 2004 | ||
|---|---|---|
| 4 | EE | Mauricio Osorio, Fernando Zacarias: On Updates of Logic Programs: A Properties-Based Approach. FoIKS 2004: 231-241 |
| 2003 | ||
| 3 | EE | Mauricio Osorio, Fernando Zacarias: New properties on the update operator\oplus. Answer Set Programming 2003 |
| 2000 | ||
| 2 | EE | Mauricio Osorio, Fernando Zacarias: High-Level Logic Programming. FoIKS 2000: 226-240 |
| 1 | Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarias, Erika Saucedo: Knowledge Representation Using High-Level Non-monotonic Reasoning. MICAI 2000: 13-24 | |
| 1 | Juan Carlos Nieves | [1] |
| 2 | Mauricio Osorio (Mauricio Javier Osorio Galindo) | [1] [2] [3] [4] |
| 3 | Erika Saucedo | [1] |