Phan Huy Tu

Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms

Enrico Pontelli, Tran Cao Son, Phan Huy Tu · arXiv (Cornell University) · 2011 · 58 citations · Full text

Computing, Computer Science, Formal Methods +8

Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming

Phan Huy Tu, Tran Cao Son, Chitta Baral · Theory and Practice of Logic Programming · 2007 · 49 citations

Computing, Autonomous Systems, Computer Science +17

Approximation of action theories and its application to conformant planning

Phan Huy Tu, Tran Cao Son, Michael Gelfond et al. · Artificial Intelligence · 2010 · 41 citations

Computing, Mathematics, Motion Planning +6

Incremental Information Extraction Using Relational Databases

Luis Tari, Phan Huy Tu, Jörg Hakenberg et al. · IEEE Transactions on Knowledge and Data Engineering · 2010 · 39 citations

Computing, Computer Science, Information Systems +13

Conformant planning for domains with constraints: a new approach

Tran Cao Son, Phan Huy Tu, Michael Gelfond et al. · 2005 · 31 citations

Computing, Autonomous Systems, Formal Methods +8