Vernon Asuncion

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2012

3 Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou: Ordered completion for first-order logic programs on finite structures. Artif. Intell. 177-179: 1-24 (2012)

2010

2 Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou: Ordered Completion for First-Order Logic Programs on Finite Structures. AAAI 2010

2009

1 Vernon Asuncion, Yan Zhang: Translating Preferred Answer Set Programs to Propositional Logic. LPNMR 2009: 396-401

	2012
3		Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou: Ordered completion for first-order logic programs on finite structures. Artif. Intell. 177-179: 1-24 (2012)
	2010
2		Vernon Asuncion, Fangzhen Lin, Yan Zhang, Yi Zhou: Ordered Completion for First-Order Logic Programs on Finite Structures. AAAI 2010
	2009
1		Vernon Asuncion, Yan Zhang: Translating Preferred Answer Set Programs to Propositional Logic. LPNMR 2009: 396-401

Coauthor Index

1 Fangzhen Lin [2] [3]

2 Yan Zhang [1] [2] [3]

3 Yi Zhou [2] [3]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page