dblp.uni-trier.dewww.uni-trier.de

Fernando Zacarias Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)