Son, Tran Cao

31 publications

ICLR 2025 ActionReasoningBench: Reasoning About Actions with and Without Ramification Constraints Divij Handa, Pavel Dolin, Shrinidhi Kumbhar, Tran Cao Son, Chitta Baral

JAIR 2025 On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios Stylianos Loukas Vasileiou, William Yeoh, Alessandro Previti, Tran Cao Son

JAIR 2022 A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems Stylianos Loukas Vasileiou, William Yeoh, Tran Cao Son, Ashwin Kumar, Michael Cashmore, Daniele Magazzeni

JAIR 2020 Epistemic Argumentation Framework: Theory and Computation Chiaki Sakama, Tran Cao Son

AAAI 2019 Multi-Context System for Optimization Problems Tiep Le, Tran Cao Son, Enrico Pontelli

AAAI 2019 On Structured Argumentation with Conditional Preferences Phan Minh Dung, Phan Minh Thang, Tran Cao Son

IJCAI 2017 A Generic Approach to Planning in the Presence of Incomplete Information: Theory and Implementation (Extended Abstract) Son Thanh To, Tran Cao Son, Enrico Pontelli

IJCAI 2017 Generalized Target Assignment and Path Finding Using Answer Set Programming Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh

IJCAI 2017 On Computing World Views of Epistemic Logic Programs Tran Cao Son, Tiep Le, Patrick Thor Kahl, Anthony P. Leclerc

IJCAI 2016 Goal Recognition Design with Stochastic Agent Action Outcomes Christabel Wayllace, Ping Hou, William Yeoh, Tran Cao Son

AAAI 2016 Solving Goal Recognition Design Using ASP Tran Cao Son, Orkunt Sabuncu, Christian Schulz-Hanke, Torsten Schaub, William Yeoh

AAAI 2015 Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond

AAAI 2015 Solving Distributed Constraint Optimization Problems Using Logic Programming Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh

AAAI 2014 Solving Uncertain MDPs by Reusing State Information and Plans Ping Hou, William Yeoh, Tran Cao Son

IJCAI 2011 A Logical Formulation for Negotiation Among Dishonest Agents Chiaki Sakama, Tran Cao Son, Enrico Pontelli

AAAI 2011 Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula Son Thanh To, Tran Cao Son, Enrico Pontelli

AAAI 2011 On Improving Conformant Planners by Analyzing Domain-Structures Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli

AAAI 2011 On the Effectiveness of Belief State Representation in Contingent Planning Son Thanh To, Tran Cao Son, Enrico Pontelli

IJCAI 2011 On the Effectiveness of CNF and DNF Representations in Contingent Planning Son Thanh To, Enrico Pontelli, Tran Cao Son

AAAI 2010 On the Use of Prime Implicates in Conformant Planning Son Thanh To, Tran Cao Son, Enrico Pontelli

IJCAI 2009 Negotiation Using Logic Programming with Consistency Restoring Rules Tran Cao Son, Chiaki Sakama

AAAI 2008 Credulous Resolution for Answer Set Programming Piero A. Bonatti, Enrico Pontelli, Tran Cao Son

AAAI 2008 Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions Chitta Baral, Juraj Dzifcak, Tran Cao Son

IJCAI 2007 An Extension to Conformant Planning Using Logic Programming A. Ricardo Morales, Phan Huy Tu, Tran Cao Son

JAIR 2007 Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms Tran Cao Son, Enrico Pontelli, Phan Huy Tu

AAAI 2006 Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms Tran Cao Son, Enrico Pontelli, Phan Huy Tu

AAAI 2005 Conformant Planning for Domains with Constraints-a New Approach Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales

AAAI 2004 Adding Time and Intervals to Procedural and Hierarchical Control Specifications Tran Cao Son, Chitta Baral, Le-Chi Tuan

AAAI 2004 Regression with Respect to Sensing Actions and Partial States Le-Chi Tuan, Chitta Baral, Xin Zhang, Tran Cao Son

AAAI 1999 Reasoning About Sensing Actions and Reactivity Tran Cao Son

AAAI 1996 A Reactive Mobile Robot Based on a Formal Theory of Action Chitta Baral, Luis Floriano, Alfredo Gabaldon, David Morales, Tran Cao Son, Richard G. Watson