Search results for: Phan Huy Tu
Lecture Notes in Computer Science > Declarative Agent Languages and Technologies II > Modelling and Engineering > 92-111
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > System Descriptions > 290-296
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Actions and Causations > 172-184
Lecture Notes in Computer Science > Logic Programming and Nonmonotonic Reasoning > Regular Papers > 261-274
IEEE Transactions on Knowledge and Data Engineering > 2012 > 24 > 1 > 86 - 99
Artificial Intelligence > 2011 > 175 > 1 > 79-119
Studia Logica > 2005 > 79 > 1 > 135-160