Fernando Zacarias

	2004
4		Mauricio Osorio, Fernando Zacarias: On Updates of Logic Programs: A Properties-Based Approach. FoIKS 2004: 231-241
	2003
3		Mauricio Osorio, Fernando Zacarias: New properties on the update operator\oplus. Answer Set Programming 2003
	2000
2		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

Coauthor Index

1	Juan Carlos Nieves	[1]
2	Mauricio Osorio (Mauricio Javier Osorio Galindo)	[1] [2] [3] [4]
3	Erika Saucedo	[1]

Last update Sat May 26 02:31:23 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page