Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTran Cao Son
Person information
- affiliation: New Mexico State University, Las Cruces, New Mexico, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Journal Articles
- 2023
[j52]David Rajaratnam
, Torsten Schaub, Philipp Wanko, Kai Chen, Sirui Liu, Tran Cao Son:
Solving an Industrial-Scale Warehouse Delivery Problem with Answer Set Programming Modulo Difference Constraints. Algorithms 16(4): 216 (2023)- [j51]Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub:
Answer Set Planning: A Survey. Theory Pract. Log. Program. 23(1): 226-298 (2023) - [j50]Trung Hoang Le, Huiping Cao, Tran Cao Son:
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction. Theory Pract. Log. Program. 23(4): 765-781 (2023) - [j49]Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor:
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. Theory Pract. Log. Program. 23(5): 1029-1069 (2023) - 2022
- [j48]Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
An action language for multi-agent domains. Artif. Intell. 302: 103601 (2022) - [j47]Stylianos Loukas Vasileiou, William Yeoh, Tran Cao Son, Ashwin Kumar, Michael Cashmore, Daniele Magazzeni:
A Logic-Based Explanation Generation Framework for Classical and Hybrid Planning Problems. J. Artif. Intell. Res. 73: 1473-1534 (2022) - 2021
- [j46]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:
Developing Future Wearable Interfaces for Human-Drone Teams through a Virtual Drone Search Game. Int. J. Hum. Comput. Stud. 147: 102573 (2021) - [j45]Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son:
Planning with Incomplete Information in Quantified Answer Set Programming. Theory Pract. Log. Program. 21(5): 663-679 (2021) - 2020
- [j44]Chiaki Sakama, Tran Cao Son:
Epistemic Argumentation Framework: Theory and Computation. J. Artif. Intell. Res. 69: 1103-1126 (2020) - [j43]Botros N. Hanna, Ly Ly T. Trieu, Tran Cao Son, Nam T. Dinh:
An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario. Theory Pract. Log. Program. 20(6): 926-941 (2020) - 2019
- [j42]Patrick Thor Kahl, Anthony P. Leclerc, Tran Cao Son:
A parallel memory-efficient epistemic logic program solver: harder, better, faster. Ann. Math. Artif. Intell. 86(1-3): 61-85 (2019) - 2018
- [j41]Tiep Le, Tran Cao Son, Enrico Pontelli:
Multi-Context Systems with Preferences. Fundam. Informaticae 158(1-3): 171-216 (2018) - [j40]Tran Cao Son, Marcello Balduccini:
Answer Set Planning in Single- and Multi-agent Environments. Künstliche Intell. 32(2-3): 133-141 (2018) - [j39]João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran:
Preface to the Special Issue on Computational Logic in Multi-Agent Systems (CLIMA XIV). J. Log. Comput. 28(3): 475-476 (2018) - [j38]Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son:
Experimenting with robotic intra-logistics domains. Theory Pract. Log. Program. 18(3-4): 502-519 (2018) - [j37]Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son:
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. Theory Pract. Log. Program. 18(3-4): 656-672 (2018) - 2017
- [j36]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:
Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence. AI Mag. 38(3): 72-82 (2017) - [j35]Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh:
Solving distributed constraint optimization problems using logic programming. Theory Pract. Log. Program. 17(4): 634-683 (2017) - [j34]Ricardo Rocha, Tran Cao Son:
Introduction to the 33rd international conference on logic programming special issue. Theory Pract. Log. Program. 17(5-6): 684-688 (2017) - 2016
- [j33]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:
Reports of the 2016 AAAI Workshop Program. AI Mag. 37(3): 99-108 (2016) - 2015
- [j32]Son Thanh To, Tran Cao Son, Enrico Pontelli:
A generic approach to planning in the presence of incomplete information: Theory and implementation. Artif. Intell. 227: 1-51 (2015) - [j31]João Leite, Tran Cao Son, Paolo Torroni, Stefan Woltran:
Applications of logical approaches to argumentation. Argument Comput. 6(1): 1-2 (2015) - 2014
- [j30]Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen, Chiaki Sakama:
Formalizing Negotiations Using Logic Programming. ACM Trans. Comput. Log. 15(2): 12:1-12:30 (2014) - 2013
- [j29]Vien Tran, Khoi Nguyen, Tran Cao Son, Enrico Pontelli:
A conformant planner based on approximation: CpA(H). ACM Trans. Intell. Syst. Technol. 4(2): 36:1-36:38 (2013) - 2012
- [j28]Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral:
Incremental Information Extraction Using Relational Databases. IEEE Trans. Knowl. Data Eng. 24(1): 86-99 (2012) - 2011
- [j27]Phan Huy Tu, Tran Cao Son, Michael Gelfond, A. Ricardo Morales:
Approximation of action theories and its application to conformant planning. Artif. Intell. 175(1): 79-119 (2011) - [j26]Brandon Chisham, Ben Wright, Trung Le, Tran Cao Son, Enrico Pontelli:
CDAO-Store: Ontology-driven Data Integration for Phylogenetic Analysis. BMC Bioinform. 12: 98 (2011) - 2010
- [j25]Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski:
Logic programs with abstract constraint atoms: The role of computations. Artif. Intell. 174(3-4): 295-315 (2010) - [j24]Enrico Pontelli, Hung Viet Le, Tran Cao Son:
An investigation in parallel execution of answer set programs on distributed memory platforms: Task sharing and dynamic scheduling. Comput. Lang. Syst. Struct. 36(2): 158-202 (2010) - [j23]Iyad Abu Doush, Enrico Pontelli, Tran Cao Son, Dominic Simon, Ou Ma:
Multimodal Presentation of Two-Dimensional Charts: An Investigation Using Open Office XML and Microsoft Excel. ACM Trans. Access. Comput. 3(2): 8:1-8:50 (2010) - [j22]Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
Logic programming for finding models in the logics of knowledge and its applications: A case study. Theory Pract. Log. Program. 10(4-6): 675-690 (2010) - 2009
- [j21]Phan Huy Tu, Enrico Pontelli, Tran Cao Son, Son Thanh To:
Applications of parallel processing technologies in heuristic search planning: methodologies and experiments. Concurr. Comput. Pract. Exp. 21(15): 1928-1960 (2009) - [j20]Richard B. Scherl, Tran Cao Son, Chitta Baral:
State-Based Regression with Sensing and Knowledge. Int. J. Softw. Informatics 3(1): 3-30 (2009) - [j19]Enrico Pontelli, Tran Cao Son, Omar El-Khatib:
Justifications for logic programs under answer set semantics. Theory Pract. Log. Program. 9(1): 1-56 (2009) - 2007
- [j18]Tran Cao Son, Enrico Pontelli, Phan Huy Tu:
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. J. Artif. Intell. Res. 29: 353-389 (2007) - [j17]Tran Cao Son, Enrico Pontelli:
A Constructive semantic characterization of aggregates in answer set programming. Theory Pract. Log. Program. 7(3): 355-375 (2007) - [j16]Phan Huy Tu, Tran Cao Son, Chitta Baral:
Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. Theory Pract. Log. Program. 7(4): 377-450 (2007) - 2006
- [j15]Le-Chi Tuan, Chitta Baral, Tran Cao Son:
A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information. Log. Methods Comput. Sci. 2(4) (2006) - [j14]Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith:
Domain-dependent knowledge in answer set planning. ACM Trans. Comput. Log. 7(4): 613-657 (2006) - [j13]Tran Cao Son, Enrico Pontelli:
Planning with preferences using logic programming. Theory Pract. Log. Program. 6(5): 559-607 (2006) - 2005
- [j12]Tran Cao Son, Phan Huy Tu, Xin Zhang:
Reasoning about Sensing Actions in Domains with Multi-Valued Fluents. Stud Logica 79(1): 135-160 (2005) - 2004
- [j11]Tran Cao Son, Enrico Pontelli:
Reasoning about Actions and Planning with Preferences Using Prioritized Default Theory. Comput. Intell. 20(2): 358-404 (2004) - [j10]Enrico Pontelli, Tran Cao Son, Keshav Reddy Kottapally, Co Thai Ngo, Ravikumar Reddy Kotthuru, Douglas J. Gillan:
A system for automatic structure discovery and reasoning-based navigation of the web. Interact. Comput. 16(3): 451-475 (2004) - 2003
- [j9]Enrico Pontelli, Tran Cao Son:
Designing intelligent agents to support universal accessibility of E-commerce services. Electron. Commer. Res. Appl. 2(2): 147-161 (2003) - [j8]Chitta Baral, Alessandro Provetti, Tran Cao Son:
Introduction to the special issue on Programming with Answer Sets. Theory Pract. Log. Program. 3(4-5): 387-391 (2003) - 2001
- [j7]Tran Cao Son, Chitta Baral:
Formalizing sensing actions A transition function based approach. Artif. Intell. 125(1-2): 19-91 (2001) - [j6]Phan Minh Dung, Tran Cao Son:
An argument-based approach to reasoning with specificity. Artif. Intell. 133(1-2): 35-85 (2001) - [j5]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:
AAAI 2001 Spring Symposium Series Reports. AI Mag. 22(3): 117-122 (2001) - [j4]Sheila A. McIlraith, Tran Cao Son, Honglei Zeng:
Semantic Web Services. IEEE Intell. Syst. 16(2): 46-53 (2001) - 1998
- [j3]Chitta Baral, Tran Cao Son:
Relating Theories of Actions and Reactive Control. Electron. Trans. Artif. Intell. 2: 211-271 (1998) - [j2]Chitta Baral, Graciela Gonzalez, Tran Cao Son:
Conceptual Modeling and Querying in Multimedia Databases. Multim. Tools Appl. 7(1/2): 37-66 (1998) - [j1]David Morales, Tran Cao Son:
Interval Methods in Robot Navigation. Reliab. Comput. 4(1): 55-61 (1998)
Conference and Workshop Papers
- 2023
- [c161]Loc Pham, Tran Cao Son, Enrico Pontelli:
Planning in Multi-Agent Domains with Untruthful Announcements. ICAPS 2023: 334-342 - [c160]Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
Advancements in xASP, an XAI System for Answer Set Programming. CILC 2023 - [c159]Tran Cao Son, William Yeoh, Roni Stern, Meir Kalech:
Multi-Agent Planning and Diagnosis with Commonsense Reasoning. DAI 2023: 5:1-5:9 - [c158]Poom Pianpak, Jiaoyang Li, Tran Cao Son:
Load Balancing in Distributed Multi-Agent Path Finder (DMAPF). EMAS 2023: 130-147 - [c157]Jan Behrens, Roland Kaminski, Torsten Schaub, Tran Cao Son, Jiri Svancara, Philipp Wanko:
Routing and Scheduling in different ways: Abridged Preliminary Report. ICLP Workshops 2023 - [c156]Dylan Flynn, Chasity Nadeau, Jeannine Shantz, Marcello Balduccini, Tran Cao Son, Edward R. Griffor:
Formalizing and Reasoning About Supply Chain Contracts Between Agents. PADL 2023: 144-160 - [c155]Loc Pham, Tran Cao Son, Enrico Pontelli:
Reasoning about Non-Deterministic Observability and Hypothetical Action Occurrences in Multi-Agent Domains. SAC 2023: 957-964 - [c154]Mario Alviano, Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
Explanations for Answer Set Programming. ICLP 2023: 27-40 - 2022
- [c153]Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli:
A Review of the Muddy Children Problem. AI*IA 2022: 127-139 - [c152]Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli:
A Robust State Transition Function for Multi-agent Epistemic Systems. EPIA 2022: 688-700 - [c151]Yusuf Izmirlioglu, Loc Pham, Tran Cao Son, Enrico Pontelli:
State Transition in Multi-agent Epistemic Domains Using Answer Set Programming. LPNMR 2022: 273-286 - [c150]Chiaki Sakama, Tran Cao Son:
Interlinking Logic Programs and Argumentation Frameworks. LPNMR 2022: 322-335 - [c149]Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
xASP: An Explanation Generation System for Answer Set Programming. LPNMR 2022: 363-369 - [c148]Poom Pianpak, Tran Cao Son:
Improving Problem Decomposition and Regulation in Distributed Multi-Agent Path Finder (DMAPF). PRIMA 2022: 156-172 - [c147]Loc Pham, Yusuf Izmirlioglu, Tran Cao Son, Enrico Pontelli:
A New Semantics for Action Language mA*. PRIMA 2022: 553-562 - [c146]Loc Pham, Tran Cao Son, Enrico Pontelli:
Update models for lying and misleading announcements. SAC 2022: 911-916 - [c145]Ho Tuan Dung, Tran Cao Son:
On Model Reconciliation: How to Reconcile When Robot Does not Know Human's Model? ICLP Technical Communications / Doctoral Consortium 2022: 27-48 - 2021
- [c144]Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
exp(ASPc): Explaining ASP Programs with Choice Atoms and Constraint Rules. ICLP Workshops 2021 - [c143]Tran Cao Son, Van Nguyen, Stylianos Loukas Vasileiou, William Yeoh:
Model Reconciliation in Logic Programs. JELIA 2021: 393-406 - [c142]Fabio Tardivo, Loc Pham, Tran Cao Son, Enrico Pontelli:
A Logic Programming Approach to Regression Based Repair of Incorrect Initial Belief States. PADL 2021: 73-89 - [c141]Francesco Fabiano, Alessandro Burigana, Agostino Dovier, Enrico Pontelli, Tran Cao Son:
Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and Lies. PRICAI (1) 2021: 586-597 - [c140]Van Nguyen, Tran Cao Son, William Yeoh:
Explainable Problem in clingo-dl Programs. SOCS 2021: 231-232 - [c139]Matthew Bundas, Chasity Nadeau, Thanh Hai Nguyen, Jeannine Shantz, Marcello Balduccini, Tran Cao Son:
Towards a Framework for Characterizing the Behavior of AI-Enabled Cyber-Physical and IoT Systems. WF-IoT 2021: 551-556 - [c138]Poom Pianpak, Tran Cao Son:
DMAPF: A Decentralized and Distributed Solver for Multi-Agent Path Finding Problem with Obstacles. ICLP Technical Communications 2021: 99-112 - [c137]Ly Ly T. Trieu, Tran Cao Son, Marcello Balduccini:
exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules. ICLP Technical Communications 2021: 155-161 - 2020
- [c136]Van Nguyen, Tran Cao Son, Vasileiou Loukas Stylianos, William Yeoh:
Conditional Updates of Answer Set Programming and Its Application in Explainable Planning. AAMAS 2020: 1954-1956 - [c135]Marcello Balduccini, Michael Gelfond, Enrico Pontelli, Tran Cao Son:
An Answer Set Programming Framework for Reasoning about Agents' Beliefs and Truthfulness of Statements. KR 2020: 69-78 - [c134]Van Nguyen, Vasileiou Loukas Stylianos, Tran Cao Son, William Yeoh:
Explainable Planning Using Answer Set Programming. KR 2020: 662-666 - [c133]Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son:
On Repairing Web Services Workflows. PADL 2020: 37-53 - [c132]Thanh Hai Nguyen, Tran Cao Son, Matthew Bundas, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor:
Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based Representation and ASP. PRIMA 2020: 51-67 - 2019
- [c131]Phan Minh Dung, Phan Minh Thang, Tran Cao Son:
On Structured Argumentation with Conditional Preferences. AAAI 2019: 2792-2800 - [c130]Tiep Le, Tran Cao Son, Enrico Pontelli:
Multi-Context System for Optimization Problems. AAAI 2019: 2929-2937 - [c129]Poom Pianpak, Tran Cao Son, Phoebe O. Toups Dugas, William Yeoh:
A distributed solver for multi-agent path finding problems. DAI 2019: 2:1-2:7 - [c128]Quan T. Do, Alexa K. Doig, Tran Cao Son:
Deep Q-learning for Predicting Asthma Attack with Considering Personalized Environmental Triggers' Risk Scores. EMBC 2019: 562-565 - [c127]Quan T. Do, Alexa K. Doig, Tran Cao Son, Jamil M. Chaudri:
Predicting Lung Healthiness Risk Scores to Identify Probability of an Asthma Attack. EUSPN/ICTH 2019: 424-431 - [c126]Van Nguyen, Tran Cao Son, Enrico Pontelli:
Natural Language Generation from Ontologies. PADL 2019: 64-81 - [c125]Chiaki Sakama, Tran Cao Son:
Epistemic Argumentation Framework. PRICAI (1) 2019: 718-732 - [c124]Van Nguyen, William Yeoh, Tran Cao Son, Vladik Kreinovich, Tiep Le:
A Scheduler for Smart Homes with Probabilistic User Preferences. PRIMA 2019: 138-152 - [c123]Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh:
Generalized Target Assignment and Path Finding Using Answer Set Programming. SOCS 2019: 194-195 - [c122]Van Duc Nguyen, Tran Cao Son, Enrico Pontelli:
Natural Language Generation for Non-Expert Users. ICLP Technical Communications 2019: 280-294 - 2018
- [c121]Tiep Le, Francesco Fabiano, Tran Cao Son, Enrico Pontelli:
EFP and PG-EFP: Epistemic Forward Search Planners in Multi-Agent Domains. ICAPS 2018: 161-170 - [c120]Tiep Le, Atena M. Tabakhi, Long Tran-Thanh, William Yeoh, Tran Cao Son:
Preference Elicitation with Interdependency and User Bother Cost. AAMAS 2018: 1459-1467 - [c119]Moinul Morshed Porag Chowdhury, Christopher Kiekintveld, Tran Cao Son, William Yeoh:
Bidding Strategy for Periodic Double Auctions Using Monte Carlo Tree Search. AAMAS 2018: 1897-1899 - [c118]Quan T. Do, Alexa K. Doig, Tran Cao Son, Jamil M. Chaudri:
Personalized Prediction of Asthma Severity and Asthma Attack for a Personalized Treatment Regimen. EMBC 2018: 1-5 - [c117]Van Duc Nguyen, Tran Cao Son, Enrico Pontelli:
Explanations Generation For Web Service Workflow. ICLP (Technical Communications) 2018: 14:1-14:3 - [c116]Thanh Hai Nguyen, Tran Cao Son, Enrico Pontelli:
Automatic Web Services Composition for Phylotastic. PADL 2018: 186-202 - [c115]Poom Pianpak, Tran Cao Son, Phoebe O. Toups Dugas:
A Multi-agent Simulator Environment Based on the Robot Operating System for Human-Robot Interaction Applications. PRIMA 2018: 612-620 - 2017
- [c114]Quan T. Do, Tran Cao Son, Jamil M. Chaudri:
Classification of Asthma Severity and Medication Using TensorFlow and Multilevel Databases. EUSPN/ICTH 2017: 344-351 - [c113]Van Nguyen, Philipp Obermeier, Tran Cao Son, Torsten Schaub, William Yeoh:
Generalized Target Assignment and Path Finding Using Answer Set Programming. IJCAI 2017: 1216-1223 - [c112]Tran Cao Son, Tiep Le, Patrick Thor Kahl, Anthony P. Leclerc:
On Computing World Views of Epistemic Logic Programs. IJCAI 2017: 1269-1275 - [c111]Son Thanh To, Tran Cao Son, Enrico Pontelli:
A generic approach to planning in the presence of incomplete information: Theory and implementation (Extended Abstract). IJCAI 2017: 5075-5079 - [c110]Javier Romero, Torsten Schaub, Tran Cao Son:
Generalized Answer Set Planning with Incomplete Information. ASPOCP@LPNMR 2017 - [c109]Tran Cao Son:
Answer Set Programming and Its Applications in Planning and Multi-agent Systems. LPNMR 2017: 23-35 - [c108]Chitta Baral, Tran Cao Son:
Revision and Updates in Possibly Action-Occurrence-Incomplete Narratives. PRIMA 2017: 53-70 - 2016
- [c107]Tran Cao Son, Orkunt Sabuncu, Christian Schulz-Hanke, Torsten Schaub, William Yeoh:
Solving Goal Recognition Design Using ASP. AAAI 2016: 3181-3187 - [c106]Tiep Le, Ferdinando Fioretto, William Yeoh, Tran Cao Son, Enrico Pontelli:
ER-DCOPs: A Framework for Distributed Constraint Optimization with Uncertainty in Constraint Utilities. AAMAS 2016: 606-614 - [c105]Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini:
An Answer Set Programming Framework for Reasoning About Truthfulness of Statements by Agents. ICLP (Technical Communications) 2016: 8:1-8:4 - [c104]Christabel Wayllace, Ping Hou, William Yeoh, Tran Cao Son:
Goal Recognition Design with Stochastic Agent Action Outcomes. IJCAI 2016: 3279-3285 - [c103]Tran Cao Son, Enrico Pontelli, Michael Gelfond, Marcello Balduccini:
Reasoning about Truthfulness of Agents Using Answer Set Programming. KR 2016: 605-608 - [c102]Phan Minh Dung, Tran Cao Son, Phan Minh Thang:
Argumentation-Based Semantics for Logic Programs with First-Order Formulae. PRIMA 2016: 43-60 - [c101]Chitta Baral, Tran Cao Son, Michael Gelfond, Arindam Mitra:
Plan Failure Analysis: Formalization and Application in Interactive Planning Through Natural Language Communication. PRIMA 2016: 376-386 - 2015
- [c100]Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh:
Solving Distributed Constraint Optimization Problems Using Logic Programming. AAAI 2015: 1174-1181 - [c99]Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond:
Exploring the KD45 Property of a Kripke Model After the Execution of an Action Sequence. AAAI 2015: 1604-1610 - [c98]Tran Cao Son, Enrico Pontelli, Marcello Balduccini:
Reasoning about Truthfulness of Agents Using Answer Set Programming. AAAI Fall Symposia 2015: 47-50 - [c97]Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
Multi-Agent Action Modeling Through Action Sequences And Perspective Fluents. AAAI Spring Symposia 2015 - [c96]Tran Cao Son, Enrico Pontelli, Chitta Baral:
A Non-monotonic Goal Specification Language for Planning with Preferences. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 202-217 - [c95]Ferdinando Fioretto, Tiep Le, Enrico Pontelli, William Yeoh, Tran Cao Son:
Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems with Dynamic Programming. CP 2015: 121-139 - [c94]Stefano Tognazzi, Agostino Dovier, Enrico Pontelli, Tran Cao Son:
Exploring the Use of BDDs in Conformant Planning. ICTAI 2015: 502-509 - [c93]Chitta Baral, Tran Cao Son:
"Add Another Blue Stack of the Same Height!": ASP Based Planning and Plan Failure Analysis. LPNMR 2015: 127-133 - [c92]Tiep Le, Tran Cao Son, Enrico Pontelli:
Multi-Context Systems with Preferences. PRIMA 2015: 449-466 - 2014
- [c91]Ping Hou, William Yeoh, Tran Cao Son:
Solving Uncertain MDPs by Reusing State Information and Plans. AAAI 2014: 2285-2292 - [c90]Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh:
ASP-DPOP: solving distributed constraint optimization problems with logic programming. AAMAS 2014: 1337-1338 - [c89]Ferdinando Fioretto, Tiep Le, William Yeoh, Enrico Pontelli, Tran Cao Son:
Improving DPOP with Branch Consistency for Solving Distributed Constraint Optimization Problems. CP 2014: 307-323 - [c88]Tran Cao Son, Enrico Pontelli, Chitta Baral, Gregory Gelfond:
Finitary S5-Theories. JELIA 2014: 239-252 - [c87]Tran Cao Son, Enrico Pontelli, Tiep Le:
Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems. PADL 2014: 87-103 - 2013
- [c86]Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
Reasoning about the Beliefs of Agents in Multi-agent Domains in the Presence of State Constraints: The Action Language mAL. CLIMA 2013: 290-306 - 2012
- [c85]Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli:
On Computing Conformant Plans Using Classical Planners: A Generate-And-Complete Approach. ICAPS 2012 - [c84]Enrico Pontelli, Tran Cao Son, Chitta Baral, Gregory Gelfond:
Answer Set Programming and Planning with Knowledge and World-Altering Actions in Multiple Agent Domains. Correct Reasoning 2012: 509-526 - [c83]Ben Wright, Enrico Pontelli, Tran Cao Son:
Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning. CLIMA 2012: 163-180 - [c82]Tiep Le, Hieu Nguyen, Enrico Pontelli, Tran Cao Son:
ASP at Work: An ASP Implementation of PhyloWS. ICLP (Technical Communications) 2012: 359-369 - [c81]Vinay K. Chaudhri, Tran Cao Son:
Specifying and Reasoning with Underspecified Knowledge Bases Using Answer Set Programming. KR 2012 - 2011
- [c80]Hoang-Khoi Nguyen, Dang-Vien Tran, Tran Cao Son, Enrico Pontelli:
On Improving Conformant Planners by Analyzing Domain-Structures. AAAI 2011: 998-1003 - [c79]Son Thanh To, Tran Cao Son, Enrico Pontelli:
Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula. AAAI 2011: 1023-1028 - [c78]Son Thanh To, Tran Cao Son, Enrico Pontelli:
On the Effectiveness of Belief State Representation in Contingent Planning. AAAI 2011: 1818-1819 - [c77]Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
An Experiment in Formalizing Commitments Using Action Languages. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning 2011 - [c76]Son Thanh To, Tran Cao Son, Enrico Pontelli:
Contingent Planning as AND/OR Forward Search with Disjunctive Representation. ICAPS 2011 - [c75]Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
Formalizing Commitments Using Action Languages. DALT 2011: 67-83 - [c74]Nancy Alajarmeh, Enrico Pontelli, Tran Cao Son:
From "Reading" Math to "Doing" Math: A New Direction in Non-visual Math Accessibility. HCI (8) 2011: 501-510 - [c73]Brandon Chisham, Enrico Pontelli, Tran Cao Son, Ben Wright:
CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services. ICLP (Technical Communications) 2011: 209-219 - [c72]Chiaki Sakama, Tran Cao Son, Enrico Pontelli:
A Logical Formulation for Negotiation among Dishonest Agents. IJCAI 2011: 1069-1074 - [c71]Son Thanh To, Enrico Pontelli, Tran Cao Son:
On the Effectiveness of CNF and DNF Representations in Contingent Planning. IJCAI 2011: 2033-2038 - [c70]Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
ASP-Prolog for Negotiation among Dishonest Agents. LPNMR 2011: 331-344 - 2010
- [c69]Son Thanh To, Tran Cao Son, Enrico Pontelli:
On the Use of Prime Implicates in Conformant Planning. AAAI 2010: 1205-1210 - [c68]Son Thanh To, Tran Cao Son, Enrico Pontelli:
A New Approach to Conformant Planning Using CNF*. ICAPS 2010: 169-176 - [c67]Chitta Baral, Gregory Gelfond, Tran Cao Son, Enrico Pontelli:
Using answer set programming to model multi-agent scenarios involving agents' knowledge about other's knowledge. AAMAS 2010: 259-266 - [c66]Luis Tari, Phan Huy Tu, Jörg Hakenberg, Yi Chen, Tran Cao Son, Graciela Gonzalez, Chitta Baral:
GenerIE: Information extraction using database queries. ICDE 2010: 1121-1124 - 2009
- [c65]Son Thanh To, Enrico Pontelli, Tran Cao Son:
A Conformant Planner with Explicit Disjunctive Representation of Belief States. ICAPS 2009 - [c64]Iyad Abu Doush, Enrico Pontelli, Dominic Simon, Tran Cao Son, Ou Ma:
Making Microsoft ExcelTM: multimodal presentation of charts. ASSETS 2009: 147-154 - [c63]Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen:
Planning for Multiagent Using ASP-Prolog. CLIMA 2009: 1-21 - [c62]Chitta Baral, Tran Cao Son, Enrico Pontelli:
Reasoning about Multi-agent Domains Using Action Language C\mathcal{C}: A Preliminary Study. CLIMA 2009: 46-63 - [c61]Chiaki Sakama, Tran Cao Son:
Interacting Answer Sets. CLIMA 2009: 122-140 - [c60]Tran Cao Son, Chiaki Sakama:
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. DALT 2009: 208-227 - [c59]Tran Cao Son, Enrico Pontelli, Chiaki Sakama:
Logic Programming for Multiagent Planning with Negotiation. ICLP 2009: 99-114 - [c58]Tran Cao Son, Chiaki Sakama:
Negotiation Using Logic Programming with Consistency Restoring Rules. IJCAI 2009: 930-935 - [c57]Chitta Baral, Tran Cao Son, Enrico Pontelli:
Modeling Multi-agent Domains in an Action Languages: An Empirical Study Using . LPNMR 2009: 409-415 - [c56]Dang-Vien Tran, Hoang-Khoi Nguyen, Enrico Pontelli, Tran Cao Son:
Improving Performance of Conformant Planners: Static Analysis of Declarative Planning Domain Specifications. PADL 2009: 239-253 - 2008
- [c55]Piero A. Bonatti, Enrico Pontelli, Tran Cao Son:
Credulous Resolution for Answer Set Programming. AAAI 2008: 418-423 - [c54]Chitta Baral, Juraj Dzifcak, Tran Cao Son:
Using Answer Set Programming and Lambda Calculus to Characterize Natural Language Sentences with Normatives and Exceptions. AAAI 2008: 818-823 - [c53]Tran Cao Son, Enrico Pontelli, Son Thanh To:
Some Results on the Completeness of Approximation Based Reasoning. AAAI Spring Symposium: Emotion, Personality, and Social Behavior 2008: 61-66 - [c52]Richard B. Scherl, Tran Cao Son, Chitta Baral:
State-Based Regression with Sensing and Knowledge. PRICAI 2008: 345-357 - [c51]Tran Cao Son, Enrico Pontelli:
Some Results on the Completeness of Approximation Based Reasoning. PRICAI 2008: 358-369 - 2007
- [c50]Lengning Liu, Enrico Pontelli, Tran Cao Son, Miroslaw Truszczynski:
Logic Programs with Abstract Constraint Atoms: The Role of Computations. ICLP 2007: 286-301 - [c49]A. Ricardo Morales, Phan Huy Tu, Tran Cao Son:
An Extension to Conformant Planning Using Logic Programming. IJCAI 2007: 1991-1996 - [c48]Phan Huy Tu, Tran Cao Son, Enrico Pontelli:
CPP: A Constraint Logic Programming Based Planner with Preferences. LPNMR 2007: 290-296 - 2006
- [c47]Tran Cao Son, Enrico Pontelli, Phan Huy Tu:
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. AAAI 2006: 129-134 - [c46]Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
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 2006: 16-21 - [c45]Gobinath Narayanasamy, Joe Cecil, Tran Cao Son:
A Collaborative Framework to Realize Virtual Enterprises Using 3APL. DALT 2006: 191-206 - [c44]Enrico Pontelli, Tran Cao Son:
Justifications for Logic Programs Under Answer Set Semantics. ICLP 2006: 196-210 - [c43]Tran Cao Son, Phan Huy Tu:
On the Completeness of Approximation Based Reasoning and Planning in Action Theories with Incomplete Information. KR 2006: 481-491 - [c42]Enrico Pontelli, Tran Cao Son, Chitta Baral:
A Framework for Composition and Inter-operation of Rules in the Semantic Web. RuleML 2006: 39-50 - 2005
- [c41]Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales:
Conformant Planning for Domains with Constraints-A New Approach. AAAI 2005: 1211-1216 - [c40]Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
Justification and debugging of answer set programs in ASP. AADEBUG 2005: 49-58 - [c39]Tran Cao Son, Phan Huy Tu, Michael Gelfond, A. Ricardo Morales:
An Approximation of Action Theories of and Its Application to Conformant Planning. LPNMR 2005: 172-184 - [c38]Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
Integrating an Answer Set Solver into Prolog: ASP-PROLOG. LPNMR 2005: 399-404 - [c37]Islam Elkabani, Enrico Pontelli, Tran Cao Son:
SmodelsA - A System for Computing Answer Sets of Logic Programs with Aggregates. LPNMR 2005: 427-431 - 2004
- [c36]Tran Cao Son, Chitta Baral, Le-Chi Tuan:
Adding Time and Intervals to Procedural and Hierarchical Control Specifications. AAAI 2004: 92-97 - [c35]Le-Chi Tuan, Chitta Baral, Xin Zhang, Tran Cao Son:
Regression with Respect to Sensing Actions and Partial States. AAAI 2004: 556-561 - [c34]Inna Pivkina, Enrico Pontelli, Tran Cao Son:
Revising Knowledge in Multi-agent Systems Using Revision Programming with Preferences. CLIMA 2004: 134-158 - [c33]Yu Pan, Phan Huy Tu, Enrico Pontelli, Tran Cao Son:
Construction of an Agent-Based Framework for Evolutionary Biology: A Progress Report. DALT 2004: 92-111 - [c32]Islam Elkabani, Enrico Pontelli, Tran Cao Son:
Smodels with CLP and Its Applications: A Simple and Effective Approach to Aggregates in ASP. ICLP 2004: 73-89 - [c31]Tran Cao Son, Enrico Pontelli:
Planning with Preferences Using Logic Programming. LPNMR 2004: 247-260 - [c30]Tran Cao Son, Phan Huy Tu, Chitta Baral:
Planning with Sensing Actions and Incomplete Information Using Logic Programming. LPNMR 2004: 261-274 - [c29]Enrico Pontelli, Tran Cao Son, Islam Elkabani:
Smodels with CLP?A Treatment of Aggregates in ASP. LPNMR 2004: 356-360 - [c28]Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
ASP-PROLOG: a system for reasoning about answer set programs in prolog. NMR 2004: 155-163 - [c27]Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
ASP-PROLOG: A System for Reasoning about Answer Set Programs in Prolog. PADL 2004: 148-162 - 2003
- [c26]Keshav Reddy Kottapally, C. Ngo, R. Reddy, Enrico Pontelli, Tran Cao Son, Douglas J. Gillan:
Towards the creation of accessibility agents for non-visual navigation of the web. CUU 2003: 134-141 - [c25]Tran Cao Son, Enrico Pontelli, Desh Ranjan, Brook Milligan, Gopal Gupta:
An Agent-based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology. DALT 2003: 76-96 - [c24]Tran Cao Son, Enrico Pontelli:
Adding Preferences to Answer Set Planning. ICLP 2003: 513-514 - [c23]Enrico Pontelli, Tran Cao Son, Yu Pan, T. Phan:
Developing Agents for Bioinformatics Applications: A Preliminary Design. PDPTA 2003: 1005-1011 - 2002
- [c22]Enrico Pontelli, Tran Cao Son:
Planning, reasoning, and agents for non-visual navigation of tables and frames. ASSETS 2002: 73-80 - [c21]Enrico Pontelli, Tran Cao Son:
Designing Intelligent Agents to Support Universal Accessibility. International Conference on Internet Computing 2002: 726-732 - [c20]Stefania Costantini, Ramón P. Otero, Alessandro Provetti, Tran Cao Son:
Disjunctive Logic Programs with Inheritance Revisited. ISMIS 2002: 294-302 - [c19]Tran Cao Son, Enrico Pontelli:
Reasoning about Actions in Prioritized Default Theory. JELIA 2002: 369-381 - [c18]Chitta Baral, Tran Cao Son, Le-Chi Tuan:
A Transition Function Based Characterization of Actions with Delayed and Continuous Effects. KR 2002: 291-302 - [c17]Sheila A. McIlraith, Tran Cao Son:
Adapting Golog for Composition of Semantic Web Services. KR 2002: 482-496 - 2001
- [c16]Tran Cao Son, Chitta Baral, Sheila A. McIlraith:
Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic Choice, and Procedure Constructs. Answer Set Programming 2001 - [c15]Tran Cao Son, Jorge Lobo:
Reasoning about Policies using Logic Programs. Answer Set Programming 2001 - [c14]Tran Cao Son, Chitta Baral, Sheila A. McIlraith:
Planning with Different Forms of Domain-Dependent Control Knowledge - An Answer Set Programming Approach. LPNMR 2001: 226-239 - [c13]Sheila A. McIlraith, Tran Cao Son, Honglei Zeng:
Mobilizing the Semantic Web with DAML-enabled Web Services. SemWeb 2001 - 2000
- [c12]Phan Minh Dung, Tran Cao Son:
Default Reasoning with Specificity. Computational Logic 2000: 792-806 - [c11]Pham Hong Hanh, Tran Cao Son:
Round-Table Architecture for Communication in Multi-agent Softbot Systems. IDEAL 2000: 338-343 - [c10]Chitta Baral, Sheila A. McIlraith, Tran Cao Son:
Formulating diagnostic problem solving using an action language with narratives and sensing. KR 2000: 311-322 - 1999
- [c9]Tran Cao Son:
Reasoning about Sensing Actions and Reactivity. AAAI/IAAI 1999: 955 - [c8]Chitta Baral, Tran Cao Son:
Extending ConGolog to Allow Partial Ordering. ATAL 1999: 188-204 - 1998
- [c7]Chitta Baral, Luis Floriano, Aaron Hardesty, David Morales, Monica L. Nogueira, Tran Cao Son:
From Theory to Practice: The UTEP Robot in the AAAI 96 AAAI 97 Robot Contests. Agents 1998: 32-38 - [c6]Chitta Baral, Graciela Gonzalez, Tran Cao Son:
Design and Implementation of Display Specification for Multimedia Answers. ICDE 1998: 558-565 - 1997
- [c5]Michael Gelfond, Tran Cao Son:
Reasoning with Prioritized Defaults. LPKR 1997: 164-223 - [c4]Chitta Baral, Tran Cao Son:
Approximate Reasoning about Actions in Presence of Sensing and Incomplete Information. ILPS 1997: 387-401 - 1996
- [c3]Chitta Baral, Luis Floriano, Alfredo Gabaldon, David Morales, Tran Cao Son, Richard G. Watson:
A Reactive Mobile Robot Based on a Formal Theory of Action. AAAI/IAAI, Vol. 2 1996: 1350 - [c2]Phan Minh Dung, Tran Cao Son:
An Argumentation-theoretic Approach to Reasoning with Specificity. KR 1996: 506-517 - 1995
- [c1]Phan Minh Dung, Tran Cao Son:
Nonmonotonic Inheritance, Argumentation and Logic Programming. LPNMR 1995: 316-329
Parts in Books or Collections
- 2010
- [p1]Yu Pan, Enrico Pontelli, Tran Cao Son:
BSIS: An Experiment in Automating Bioinformatics Tasks Through Intelligent Workflow Construction. Semantic e-Science 2010: 189-238
Editorship
- 2023
- [e13]Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner:
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023. 2023, ISBN 978-1-956792-02-7 [contents] - 2018
- [e12]Amal El Fallah Seghrouchni, Alessandro Ricci, Tran Cao Son:
Engineering Multi-Agent Systems - 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers. Lecture Notes in Computer Science 10738, Springer 2018, ISBN 978-3-319-91898-3 [contents] - [e11]Ricardo Rocha, Tran Cao Son, Christopher Mears, Neda Saeedloei:
Technical Communications of the 33rd International Conference on Logic Programming, ICLP 2017, August 28 to September 1, 2017, Melbourne, Australia. OASIcs 58, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-058-3 [contents] - [e10]Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu, Tran Cao Son:
PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29 - November 2, 2018, Proceedings. Lecture Notes in Computer Science 11224, Springer 2018, ISBN 978-3-030-03097-1 [contents] - 2016
- [e9]Enrico Pontelli, Alex Rogers, Sylvie Thiébaux, Tran Cao Son:
AI for Smart Grids and Smart Buildings, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. AAAI Technical Report WS-16-04, AAAI Press 2016 [contents] - [e8]Matteo Baldoni, Amit K. Chopra, Tran Cao Son, Katsutoshi Hirayama, Paolo Torroni:
PRIMA 2016: Princiles and Practice of Multi-Agent Systems - 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings. Lecture Notes in Computer Science 9862, Springer 2016, ISBN 978-3-319-44831-2 [contents] - 2015
- [e7]Enrico Pontelli, Tran Cao Son:
Practical Aspects of Declarative Languages - 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings. Lecture Notes in Computer Science 9131, Springer 2015, ISBN 978-3-319-19685-5 [contents] - 2013
- [e6]João Leite, Tran Cao Son, Paolo Torroni, Leon van der Torre, Stefan Woltran:
Computational Logic in Multi-Agent Systems - 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013. Proceedings. Lecture Notes in Computer Science 8143, Springer 2013, ISBN 978-3-642-40623-2 [contents] - [e5]Pedro Cabalar, Tran Cao Son:
Logic Programming and Nonmonotonic Reasoning, 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings. Lecture Notes in Computer Science 8148, Springer 2013, ISBN 978-3-642-40563-1 [contents] - 2011
- [e4]Marcello Balduccini, Tran Cao Son:
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning - Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday. Lecture Notes in Computer Science 6565, Springer 2011, ISBN 978-3-642-20831-7 [contents] - 2009
- [e3]Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff:
Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers. Lecture Notes in Computer Science 5397, Springer 2009, ISBN 978-3-540-93919-1 [contents] - 2008
- [e2]Matteo Baldoni, Tran Cao Son, M. Birna van Riemsdijk, Michael Winikoff:
Declarative Agent Languages and Technologies V, 5th International Workshop, DALT 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected and Invited Papers. Lecture Notes in Computer Science 4897, Springer 2008, ISBN 978-3-540-77563-8 [contents] - 2001
- [e1]Alessandro Provetti, Tran Cao Son:
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. 2001 [contents]
Informal and Other Publications
- 2024
- [i27]Roland Kaminski, Torsten Schaub, Tran Cao Son, Jirí Svancara, Philipp Wanko:
Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report. CoRR abs/2403.12153 (2024) - 2023
- [i26]Trung Hoang Le, Huiping Cao, Tran Cao Son:
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction. CoRR abs/2305.15374 (2023) - [i25]Stylianos Loukas Vasileiou, Ashwin Kumar, William Yeoh, Tran Cao Son, Francesca Toni:
DR-HAI: Argumentation-based Dialectical Reconciliation in Human-AI Interactions. CoRR abs/2306.14694 (2023) - 2022
- [i24]Thanh Hai Nguyen, Matthew Bundas, Tran Cao Son, Marcello Balduccini, Kathleen Campbell Garwood, Edward R. Griffor:
Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework. CoRR abs/2201.05710 (2022) - [i23]Tran Cao Son, Enrico Pontelli, Marcello Balduccini, Torsten Schaub:
Answer Set Planning: A Survey. CoRR abs/2202.05793 (2022) - 2021
- [i22]Ly Ly T. Trieu, Tran Cao Son, Enrico Pontelli, Marcello Balduccini:
Generating explanations for answer set programming applications. CoRR abs/2104.08963 (2021) - [i21]Jorge Fandinno, François Laferrière, Javier Romero, Torsten Schaub, Tran Cao Son:
Planning with Incomplete Information in Quantified Answer Set Programming. CoRR abs/2108.06405 (2021) - 2020
- [i20]Botros N. Hanna, Ly Ly T. Trieu, Tran Cao Son, Nam T. Dinh:
An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario. CoRR abs/2008.01253 (2020) - [i19]Stylianos Loukas Vasileiou, William Yeoh, Tran Cao Son:
On the Relationship Between KR Approaches for Explainable Planning. CoRR abs/2011.09006 (2020) - [i18]Pratyay Banerjee, Chitta Baral, Man Luo, Arindam Mitra, Kuntal Kumar Pal, Tran Cao Son, Neeraj Varshney:
Can Transformers Reason About Effects of Actions? CoRR abs/2012.09938 (2020) - 2018
- [i17]Martin Gebser, Philipp Obermeier, Thomas Otto, Torsten Schaub, Orkunt Sabuncu, Van Nguyen, Tran Cao Son:
Experimenting with robotic intra-logistics domains. CoRR abs/1804.10247 (2018) - [i16]Thanh Hai Nguyen, Enrico Pontelli, Tran Cao Son:
Phylotastic: An Experiment in Creating, Manipulating, and Evolving Phylogenetic Biology Workflows Using Logic Programming. CoRR abs/1805.00185 (2018) - 2017
- [i15]Tiep Le, Tran Cao Son, Enrico Pontelli, William Yeoh:
Solving Distributed Constraint Optimization Problems Using Logic Programming. CoRR abs/1705.03916 (2017) - 2016
- [i14]Patrick Thor Kahl, Anthony P. Leclerc, Tran Cao Son:
A Parallel Memory-efficient Epistemic Logic Program Solver: Harder, Better, Faster. CoRR abs/1608.06910 (2016) - 2015
- [i13]Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
An Action Language for Multi-Agent Domains: Foundations. CoRR abs/1511.01960 (2015) - 2014
- [i12]Tiep Le, Enrico Pontelli, Tran Cao Son, William Yeoh:
Logic and Constraint Logic Programming for Distributed Constraint Optimization. CoRR abs/1405.1734 (2014) - 2013
- [i11]Vinay K. Chaudhri, Stijn Heymans, Michael A. Wessel, Tran Cao Son:
Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP. CoRR abs/1312.6138 (2013) - 2011
- [i10]Enrico Pontelli, Tran Cao Son, Phan Huy Tu:
Answer Sets for Logic Programs with Arbitrary Abstract Constraint Atoms. CoRR abs/1110.2205 (2011) - 2010
- [i9]Chitta Baral, Gregory Gelfond, Enrico Pontelli, Tran Cao Son:
Logic Programming for Finding Models in the Logics of Knowledge and its Applications: A Case Study. CoRR abs/1007.3700 (2010) - 2008
- [i8]Enrico Pontelli, Tran Cao Son, Omar El-Khatib:
Justifications for Logic Programs under Answer Set Semantics. CoRR abs/0812.0790 (2008) - 2006
- [i7]Tran Cao Son, Enrico Pontelli:
A Constructive Semantic Characterization of Aggregates in ASP. CoRR abs/cs/0601051 (2006) - [i6]Phan Huy Tu, Tran Cao Son, Chitta Baral:
Reasoning and Planning with Sensing Actions, Incomplete Information, and Static Causal Laws using Answer Set Programming. CoRR abs/cs/0605017 (2006) - [i5]Tran Cao Son, Enrico Pontelli, Islam Elkabani:
An Unfolding-Based Semantics for Logic Programming with Aggregates. CoRR abs/cs/0605038 (2006) - [i4]Le-Chi Tuan, Chitta Baral, Tran Cao Son:
A State-Based Regression Formulation for Domains with Sensing Actions and Incomplete Information. CoRR abs/cs/0609111 (2006) - 2005
- [i3]Tran Cao Son, Enrico Pontelli:
Planning with Preferences using Logic Programming. CoRR abs/cs/0508132 (2005) - 2004
- [i2]Le-Chi Tuan, Chitta Baral, Tran Cao Son:
Regression with respect to sensing actions and partial states. CoRR cs.AI/0405071 (2004) - 2002
- [i1]Tran Cao Son, Chitta Baral, Tran Hoai Nam, Sheila A. McIlraith:
Domain-Dependent Knowledge in Answer Set Planning. CoRR cs.AI/0207023 (2002)
Coauthor Index
[j51] [j48] [j41] [j37] [j36] [j35] [j33] [j32] [j30] [j29] [j26] [j25] [j24] [j23] [j22] [j21] [j19] [j18] [j17] [j13] [j11] [j10] [j9] [c161] [c155] [c153] [c152] [c151] [c147] [c146] [c142] [c141] [c135] [c133] [c130] [c126] [c122] [c121] [c117] [c116] [c111] [c106] [c105] [c103] [c100] [c99] [c98] [c97] [c96] [c95] [c94] [c92] [c90] [c89] [c88] [c87] [c86] [c85] [c84] [c83] [c82] [c80] [c79] [c78] [c77] [c76] [c75] [c74] [c73] [c72] [c71] [c70] [c69] [c68] [c67] [c65] [c64] [c63] [c62] [c59] [c57] [c56] [c55] [c53] [c51] [c50] [c48] [c47] [c46] [c44] [c42] [c40] [c38] [c37] [c34] [c33] [c32] [c31] [c29] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c21] [c19] [p1] [e9] [e7] [i23] [i22] [i16] [i15] [i13] [i12] [i10] [i9] [i8] [i7] [i5] [i3]
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 02:42 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
