Tran Cao Son - RankMe

273 papers A* 46A 11B 46C 12Misc 4Journal 87Unranked 58

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios (Abstract Reprint). AAAI Stylianos Loukas Vasileiou, William Yeoh, Alessandro Previti, Tran Cao Son
2025	A*	`conf`	ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints. ICLR Divij Handa, Pavel Dolin, Shrinidhi Kumbhar, Tran Cao Son, Chitta Baral
2025	B	`conf`	An LLM + ASP Workflow for Joint Entity-Relation Extraction. ICLP Trang Tran, Trung Hoang Le, Huiping Cao, Tran Cao Son
2025	J	`jnl`	On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios. J. Artif. Intell. Res. Stylianos Loukas Vasileiou, William Yeoh, Alessandro Previti, Tran Cao Son
2025	J	`jnl`	SLogic: Subgraph-Informed Logical Rule Learning for Knowledge Graph Completion. CoRR Trung Hoang Le, Tran Cao Son, Huiping Cao
2025	—	`conf`	UnSeenTimeQA: Time-Sensitive Question-Answering Beyond LLMs' Memorization. ACL (1) Md Nayem Uddin, Amir Saeidi, Divij Handa, Agastya Seth, Tran Cao Son, Eduardo Blanco, Steven R. Corman, Chitta Baral
2025	B	`conf`	xDNN(ASP): Explanation Generation System for Deep Neural Networks powered by Answer Set Programming. ICLP Ly Ly T. Trieu, Tran Cao Son
2024	J	`jnl`	A Methodology for Gradual Semantics for Structured Argumentation under Incomplete Information. CoRR Antonio Rago, Stylianos Loukas Vasileiou, Francesca Toni, Tran Cao Son, William Yeoh
2024	B	`conf`	A Simulation for Supply Chains Contract Execution. LPNMR Long Tran-Thanh, Tran Cao Son, Dylan Flynn, Marcello Balduccini
2024	A*	`conf`	Action Language mA* with Higher-Order Action Observability. KR David Buckingham, Matthias Scheutz, Tran Cao Son, Francesco Fabiano
2024	J	`jnl`	ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints. CoRR Divij Handa, Pavel Dolin, Shrinidhi Kumbhar, Chitta Baral, Tran Cao Son
2024	—	`conf`	An Experiment with LLM in Contract Extraction. KoDis+CAKR+SYNERGY@KR Nhan Le, Tran Cao Son
2024	J	`jnl`	Development of a Novel Classification Approach for Cow Behavior Analysis Using Tracking Data and Unsupervised Machine Learning Techniques. Sensors Jiefei Liu, Derek W. Bailey, Huiping Cao, Tran Cao Son, Colin Tobin
2024	C	`conf`	Diagnosing Multi-Agent STRIPS Plans. DX Avraham Natan, Roni Stern, Meir Kalech, William Yeoh, Tran Cao Son
2024	A*	`conf`	Dialectical Reconciliation via Structured Argumentative Dialogues. KR Stylianos Loukas Vasileiou, Ashwin Kumar, William Yeoh, Tran Cao Son, Francesca Toni
2024	A	`conf`	On Dealing with False Beliefs and Maintaining KD45 AAMAS Tran Cao Son, Loc Pham, Enrico Pontelli
2024	J	`jnl`	On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios. CoRR Stylianos Loukas Vasileiou, William Yeoh, Alessandro Previti, Tran Cao Son
2024	J	`jnl`	Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report. CoRR Roland Kaminski, Torsten Schaub, Tran Cao Son, Jirí Svancara, Philipp Wanko
2024	J	`jnl`	The XAI system for answer set programming xASP2. J. Log. Comput. Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
2024	J	`jnl`	UnSeenTimeQA: Time-Sensitive Question-Answering Beyond LLMs' Memorization. CoRR Md Nayem Uddin, Amir Saeidi, Divij Handa, Agastya Seth, Tran Cao Son, Eduardo Blanco, Steven R. Corman, Chitta Baral
2024	B	`conf`	ℋ-Efp: Bridging Efficiency in Multi-agent Epistemic Planning with Heuristics. PRIMA Francesco Fabiano, Theoderic Platt, Tran Cao Son, Enrico Pontelli
2023	J	`jnl`	ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction. CoRR Trung Hoang Le, Huiping Cao, Tran Cao Son
2023	J	`jnl`	ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction. Theory Pract. Log. Program. Trung Hoang Le, Huiping Cao, Tran Cao Son
2023	—	`conf`	Advancements in xASP, an XAI System for Answer Set Programming. CILC Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
2023	J	`jnl`	Answer Set Planning: A Survey. Theory Pract. Log. Program. Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub
2023	J	`jnl`	DR-HAI: Argumentation-based Dialectical Reconciliation in Human-AI Interactions. CoRR Stylianos Loukas Vasileiou, Ashwin Kumar, William Yeoh, Tran Cao Son, Francesca Toni
2023	B	`conf`	Explanations for Answer Set Programming. ICLP Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
2023	C	`conf`	Formalizing and Reasoning About Supply Chain Contracts Between Agents. PADL Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor
2023	B	`conf`	Load Balancing in Distributed Multi-Agent Path Finder (DMAPF). EMAS Poom Pianpak, Jiaoyang Li, Tran Cao Son
2023	—	`conf`	Multi-Agent Planning and Diagnosis with Commonsense Reasoning. DAI Tran Cao Son, William Yeoh, Roni Stern, Meir Kalech
2023	A*	`conf`	Planning in Multi-Agent Domains with Untruthful Announcements. ICAPS Loc Pham, Tran Cao Son, Enrico Pontelli
2023	A*	`ed.`	Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. KR Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner
2023	Misc	`conf`	Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains. SAC Loc Pham, Tran Cao Son, Enrico Pontelli
2023	—	`conf`	Routing and Scheduling in different ways: Abridged Preliminary Report. ICLP Workshops Jan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiri Svancara, Philipp Wanko
2023	J	`jnl`	Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints. Algorithms David Rajaratnam, Torsten Schaub, Philipp Wanko, Kai Chen, Sirui Liu, Tran Cao Son
2023	J	`jnl`	Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. Theory Pract. Log. Program. Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
2022	J	`jnl`	A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems. J. Artif. Intell. Res. Stylianos Loukas Vasileiou, William Yeoh, Tran Cao Son, Ashwin Kumar, Michael Cashmore, Daniele Magazzeni
2022	B	`conf`	A New Semantics for Action Language m PRIMA Loc Pham, Yusuf Izmirlioglu, Tran Cao Son, Enrico Pontelli
2022	—	`conf`	A Review of the Muddy Children Problem. AI*IA Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli
2022	Misc	`conf`	A Robust State Transition Function for Multi-agent Epistemic Systems. EPIA Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli
2022	J	`jnl`	An action language for multi-agent domains. Artif. Intell. Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2022	J	`jnl`	Answer Set Planning: A Survey. CoRR Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub
2022	B	`conf`	Improving Problem Decomposition and Regulation in Distributed Multi-Agent Path Finder (DMAPF). PRIMA Poom Pianpak, Tran Cao Son
2022	B	`conf`	Interlinking Logic Programs and Argumentation Frameworks. LPNMR Chiaki Sakama, Tran Cao Son
2022	—	`conf`	On Model Reconciliation: How to Reconcile When Robot Does not Know Human's Model? ICLP Technical Communications / Doctoral Consortium Ho Tuan Dung, Tran Cao Son
2022	J	`jnl`	Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. CoRR Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
2022	B	`conf`	State Transition in Multi-agent Epistemic Domains Using Answer Set Programming. LPNMR Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli
2022	Misc	`conf`	Update models for lying and misleading announcements. SAC Loc Pham, Tran Cao Son, Enrico Pontelli
2022	B	`conf`	xASP: An Explanation Generation System for Answer Set Programming. LPNMR Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
2021	C	`conf`	A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States. PADL Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli
2021	—	`conf`	DMAPF: A Decentralized and Distributed Solver for Multi-Agent Path Finding Problem with Obstacles. ICLP Technical Communications Poom Pianpak, Tran Cao Son
2021	J	`jnl`	Developing Future Wearable Interfaces for Human-Drone Teams through a Virtual Drone Search Game. Int. J. Hum. Comput. Stud. Marlena R. Fraune, Ahmed S. Khalaf, Mahlet Zemedie, Poom Pianpak, Zahra NaminiMianji, Sultan A. Alharthi, Igor Dolgov, Bill Hamilton, Tran Cao Son, Phoebe O. Toups Dugas
2021	B	`conf`	Explainable Problem in clingo-dl Programs. SOCS Van Nguyen, Tran Cao Son, William Yeoh
2021	J	`jnl`	Generating explanations for answer set programming applications. CoRR Ly Ly T. Trieu, Tran Cao Son, Enrico Pontelli, Marcello Balduccini
2021	B	`conf`	Model Reconciliation in Logic Programs. JELIA Tran Cao Son, Van Nguyen, Stylianos Loukas Vasileiou, William Yeoh
2021	—	`conf`	Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies. PRICAI (1) Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli, Tran Cao Son
2021	J	`jnl`	Planning with Incomplete Information in Quantified Answer Set Programming. CoRR Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son
2021	J	`jnl`	Planning with Incomplete Information in Quantified Answer Set Programming. Theory Pract. Log. Program. Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son
2021	—	`conf`	Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems. WF-IoT Matthew Bundas, Chasity Nadeau, Thanh Hai Nguyen, Jeannine Shantz, Marcello Balduccini, Tran Cao Son
2021	—	`conf`	exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules. ICLP Technical Communications Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
2021	—	`conf`	exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules. ICLP Workshops Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini
2020	A*	`conf`	An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. KR Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son
2020	J	`jnl`	An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario. CoRR Botros N. Hanna, Ly Ly T. Trieu, Tran Cao Son, Nam T. Dinh
2020	J	`jnl`	An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario. Theory Pract. Log. Program. Botros N. Hanna, Ly Ly T. Trieu, Tran Cao Son, Nam T. Dinh
2020	J	`jnl`	Can Transformers Reason About Effects of Actions? CoRR Pratyay Banerjee, Chitta Baral, Man Luo, Arindam Mitra, Kuntal Kumar Pal, Tran Cao Son, Neeraj Varshney
2020	A	`conf`	Conditional Updates of Answer Set Programming and Its Application in Explainable Planning. AAMAS Van Nguyen, Tran Cao Son, Vasileiou Loukas Stylianos, William Yeoh
2020	J	`jnl`	Epistemic Argumentation Framework: Theory and Computation. J. Artif. Intell. Res. Chiaki Sakama, Tran Cao Son
2020	A*	`conf`	Explainable Planning Using Answer Set Programming. KR Van Nguyen, Vasileiou Loukas Stylianos, Tran Cao Son, William Yeoh
2020	C	`conf`	On Repairing Web Services Workflows. PADL Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son
2020	J	`jnl`	On the Relationship Between KR Approaches for Explainable Planning. CoRR Stylianos Loukas Vasileiou, William Yeoh, Tran Cao Son
2020	B	`conf`	Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. PRIMA Thanh Hai Nguyen, Tran Cao Son, Matthew Bundas, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor
2019	B	`conf`	A Scheduler for Smart Homes with Probabilistic User Preferences. PRIMA Van Nguyen, William Yeoh, Tran Cao Son, Vladik Kreinovich, Tiep Le
2019	—	`conf`	A distributed solver for multi-agent path finding problems. DAI Poom Pianpak, Tran Cao Son, Phoebe O. Toups Dugas, William Yeoh
2019	J	`jnl`	A parallel memory-efficient epistemic logic program solver: harder, better, faster. Ann. Math. Artif. Intell. Patrick Thor Kahl, Anthony P. Leclerc, Tran Cao Son
2019	—	`conf`	Deep Q-learning for Predicting Asthma Attack with Considering Personalized Environmental Triggers' Risk Scores. EMBC Quan T. Do, Alexa K. Doig, Tran Cao Son
2019	—	`conf`	Epistemic Argumentation Framework. PRICAI (1) Chiaki Sakama, Tran Cao Son
2019	B	`conf`	Generalized Target Assignment and Path Finding Using Answer Set Programming. SOCS Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh
2019	A*	`conf`	Multi-Context System for Optimization Problems. AAAI Tiep Le, Tran Cao Son, Enrico Pontelli
2019	—	`conf`	Natural Language Generation for Non-Expert Users. ICLP Technical Communications Van Duc Nguyen, Tran Cao Son, Enrico Pontelli
2019	C	`conf`	Natural Language Generation from Ontologies. PADL Van Nguyen, Tran Cao Son, Enrico Pontelli
2019	A*	`conf`	On Structured Argumentation with Conditional Preferences. AAAI Phan Minh Dung, Phan Minh Thang, Tran Cao Son
2019	—	`conf`	Predicting Lung Healthiness Risk Scores to Identify Probability of an Asthma Attack. EUSPN/ICTH Quan T. Do, Alexa K. Doig, Tran Cao Son, Jamil M. Chaudri
2018	B	`conf`	A Multi-agent Simulator Environment Based on the Robot Operating System for Human-Robot Interaction Applications. PRIMA Poom Pianpak, Tran Cao Son, Phoebe O. Toups Dugas
2018	J	`jnl`	Answer Set Planning in Single- and Multi-agent Environments. Künstliche Intell. Tran Cao Son, Marcello Balduccini
2018	C	`conf`	Automatic Web Services Composition for Phylotastic. PADL Thanh Hai Nguyen, Tran Cao Son, Enrico Pontelli
2018	A	`conf`	Bidding Strategy for Periodic Double Auctions Using Monte Carlo Tree Search. AAMAS Moinul Morshed Porag Chowdhury, Christopher Kiekintveld, Tran Cao Son, William Yeoh
2018	A*	`conf`	EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains. ICAPS Tiep Le, Francesco Fabiano, Tran Cao Son, Enrico Pontelli
2018	—	`ed.`	Engineering Multi-Agent Systems - 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers EMAS@AAMAS Amal El Fallah Seghrouchni, Alessandro Ricci, Tran Cao Son
2018	J	`jnl`	Experimenting with robotic intra-logistics domains. CoRR Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son
2018	J	`jnl`	Experimenting with robotic intra-logistics domains. Theory Pract. Log. Program. Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son
2018	—	`conf`	Explanations Generation For Web Service Workflow. ICLP (Technical Communications) Van Duc Nguyen, Tran Cao Son, Enrico Pontelli
2018	J	`jnl`	Multi-Context Systems with Preferences. Fundam. Informaticae Tiep Le, Tran Cao Son, Enrico Pontelli
2018	B	`ed.`	PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29 - November 2, 2018, Proceedings PRIMA Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu, Tran Cao Son
2018	—	`conf`	Personalized Prediction of Asthma Severity and Asthma Attack for a Personalized Treatment Regimen. EMBC Quan T. Do, Alexa K. Doig, Tran Cao Son, Jamil M. Chaudri
2018	J	`jnl`	Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. CoRR Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son
2018	J	`jnl`	Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. Theory Pract. Log. Program. Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son
2018	J	`jnl`	Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV). J. Log. Comput. João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran
2018	A	`conf`	Preference Elicitation with Interdependency and User Bother Cost. AAMAS Tiep Le, Atena M. Tabakhi, Long Tran-Thanh, William Yeoh, Tran Cao Son
2018	—	`ed.`	Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, Melbourne, Australia, August 28 - September 1, 2017 ICLP (Technical Communications) Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei
2017	A*	`conf`	A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract). IJCAI Son Thanh To, Tran Cao Son, Enrico Pontelli
2017	B	`conf`	Answer Set Programming and Its Applications in Planning and Multi-agent Systems. LPNMR Tran Cao Son
2017	—	`conf`	Classification of Asthma Severity and Medication Using TensorFlow and Multilevel Databases. EUSPN/ICTH Quan T. Do, Tran Cao Son, Jamil M. Chaudri
2017	—	`conf`	Generalized Answer Set Planning with Incomplete Information. ASPOCP@LPNMR Javier Romero, Torsten Schaub, Tran Cao Son
2017	A*	`conf`	Generalized Target Assignment and Path Finding Using Answer Set Programming. IJCAI Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh
2017	J	`jnl`	Introduction to the 33rd international conference on logic programming special issue. Theory Pract. Log. Program. Ricardo Rocha, Tran Cao Son
2017	A*	`conf`	On Computing World Views of Epistemic Logic Programs. IJCAI Tran Cao Son, Tiep Le, Patrick Thor Kahl, Anthony P. Leclerc
2017	J	`jnl`	Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence. AI Mag. Monica Anderson, Roman Barták, John S. Brownstein, David L. Buckeridge, Hoda Eldardiry, Christopher W. Geib, Maria L. Gini, Aaron Isaksen, Sarah Keren, Robert Laddaga, Viliam Lisý, Rodney Martin, David R. Martinez, Martin Michalowski, Loizos Michael, Reuth Mirsky, Thanh Hai Nguyen, Michael J. Paul, Enrico Pontelli, Scott Sanner, Arash Shaban-Nejad, Arunesh Sinha, Shirin Sohrabi, Kumar Sricharan, Biplav Srivastava, Mark Stefik, William W. Streilein, Nathan R. Sturtevant, Kartik Talamadupula, Michael Thielscher, Julian Togelius, Tran Cao Son, Long Tran-Thanh, Neal Wagner, Byron C. Wallace, Szymon Wilk, Jichen Zhu
2017	B	`conf`	Revision and Updates in Possibly Action-Occurrence-Incomplete Narratives. PRIMA Chitta Baral, Tran Cao Son
2017	J	`jnl`	Solving Distributed Constraint Optimization Problems Using Logic Programming. CoRR Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh
2017	J	`jnl`	Solving distributed constraint optimization problems using logic programming. Theory Pract. Log. Program. Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh
2016	J	`jnl`	A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster. CoRR Patrick Thor Kahl, Anthony P. Leclerc, Tran Cao Son
2016	—	`ed.`	AI for Smart Grids and Smart Buildings, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. AAAI Workshop: AI for Smart Grids and Smart Buildings Enrico Pontelli, Alex Rogers, Sylvie Thiébaux, Tran Cao Son
2016	—	`conf`	An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. ICLP (Technical Communications) Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
2016	B	`conf`	Argumentation-Based Semantics for Logic Programs with First-Order Formulae. PRIMA Phan Minh Dung, Tran Cao Son, Phan Minh Thang
2016	A	`conf`	ER-DCOPs: A Framework for Distributed Constraint Optimization with Uncertainty in Constraint Utilities. AAMAS Tiep Le, Ferdinando Fioretto, William Yeoh, Tran Cao Son, Enrico Pontelli
2016	A*	`conf`	Goal Recognition Design with Stochastic Agent Action Outcomes. IJCAI Christabel Wayllace, Ping Hou, William Yeoh, Tran Cao Son
2016	B	`ed.`	PRIMA 2016: Princiles and Practice of Multi-Agent Systems - 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings PRIMA Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni
2016	B	`conf`	Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication. PRIMA Chitta Baral, Tran Cao Son, Michael Gelfond, Arindam Mitra
2016	A*	`conf`	Reasoning about Truthfulness of Agents Using Answer Set Programming. KR Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini
2016	J	`jnl`	Reports of the 2016 AAAI Workshop Program. AI Mag. Stefano V. Albrecht, Bruno Bouchard, John S. Brownstein, David L. Buckeridge, Cornelia Caragea, Kevin M. Carter, Adnan Darwiche, Blaz Fortuna, Yannick Francillette, Sébastien Gaboury, C. Lee Giles, Marko Grobelnik, Estevam R. Hruschka Jr., Jeffrey O. Kephart, Parisa Kordjamshidi, Viliam Lisý, Daniele Magazzeni, João Marques-Silva, Pierre Marquis, David R. Martinez, Marek P. Michalowski, Arash Shaban-Nejad, Zeinab Noorian, Enrico Pontelli, Alex Rogers, Stephanie Rosenthal, Dan Roth, Arunesh Sinha, William W. Streilein, Sylvie Thiébaux, Tran Cao Son, Byron C. Wallace, Toby Walsh, Michael Witbrock, Jie Zhang
2016	A*	`conf`	Solving Goal Recognition Design Using ASP. AAAI Tran Cao Son, Orkunt Sabuncu, Christian Schulz-Hanke, Torsten Schaub, William Yeoh
2015	B	`conf`	"Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure Analysis. LPNMR Chitta Baral, Tran Cao Son
2015	—	`conf`	A Non-monotonic Goal Specification Language for Planning with Preferences. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Tran Cao Son, Enrico Pontelli, Chitta Baral
2015	J	`jnl`	A generic approach to planning in the presence of incomplete information: Theory and implementation. Artif. Intell. Son Thanh To, Tran Cao Son, Enrico Pontelli
2015	J	`jnl`	An Action Language for Multi-Agent Domains: Foundations. CoRR Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2015	J	`jnl`	Applications of logical approaches to argumentation. Argument Comput. João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran
2015	A	`conf`	Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming. CP Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh, Tran Cao Son
2015	A*	`conf`	Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence. AAAI Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond
2015	B	`conf`	Exploring the Use of BDDs in Conformant Planning. ICTAI Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son
2015	—	`conf`	Multi-Agent Action Modeling Through Action Sequences And Perspective Fluents. AAAI Spring Symposia Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2015	B	`conf`	Multi-Context Systems with Preferences. PRIMA Tiep Le, Tran Cao Son, Enrico Pontelli
2015	C	`ed.`	Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings PADL Enrico Pontelli, Tran Cao Son
2015	—	`conf`	Reasoning about Truthfulness of Agents Using Answer Set Programming. AAAI Fall Symposia Tran Cao Son, Enrico Pontelli, Marcello Balduccini
2015	A*	`conf`	Solving Distributed Constraint Optimization Problems Using Logic Programming. AAAI Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh
2014	A	`conf`	ASP-DPOP: solving distributed constraint optimization problems with logic programming. AAMAS Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh
2014	B	`conf`	Finitary S5-Theories. JELIA Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond
2014	J	`jnl`	Formalizing Negotiations Using Logic Programming. ACM Trans. Comput. Log. Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen, Chiaki Sakama
2014	A	`conf`	Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems. CP Ferdinando Fioretto, Tiep Le, William Yeoh, Enrico Pontelli, Tran Cao Son
2014	J	`jnl`	Logic and Constraint Logic Programming for Distributed Constraint Optimization. CoRR Tiep Le, Enrico Pontelli, Tran Cao Son, William Yeoh
2014	A*	`conf`	Solving Uncertain MDPs by Reusing State Information and Plans. AAAI Ping Hou, William Yeoh, Tran Cao Son
2014	C	`conf`	Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems. PADL Tran Cao Son, Enrico Pontelli, Tiep Le
2013	J	`jnl`	A conformant planner based on approximation: CpA(H). ACM Trans. Intell. Syst. Technol. Vien Tran, Khoi Nguyen, Tran Cao Son, Enrico Pontelli
2013	—	`ed.`	Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings CLIMA João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran
2013	B	`ed.`	Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings LPNMR Pedro Cabalar, Tran Cao Son
2013	J	`jnl`	Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP. CoRR Vinay K. Chaudhri, Stijn Heymans, Michael A. Wessel, Tran Cao Son
2013	—	`conf`	Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL. CLIMA Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2012	—	`conf`	ASP at Work: An ASP Implementation of PhyloWS. ICLP (Technical Communications) Tiep Le, Hieu Nguyen, Enrico Pontelli, Tran Cao Son
2012	—	`conf`	Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains. Correct Reasoning Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond
2012	—	`conf`	Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning. CLIMA Ben Wright, Enrico Pontelli, Tran Cao Son
2012	J	`jnl`	Incremental Information Extraction Using Relational Databases. IEEE Trans. Knowl. Data Eng. Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral
2012	A*	`conf`	On Computing Conformant Plans Using Classical Planners: A Generate-And-Complete Approach. ICAPS Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli
2012	A*	`conf`	Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming. KR Vinay K. Chaudhri, Tran Cao Son
2011	A*	`conf`	A Logical Formulation for Negotiation among Dishonest Agents. IJCAI Chiaki Sakama, Tran Cao Son, Enrico Pontelli
2011	B	`conf`	ASP-Prolog for Negotiation among Dishonest Agents. LPNMR Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama
2011	—	`conf`	An Experiment in Formalizing Commitments Using Action Languages. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning Tran Cao Son, Enrico Pontelli, Chiaki Sakama
2011	J	`jnl`	Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms CoRR Enrico Pontelli, Tran Cao Son, Phan Huy Tu
2011	J	`jnl`	Approximation of action theories and its application to conformant planning. Artif. Intell. Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ricardo Morales
2011	J	`jnl`	CDAO-Store: Ontology-driven Data Integration for Phylogenetic Analysis. BMC Bioinform. Brandon Chisham, Ben Wright, Trung Le, Tran Cao Son, Enrico Pontelli
2011	—	`conf`	CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services. ICLP (Technical Communications) Brandon Chisham, Enrico Pontelli, Tran Cao Son, Ben Wright
2011	A*	`conf`	Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula. AAAI Son Thanh To, Tran Cao Son, Enrico Pontelli
2011	A*	`conf`	Contingent Planning as AND/OR Forward Search with Disjunctive Representation. ICAPS Son Thanh To, Tran Cao Son, Enrico Pontelli
2011	—	`conf`	Formalizing Commitments Using Action Languages. DALT Tran Cao Son, Enrico Pontelli, Chiaki Sakama
2011	—	`conf`	From "Reading" Math to "Doing" Math: A New Direction in Non-visual Math Accessibility. HCI (8) Nancy Alajarmeh, Enrico Pontelli, Tran Cao Son
2011	—	`ed.`	Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Marcello Balduccini, Tran Cao Son
2011	A*	`conf`	On Improving Conformant Planners by Analyzing Domain-Structures. AAAI Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli
2011	A*	`conf`	On the Effectiveness of Belief State Representation in Contingent Planning. AAAI Son Thanh To, Tran Cao Son, Enrico Pontelli
2011	A*	`conf`	On the Effectiveness of CNF and DNF Representations in Contingent Planning. IJCAI Son Thanh To, Enrico Pontelli, Tran Cao Son
2010	A*	`conf`	A New Approach to Conformant Planning Using CNF*. ICAPS Son Thanh To, Tran Cao Son, Enrico Pontelli
2010	J	`jnl`	An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling. Comput. Lang. Syst. Struct. Enrico Pontelli, Hung Viet Le, Tran Cao Son
2010	—	`ch.`	BSIS: An Experiment in Automating Bioinformatics Tasks Through Intelligent Workflow Construction. Semantic e-Science Yu Pan, Enrico Pontelli, Tran Cao Son
2010	A*	`conf`	GenerIE: Information extraction using database queries. ICDE Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral
2010	J	`jnl`	Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study CoRR Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2010	J	`jnl`	Logic programming for finding models in the logics of knowledge and its applications: A case study. Theory Pract. Log. Program. Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son
2010	J	`jnl`	Logic programs with abstract constraint atoms: The role of computations. Artif. Intell. Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski
2010	J	`jnl`	Multimodal Presentation of Two-Dimensional Charts: An Investigation Using Open Office XML and Microsoft Excel. ACM Trans. Access. Comput. Iyad Abu Doush, Enrico Pontelli, Tran Cao Son, Dominic Simon, Ou Ma
2010	A*	`conf`	On the Use of Prime Implicates in Conformant Planning. AAAI Son Thanh To, Tran Cao Son, Enrico Pontelli
2010	A	`conf`	Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. AAMAS Chitta Baral, Gregory Gelfond, Tran Cao Son, Enrico Pontelli
2009	A*	`conf`	A Conformant Planner with Explicit Disjunctive Representation of Belief States. ICAPS Son Thanh To, Enrico Pontelli, Tran Cao Son
2009	J	`jnl`	Applications of parallel processing technologies in heuristic search planning: methodologies and experiments. Concurr. Comput. Pract. Exp. Phan Huy Tu, Enrico Pontelli, Tran Cao Son, Son Thanh To
2009	—	`ed.`	Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers DALT Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff
2009	C	`conf`	Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. PADL Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son
2009	—	`conf`	Interacting Answer Sets. CLIMA Chiaki Sakama, Tran Cao Son
2009	J	`jnl`	Justifications for logic programs under answer set semantics. Theory Pract. Log. Program. Enrico Pontelli, Tran Cao Son, Omar El-Khatib
2009	B	`conf`	Logic Programming for Multiagent Planning with Negotiation. ICLP Tran Cao Son, Enrico Pontelli, Chiaki Sakama
2009	A	`conf`	Making Microsoft Excel ASSETS Iyad Abu Doush, Enrico Pontelli, Dominic Simon, Tran Cao Son, Ou Ma
2009	B	`conf`	Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . LPNMR Chitta Baral, Tran Cao Son, Enrico Pontelli
2009	A*	`conf`	Negotiation Using Logic Programming with Consistency Restoring Rules. IJCAI Tran Cao Son, Chiaki Sakama
2009	—	`conf`	Planning for Multiagent Using ASP-Prolog. CLIMA Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen
2009	—	`conf`	Reasoning about Multi-agent Domains Using Action Language CLIMA Chitta Baral, Tran Cao Son, Enrico Pontelli
2009	—	`conf`	Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. DALT Tran Cao Son, Chiaki Sakama
2009	J	`jnl`	State-Based Regression with Sensing and Knowledge. Int. J. Softw. Informatics Richard B. Scherl, Tran Cao Son, Chitta Baral
2008	A*	`conf`	Credulous Resolution for Answer Set Programming. AAAI Piero A. Bonatti, Enrico Pontelli, Tran Cao Son
2008	—	`ed.`	Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers DALT Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff
2008	J	`jnl`	Justifications for Logic Programs under Answer Set Semantics CoRR Enrico Pontelli, Tran Cao Son, Omar El-Khatib
2008	—	`conf`	Some Results on the Completeness of Approximation Based Reasoning. AAAI Spring Symposium: Emotion, Personality, and Social Behavior Tran Cao Son, Enrico Pontelli, Son Thanh To
2008	B	`conf`	Some Results on the Completeness of Approximation Based Reasoning. PRICAI Tran Cao Son, Enrico Pontelli
2008	B	`conf`	State-Based Regression with Sensing and Knowledge. PRICAI Richard B. Scherl, Tran Cao Son, Chitta Baral
2008	A*	`conf`	Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. AAAI Chitta Baral, Juraj Dzifcak, Tran Cao Son
2007	J	`jnl`	A Constructive semantic characterization of aggregates in answer set programming. Theory Pract. Log. Program. Tran Cao Son, Enrico Pontelli
2007	A*	`conf`	An Extension to Conformant Planning Using Logic Programming. IJCAI A. Ricardo Morales, Phan Huy Tu, Tran Cao Son
2007	J	`jnl`	Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. J. Artif. Intell. Res. Tran Cao Son, Enrico Pontelli, Phan Huy Tu
2007	B	`conf`	CPP: A Constraint Logic Programming Based Planner with Preferences. LPNMR Phan Huy Tu, Tran Cao Son, Enrico Pontelli
2007	B	`conf`	Logic Programs with Abstract Constraint Atoms: The Role of Computations. ICLP Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski
2007	J	`jnl`	Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. Theory Pract. Log. Program. Phan Huy Tu, Tran Cao Son, Chitta Baral
2006	—	`conf`	A Collaborative Framework to Realize Virtual Enterprises Using 3APL. DALT Gobinath Narayanasamy, Joe Cecil, Tran Cao Son
2006	J	`jnl`	A Constructive Semantic Characterization of Aggregates in ASP CoRR Tran Cao Son, Enrico Pontelli
2006	—	`conf`	A Framework for Composition and Inter-operation of Rules in the Semantic Web. RuleML Enrico Pontelli, Tran Cao Son, Chitta Baral
2006	J	`jnl`	A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information CoRR Le-Chi Tuan, Chitta Baral, Tran Cao Son
2006	J	`jnl`	A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information. Log. Methods Comput. Sci. Le-Chi Tuan, Chitta Baral, Tran Cao Son
2006	—	`conf`	A Tool for Knowledge Base Integration and Querying. AAAI Spring Symposium: Formalizing and Compiling Background Knowledge and Its Applications to Knowledge Representation and Question Answering Omar El-Khatib, Enrico Pontelli, Tran Cao Son
2006	J	`jnl`	An Unfolding-Based Semantics for Logic Programming with Aggregates CoRR Tran Cao Son, Enrico Pontelli, Islam Elkabani
2006	A*	`conf`	Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. AAAI Tran Cao Son, Enrico Pontelli, Phan Huy Tu
2006	J	`jnl`	Domain-dependent knowledge in answer set planning. ACM Trans. Comput. Log. Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith
2006	A*	`conf`	On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. KR Tran Cao Son, Phan Huy Tu
2006	J	`jnl`	Planning with preferences using logic programming. Theory Pract. Log. Program. Tran Cao Son, Enrico Pontelli
2006	J	`jnl`	Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming CoRR Phan Huy Tu, Tran Cao Son, Chitta Baral
2005	B	`conf`	An Approximation of Action Theories of and Its Application to Conformant Planning. LPNMR Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales
2005	A*	`conf`	Conformant Planning for Domains with Constraints-A New Approach. AAAI Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales
2005	B	`conf`	Integrating an Answer Set Solver into Prolog: ASP-PROLOG. LPNMR Omar El-Khatib, Enrico Pontelli, Tran Cao Son
2005	—	`conf`	Justification and debugging of answer set programs in ASP. AADEBUG Omar El-Khatib, Enrico Pontelli, Tran Cao Son
2005	J	`jnl`	Planning with Preferences using Logic Programming CoRR Tran Cao Son, Enrico Pontelli
2005	J	`jnl`	Reasoning about Sensing Actions in Domains with Multi-Valued Fluents. Stud Logica Tran Cao Son, Phan Huy Tu, Xin Zhang
2005	B	`conf`	Smodels LPNMR Islam Elkabani, Enrico Pontelli, Tran Cao Son
2004	J	`jnl`	A system for automatic structure discovery and reasoning-based navigation of the web. Interact. Comput. Enrico Pontelli, Tran Cao Son, Keshav Reddy Kottapally, Co Thai Ngo, Ravikumar Reddy Kotthuru, Douglas J. Gillan
2004	C	`conf`	ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. PADL Omar El-Khatib, Enrico Pontelli, Tran Cao Son
2004	—	`conf`	ASP-PROLOG: a system for reasoning about answer set programs in prolog. NMR Omar El-Khatib, Enrico Pontelli, Tran Cao Son
2004	A*	`conf`	Adding Time and Intervals to Procedural and Hierarchical Control Specifications. AAAI Tran Cao Son, Chitta Baral, Le-Chi Tuan
2004	—	`conf`	Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report. DALT Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son
2004	B	`conf`	Planning with Preferences Using Logic Programming. LPNMR Tran Cao Son, Enrico Pontelli
2004	B	`conf`	Planning with Sensing Actions and Incomplete Information Using Logic Programming. LPNMR Tran Cao Son, Phan Huy Tu, Chitta Baral
2004	J	`jnl`	Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory. Comput. Intell. Tran Cao Son, Enrico Pontelli
2004	A*	`conf`	Regression with Respect to Sensing Actions and Partial States. AAAI Le-Chi Tuan, Chitta Baral, Xin Zhang, Tran Cao Son
2004	J	`jnl`	Regression with respect to sensing actions and partial states CoRR Le-Chi Tuan, Chitta Baral, Tran Cao Son
2004	—	`conf`	Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences. CLIMA Inna Pivkina, Enrico Pontelli, Tran Cao Son
2004	B	`conf`	Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. ICLP Islam Elkabani, Enrico Pontelli, Tran Cao Son
2004	B	`conf`	Smodels with CLP?A Treatment of Aggregates in ASP. LPNMR Enrico Pontelli, Tran Cao Son, Islam Elkabani
2003	B	`conf`	Adding Preferences to Answer Set Planning. ICLP Tran Cao Son, Enrico Pontelli
2003	—	`conf`	An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology. DALT Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta
2003	J	`jnl`	Designing intelligent agents to support universal accessibility of E-commerce services. Electron. Commer. Res. Appl. Enrico Pontelli, Tran Cao Son
2003	Misc	`conf`	Developing Agents for Bioinformatics Applications: A Preliminary Design. PDPTA Enrico Pontelli, Tran Cao Son, Yu Pan, T. Phan
2003	J	`jnl`	Introduction to the special issue on Programming with Answer Sets. Theory Pract. Log. Program. Chitta Baral, Alessandro Provetti, Tran Cao Son
2003	—	`conf`	Towards the creation of accessibility agents for non-visual navigation of the web. CUU Keshav Reddy Kottapally, C. Ngo, R. Reddy, Enrico Pontelli, Tran Cao Son, Douglas J. Gillan
2002	A*	`conf`	A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. KR Chitta Baral, Tran Cao Son, Le-Chi Tuan
2002	A*	`conf`	Adapting Golog for Composition of Semantic Web Services. KR Sheila A. McIlraith, Tran Cao Son
2002	—	`conf`	Designing Intelligent Agents to Support Universal Accessibility. International Conference on Internet Computing Enrico Pontelli, Tran Cao Son
2002	C	`conf`	Disjunctive Logic Programs with Inheritance Revisited. ISMIS Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son
2002	J	`jnl`	Domain-Dependent Knowledge in Answer Set Planning CoRR Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith
2002	A	`conf`	Planning, reasoning, and agents for non-visual navigation of tables and frames. ASSETS Enrico Pontelli, Tran Cao Son
2002	B	`conf`	Reasoning about Actions in Prioritized Default Theory. JELIA Tran Cao Son, Enrico Pontelli
2001	J	`jnl`	AAAI 2001 Spring Symposium Series Reports. AI Mag. Lorraine M. Fesq, Ella M. Atkins, Lina Khatib, Charles Pecheur, Paul R. Cohen, Lynn Andrea Stein, Michael van Lent, John E. Laird, Alessandro Provetti, Tran Cao Son
2001	J	`jnl`	An argument-based approach to reasoning with specificity. Artif. Intell. Phan Minh Dung, Tran Cao Son
2001	—	`ed.`	Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, CA, USA, March 26-28, 2001 Answer Set Programming Alessandro Provetti, Tran Cao Son
2001	—	`conf`	Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. Answer Set Programming Tran Cao Son, Chitta Baral, Sheila A. McIlraith
2001	J	`jnl`	Formalizing sensing actions A transition function based approach. Artif. Intell. Tran Cao Son, Chitta Baral
2001	—	`conf`	Mobilizing the Semantic Web with DAML-enabled Web Services. SemWeb Sheila A. McIlraith, Tran Cao Son, Honglei Zeng
2001	B	`conf`	Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. LPNMR Tran Cao Son, Chitta Baral, Sheila A. McIlraith
2001	—	`conf`	Reasoning about Policies using Logic Programs. Answer Set Programming Tran Cao Son, Jorge Lobo
2001	J	`jnl`	Semantic Web Services. IEEE Intell. Syst. Sheila A. McIlraith, Tran Cao Son, Honglei Zeng
2000	—	`conf`	Default Reasoning with Specificity. Computational Logic Phan Minh Dung, Tran Cao Son
2000	A*	`conf`	Formulating diagnostic problem solving using an action language with narratives and sensing. KR Chitta Baral, Sheila A. McIlraith, Tran Cao Son
2000	C	`conf`	Round-Table Architecture for Communication in Multi-agent Softbot Systems. IDEAL Pham Hong Hanh, Tran Cao Son
1999	—	`conf`	Extending ConGolog to Allow Partial Ordering. ATAL Chitta Baral, Tran Cao Son
1999	—	`conf`	Reasoning about Sensing Actions and Reactivity. AAAI/IAAI Tran Cao Son
1998	J	`jnl`	Conceptual Modeling and Querying in Multimedia Databases. Multim. Tools Appl. Chitta Baral, Graciela Gonzalez, Tran Cao Son
1998	A*	`conf`	Design and Implementation of Display Specification for Multimedia Answers. ICDE Chitta Baral, Graciela Gonzalez, Tran Cao Son
1998	—	`conf`	From Theory to Practice: The UTEP Robot in the AAAI 96 AAAI 97 Robot Contests. Agents Chitta Baral, Luis Floriano, Aaron Hardesty, David Morales, Monica L. Nogueira, Tran Cao Son
1998	J	`jnl`	Interval Methods in Robot Navigation. Reliab. Comput. David Morales, Tran Cao Son
1998	J	`jnl`	Relating Theories of Actions and Reactive Control. Electron. Trans. Artif. Intell. Chitta Baral, Tran Cao Son
1997	—	`conf`	Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. ILPS Chitta Baral, Tran Cao Son
1997	—	`conf`	Reasoning with Prioritized Defaults. LPKR Michael Gelfond, Tran Cao Son
1996	—	`conf`	A Reactive Mobile Robot Based on a Formal Theory of Action. AAAI/IAAI, Vol. 2 Chitta Baral, Luis Floriano, Alfredo Gabaldon, David Morales, Tran Cao Son, Richard G. Watson
1996	A*	`conf`	An Argumentation-theoretic Approach to Reasoning with Specificity. KR Phan Minh Dung, Tran Cao Son
1995	B	`conf`	Nonmonotonic Inheritance, Argumentation and Logic Programming. LPNMR Phan Minh Dung, Tran Cao Son