Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Tran Cao Son
@article{DBLP:journals/corr/abs-2403-12153,
author = {Roland Kaminski and
Torsten Schaub and
Tran Cao Son and
Jir{\'{\i}} Svancara and
Philipp Wanko},
title = {Routing and Scheduling in Answer Set Programming applied to Multi-Agent
Path Finding: Preliminary Report},
journal = {CoRR},
volume = {abs/2403.12153},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2403.12153},
doi = {10.48550/ARXIV.2403.12153},
eprinttype = {arXiv},
eprint = {2403.12153},
timestamp = {Mon, 08 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2403-12153.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithms/RajaratnamSWCLS23,
author = {David Rajaratnam and
Torsten Schaub and
Philipp Wanko and
Kai Chen and
Sirui Liu and
Tran Cao Son},
title = {Solving an Industrial-Scale Warehouse Delivery Problem with Answer
Set Programming Modulo Difference Constraints},
journal = {Algorithms},
volume = {16},
number = {4},
pages = {216},
year = {2023},
url = {https://doi.org/10.3390/a16040216},
doi = {10.3390/A16040216},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithms/RajaratnamSWCLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SonPBS23,
author = {Tran Cao Son and
Enrico Pontelli and
Marcello Balduccini and
Torsten Schaub},
title = {Answer Set Planning: {A} Survey},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {1},
pages = {226--298},
year = {2023},
url = {https://doi.org/10.1017/S1471068422000072},
doi = {10.1017/S1471068422000072},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SonPBS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LeCS23,
author = {Trung Hoang Le and
Huiping Cao and
Tran Cao Son},
title = {{ASPER:} Answer Set Programming Enhanced Neural Network Models for
Joint Entity-Relation Extraction},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {4},
pages = {765--781},
year = {2023},
url = {https://doi.org/10.1017/s1471068423000297},
doi = {10.1017/S1471068423000297},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LeCS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/NguyenBSBGG23,
author = {Thanh Hai Nguyen and
Matthew Bundas and
Tran Cao Son and
Marcello Balduccini and
Kathleen Campbell Garwood and
Edward R. Griffor},
title = {Specifying and Reasoning about {CPS} through the Lens of the {NIST}
{CPS} Framework},
journal = {Theory Pract. Log. Program.},
volume = {23},
number = {5},
pages = {1029--1069},
year = {2023},
url = {https://doi.org/10.1017/s1471068422000035},
doi = {10.1017/S1471068422000035},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/NguyenBSBGG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/PhamSP23,
author = {Loc Pham and
Tran Cao Son and
Enrico Pontelli},
editor = {Sven Koenig and
Roni Stern and
Mauro Vallati},
title = {Planning in Multi-Agent Domains with Untruthful Announcements},
booktitle = {Proceedings of the Thirty-Third International Conference on Automated
Planning and Scheduling, July 8-13, 2023, Prague, Czech Republic},
pages = {334--342},
publisher = {{AAAI} Press},
year = {2023},
url = {https://doi.org/10.1609/icaps.v33i1.27211},
doi = {10.1609/ICAPS.V33I1.27211},
timestamp = {Wed, 20 Sep 2023 11:58:30 +0200},
biburl = {https://dblp.org/rec/conf/aips/PhamSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cilc/AlvianoTSB23,
author = {Mario Alviano and
Ly Ly T. Trieu and
Tran Cao Son and
Marcello Balduccini},
editor = {Agostino Dovier and
Andrea Formisano},
title = {Advancements in xASP, an {XAI} System for Answer Set Programming},
booktitle = {Proceedings of the 38th Italian Conference on Computational Logic,
Udine, Italy, June 21-23, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3428},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3428/paper2.pdf},
timestamp = {Wed, 05 Jul 2023 16:52:15 +0200},
biburl = {https://dblp.org/rec/conf/cilc/AlvianoTSB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dai2/Son0SK23,
author = {Tran Cao Son and
William Yeoh and
Roni Stern and
Meir Kalech},
title = {Multi-Agent Planning and Diagnosis with Commonsense Reasoning},
booktitle = {The Fifth International Conference on Distributed Artificial Intelligence,
{DAI} 2023, Singapore, 30 November 2023 - 3 December 2023},
pages = {5:1--5:9},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3627676.3627690},
doi = {10.1145/3627676.3627690},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dai2/Son0SK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emas/PianpakLS23,
author = {Poom Pianpak and
Jiaoyang Li and
Tran Cao Son},
editor = {Andrei Ciortea and
Mehdi Dastani and
Jieting Luo},
title = {Load Balancing in Distributed Multi-Agent Path Finder {(DMAPF)}},
booktitle = {Engineering Multi-Agent Systems - 11th International Workshop, {EMAS}
2023, London, UK, May 29-30, 2023, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {14378},
pages = {130--147},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-48539-8\_9},
doi = {10.1007/978-3-031-48539-8\_9},
timestamp = {Thu, 14 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/emas/PianpakLS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BehrensKSSSW23,
author = {Jan Behrens and
Roland Kaminski and
Torsten Schaub and
Tran Cao Son and
Jiri Svancara and
Philipp Wanko},
editor = {Joaqu{\'{\i}}n Arias and
Sotiris Batsakis and
Wolfgang Faber and
Gopal Gupta and
Francesco Pacenza and
Emmanuel Papadakis and
Livio Robaldo and
Kilian R{\"{u}}ckschlo{\ss} and
Elmer Salazar and
Zeynep G. Saribatur and
Ilias Tachmazidis and
Felix Weitk{\"{a}}mper and
Adam Z. Wyner},
title = {Routing and Scheduling in different ways: Abridged Preliminary Report},
booktitle = {Proceedings of the International Conference on Logic Programming 2023
Workshops co-located with the 39th International Conference on Logic
Programming {(ICLP} 2023), London, United Kingdom, July 9th and 10th,
2023},
series = {{CEUR} Workshop Proceedings},
volume = {3437},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3437/paper2ASPOCP.pdf},
timestamp = {Mon, 18 Dec 2023 10:22:48 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BehrensKSSSW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/FlynnNSBSG23,
author = {Dylan Flynn and
Chasity Nadeau and
Jeannine Shantz and
Marcello Balduccini and
Tran Cao Son and
Edward R. Griffor},
editor = {Michael Hanus and
Daniela Inclezan},
title = {Formalizing and Reasoning About Supply Chain Contracts Between Agents},
booktitle = {Practical Aspects of Declarative Languages - 25th International Symposium,
{PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13880},
pages = {144--160},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24841-2\_10},
doi = {10.1007/978-3-031-24841-2\_10},
timestamp = {Wed, 18 Jan 2023 19:02:49 +0100},
biburl = {https://dblp.org/rec/conf/padl/FlynnNSBSG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PhamSP23,
author = {Loc Pham and
Tran Cao Son and
Enrico Pontelli},
editor = {Jiman Hong and
Maart Lanperne and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}} and
Hossain Shahriar},
title = {Reasoning about Non-Deterministic Observability and Hypothetical Action
Occurrences in Multi-Agent Domains},
booktitle = {Proceedings of the 38th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2023, Tallinn, Estonia, March 27-31, 2023},
pages = {957--964},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3555776.3577612},
doi = {10.1145/3555776.3577612},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/PhamSP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2308-15879,
author = {Mario Alviano and
Ly Ly T. Trieu and
Tran Cao Son and
Marcello Balduccini},
editor = {Enrico Pontelli and
Stefania Costantini and
Carmine Dodaro and
Sarah Alice Gaggl and
Roberta Calegari and
Artur S. d'Avila Garcez and
Francesco Fabiano and
Alessandra Mileo and
Alessandra Russo and
Francesca Toni},
title = {Explanations for Answer Set Programming},
booktitle = {Proceedings 39th International Conference on Logic Programming, {ICLP}
2023, Imperial College London, UK, 9th July 2023 - 15th July 2023},
series = {{EPTCS}},
volume = {385},
pages = {27--40},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.385.4},
doi = {10.4204/EPTCS.385.4},
timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15879.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/kr/2023,
editor = {Pierre Marquis and
Tran Cao Son and
Gabriele Kern{-}Isberner},
title = {Proceedings of the 20th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
September 2-8, 2023},
year = {2023},
url = {https://doi.org/10.24963/kr.2023},
doi = {10.24963/KR.2023},
isbn = {978-1-956792-02-7},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-15374,
author = {Trung Hoang Le and
Huiping Cao and
Tran Cao Son},
title = {{ASPER:} Answer Set Programming Enhanced Neural Network Models for
Joint Entity-Relation Extraction},
journal = {CoRR},
volume = {abs/2305.15374},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.15374},
doi = {10.48550/ARXIV.2305.15374},
eprinttype = {arXiv},
eprint = {2305.15374},
timestamp = {Tue, 06 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-15374.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-14694,
author = {Stylianos Loukas Vasileiou and
Ashwin Kumar and
William Yeoh and
Tran Cao Son and
Francesca Toni},
title = {{DR-HAI:} Argumentation-based Dialectical Reconciliation in Human-AI
Interactions},
journal = {CoRR},
volume = {abs/2306.14694},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.14694},
doi = {10.48550/ARXIV.2306.14694},
eprinttype = {arXiv},
eprint = {2306.14694},
timestamp = {Tue, 27 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-14694.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BaralGPS22,
author = {Chitta Baral and
Gregory Gelfond and
Enrico Pontelli and
Tran Cao Son},
title = {An action language for multi-agent domains},
journal = {Artif. Intell.},
volume = {302},
pages = {103601},
year = {2022},
url = {https://doi.org/10.1016/j.artint.2021.103601},
doi = {10.1016/J.ARTINT.2021.103601},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/BaralGPS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/VasileiouYSKCM22,
author = {Stylianos Loukas Vasileiou and
William Yeoh and
Tran Cao Son and
Ashwin Kumar and
Michael Cashmore and
Daniele Magazzeni},
title = {A Logic-Based Explanation Generation Framework for Classical and Hybrid
Planning Problems},
journal = {J. Artif. Intell. Res.},
volume = {73},
pages = {1473--1534},
year = {2022},
url = {https://doi.org/10.1613/jair.1.13431},
doi = {10.1613/JAIR.1.13431},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jair/VasileiouYSKCM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aiia/IzmirliogluPSP22,
author = {Yusuf Izmirlioglu and
Loc Pham and
Tran Cao Son and
Enrico Pontelli},
editor = {Agostino Dovier and
Angelo Montanari and
Andrea Orlandini},
title = {A Review of the Muddy Children Problem},
booktitle = {AIxIA 2022 - Advances in Artificial Intelligence - XXIst International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2022, Udine, Italy, November 28 - December 2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13796},
pages = {127--139},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-27181-6\_9},
doi = {10.1007/978-3-031-27181-6\_9},
timestamp = {Tue, 14 Mar 2023 08:56:21 +0100},
biburl = {https://dblp.org/rec/conf/aiia/IzmirliogluPSP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epia/IzmirliogluPSP22,
author = {Yusuf Izmirlioglu and
Loc Pham and
Tran Cao Son and
Enrico Pontelli},
editor = {Goreti Marreiros and
Bruno Martins and
Ana Paiva and
Bernardete Ribeiro and
Alberto Sardinha},
title = {A Robust State Transition Function for Multi-agent Epistemic Systems},
booktitle = {Progress in Artificial Intelligence - 21st {EPIA} Conference on Artificial
Intelligence, {EPIA} 2022, Lisbon, Portugal, August 31 - September
2, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13566},
pages = {688--700},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-16474-3\_56},
doi = {10.1007/978-3-031-16474-3\_56},
timestamp = {Mon, 19 Sep 2022 19:04:17 +0200},
biburl = {https://dblp.org/rec/conf/epia/IzmirliogluPSP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/IzmirliogluPSP22,
author = {Yusuf Izmirlioglu and
Loc Pham and
Tran Cao Son and
Enrico Pontelli},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {State Transition in Multi-agent Epistemic Domains Using Answer Set
Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {273--286},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_21},
doi = {10.1007/978-3-031-15707-3\_21},
timestamp = {Fri, 02 Sep 2022 08:42:30 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/IzmirliogluPSP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/SakamaS22,
author = {Chiaki Sakama and
Tran Cao Son},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {Interlinking Logic Programs and Argumentation Frameworks},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {322--335},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_25},
doi = {10.1007/978-3-031-15707-3\_25},
timestamp = {Fri, 02 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/SakamaS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/TrieuSB22,
author = {Ly Ly T. Trieu and
Tran Cao Son and
Marcello Balduccini},
editor = {Georg Gottlob and
Daniela Inclezan and
Marco Maratea},
title = {xASP: An Explanation Generation System for Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 16th International
Conference, {LPNMR} 2022, Genova, Italy, September 5-9, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13416},
pages = {363--369},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15707-3\_28},
doi = {10.1007/978-3-031-15707-3\_28},
timestamp = {Fri, 02 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/TrieuSB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/PianpakS22,
author = {Poom Pianpak and
Tran Cao Son},
editor = {Reyhan Aydogan and
Natalia Criado and
J{\'{e}}r{\^{o}}me Lang and
V{\'{\i}}ctor S{\'{a}}nchez{-}Anguix and
Marc Serramia},
title = {Improving Problem Decomposition and Regulation in Distributed Multi-Agent
Path Finder {(DMAPF)}},
booktitle = {{PRIMA} 2022: Principles and Practice of Multi-Agent Systems - 24th
International Conference, Valencia, Spain, November 16-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13753},
pages = {156--172},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21203-1\_10},
doi = {10.1007/978-3-031-21203-1\_10},
timestamp = {Thu, 17 Nov 2022 16:10:56 +0100},
biburl = {https://dblp.org/rec/conf/prima/PianpakS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/PhamISP22,
author = {Loc Pham and
Yusuf Izmirlioglu and
Tran Cao Son and
Enrico Pontelli},
editor = {Reyhan Aydogan and
Natalia Criado and
J{\'{e}}r{\^{o}}me Lang and
V{\'{\i}}ctor S{\'{a}}nchez{-}Anguix and
Marc Serramia},
title = {A New Semantics for Action Language m\emph{A}\({}^{\mbox{*}}\)},
booktitle = {{PRIMA} 2022: Principles and Practice of Multi-Agent Systems - 24th
International Conference, Valencia, Spain, November 16-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13753},
pages = {553--562},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21203-1\_33},
doi = {10.1007/978-3-031-21203-1\_33},
timestamp = {Thu, 17 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prima/PhamISP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/PhamSP22,
author = {Loc Pham and
Tran Cao Son and
Enrico Pontelli},
editor = {Jiman Hong and
Miroslav Bures and
Juw Won Park and
Tom{\'{a}}s Cern{\'{y}}},
title = {Update models for lying and misleading announcements},
booktitle = {{SAC} '22: The 37th {ACM/SIGAPP} Symposium on Applied Computing, Virtual
Event, April 25 - 29, 2022},
pages = {911--916},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3477314.3507197},
doi = {10.1145/3477314.3507197},
timestamp = {Wed, 11 May 2022 08:59:01 +0200},
biburl = {https://dblp.org/rec/conf/sac/PhamSP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2208-03091,
author = {Ho Tuan Dung and
Tran Cao Son},
editor = {Yuliya Lierler and
Jos{\'{e}} F. Morales and
Carmine Dodaro and
Ver{\'{o}}nica Dahl and
Martin Gebser and
K. Tuncay Tekle},
title = {On Model Reconciliation: How to Reconcile When Robot Does not Know
Human's Model?},
booktitle = {Proceedings 38th International Conference on Logic Programming, {ICLP}
2022 Technical Communications / Doctoral Consortium, Haifa, Israel,
31st July 2022 - 6th August 2022},
series = {{EPTCS}},
volume = {364},
pages = {27--48},
year = {2022},
url = {https://doi.org/10.4204/EPTCS.364.4},
doi = {10.4204/EPTCS.364.4},
timestamp = {Mon, 21 Aug 2023 17:48:16 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-03091.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-05710,
author = {Thanh Hai Nguyen and
Matthew Bundas and
Tran Cao Son and
Marcello Balduccini and
Kathleen Campbell Garwood and
Edward R. Griffor},
title = {Specifying and Reasoning about {CPS} through the Lens of the {NIST}
{CPS} Framework},
journal = {CoRR},
volume = {abs/2201.05710},
year = {2022},
url = {https://arxiv.org/abs/2201.05710},
eprinttype = {arXiv},
eprint = {2201.05710},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-05710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-05793,
author = {Tran Cao Son and
Enrico Pontelli and
Marcello Balduccini and
Torsten Schaub},
title = {Answer Set Planning: {A} Survey},
journal = {CoRR},
volume = {abs/2202.05793},
year = {2022},
url = {https://arxiv.org/abs/2202.05793},
eprinttype = {arXiv},
eprint = {2202.05793},
timestamp = {Fri, 18 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-05793.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijmms/FrauneKZPNADHST21,
author = {Marlena R. Fraune and
Ahmed S. Khalaf and
Mahlet Zemedie and
Poom Pianpak and
Zahra NaminiMianji and
Sultan A. Alharthi and
Igor Dolgov and
Bill Hamilton and
Tran Cao Son and
Phoebe O. Toups Dugas},
title = {Developing Future Wearable Interfaces for Human-Drone Teams through
a Virtual Drone Search Game},
journal = {Int. J. Hum. Comput. Stud.},
volume = {147},
pages = {102573},
year = {2021},
url = {https://doi.org/10.1016/j.ijhcs.2020.102573},
doi = {10.1016/J.IJHCS.2020.102573},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijmms/FrauneKZPNADHST21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/FandinnoLRSS21,
author = {Jorge Fandinno and
Fran{\c{c}}ois Laferri{\`{e}}re and
Javier Romero and
Torsten Schaub and
Tran Cao Son},
title = {Planning with Incomplete Information in Quantified Answer Set Programming},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {5},
pages = {663--679},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000259},
doi = {10.1017/S1471068421000259},
timestamp = {Wed, 15 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/FandinnoLRSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TrieuSB21,
author = {Ly Ly T. Trieu and
Tran Cao Son and
Marcello Balduccini},
editor = {Joaqu{\'{\i}}n Arias and
Fabio Aurelio D'Asaro and
Abeer Dyoub and
Gopal Gupta and
Markus Hecher and
Emily LeBlanc and
Rafael Pe{\~{n}}aloza and
Elmer Salazar and
Ari Saptawijaya and
Felix Weitk{\"{a}}mper and
Jessica Zangari},
title = {exp(ASPc): Explaining {ASP} Programs with Choice Atoms and Constraint
Rules},
booktitle = {Proceedings of the International Conference on Logic Programming 2021
Workshops co-located with the 37th International Conference on Logic
Programming {(ICLP} 2021), Porto, Portugal (virtual), September 20th-21st,
2021},
series = {{CEUR} Workshop Proceedings},
volume = {2970},
publisher = {CEUR-WS.org},
year = {2021},
url = {https://ceur-ws.org/Vol-2970/causalpaper5.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/TrieuSB21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SonNV021,
author = {Tran Cao Son and
Van Nguyen and
Stylianos Loukas Vasileiou and
William Yeoh},
editor = {Wolfgang Faber and
Gerhard Friedrich and
Martin Gebser and
Michael Morak},
title = {Model Reconciliation in Logic Programs},
booktitle = {Logics in Artificial Intelligence - 17th European Conference, {JELIA}
2021, Virtual Event, May 17-20, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12678},
pages = {393--406},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-75775-5\_26},
doi = {10.1007/978-3-030-75775-5\_26},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/SonNV021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/TardivoPSP21,
author = {Fabio Tardivo and
Loc Pham and
Tran Cao Son and
Enrico Pontelli},
editor = {Jos{\'{e}} F. Morales and
Dominic A. Orchard},
title = {A Logic Programming Approach to Regression Based Repair of Incorrect
Initial Belief States},
booktitle = {Practical Aspects of Declarative Languages - 23rd International Symposium,
{PADL} 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12548},
pages = {73--89},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-67438-0\_5},
doi = {10.1007/978-3-030-67438-0\_5},
timestamp = {Fri, 23 Apr 2021 09:00:31 +0200},
biburl = {https://dblp.org/rec/conf/padl/TardivoPSP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/FabianoBDPS21,
author = {Francesco Fabiano and
Alessandro Burigana and
Agostino Dovier and
Enrico Pontelli and
Tran Cao Son},
editor = {Duc Nghia Pham and
Thanaruk Theeramunkong and
Guido Governatori and
Fenrong Liu},
title = {Multi-agent Epistemic Planning with Inconsistent Beliefs, Trust and
Lies},
booktitle = {{PRICAI} 2021: Trends in Artificial Intelligence - 18th Pacific Rim
International Conference on Artificial Intelligence, {PRICAI} 2021,
Hanoi, Vietnam, November 8-12, 2021, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13031},
pages = {586--597},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-89188-6\_44},
doi = {10.1007/978-3-030-89188-6\_44},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pricai/FabianoBDPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/NguyenS021,
author = {Van Nguyen and
Tran Cao Son and
William Yeoh},
editor = {Hang Ma and
Ivan Serina},
title = {Explainable Problem in clingo-dl Programs},
booktitle = {Proceedings of the Fourteenth International Symposium on Combinatorial
Search, {SOCS} 2021, Virtual Conference [Jinan, China], July 26-30,
2021},
pages = {231--232},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/socs.v12i1.18593},
doi = {10.1609/SOCS.V12I1.18593},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/NguyenS021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wf-iot/BundasNNSBS21,
author = {Matthew Bundas and
Chasity Nadeau and
Thanh Hai Nguyen and
Jeannine Shantz and
Marcello Balduccini and
Tran Cao Son},
title = {Towards a Framework for Characterizing the Behavior of AI-Enabled
Cyber-Physical and IoT Systems},
booktitle = {7th {IEEE} World Forum on Internet of Things, WF-IoT 2021, New Orleans,
LA, USA, June 14 - July 31, 2021},
pages = {551--556},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/WF-IoT51360.2021.9595077},
doi = {10.1109/WF-IOT51360.2021.9595077},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wf-iot/BundasNNSBS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08288,
author = {Poom Pianpak and
Tran Cao Son},
editor = {Andrea Formisano and
Yanhong Annie Liu and
Bart Bogaerts and
Alex Brik and
Ver{\'{o}}nica Dahl and
Carmine Dodaro and
Paul Fodor and
Gian Luca Pozzato and
Joost Vennekens and
Neng{-}Fa Zhou},
title = {{DMAPF:} {A} Decentralized and Distributed Solver for Multi-Agent
Path Finding Problem with Obstacles},
booktitle = {Proceedings 37th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2021, Porto (virtual
event), 20-27th September 2021},
series = {{EPTCS}},
volume = {345},
pages = {99--112},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.345.24},
doi = {10.4204/EPTCS.345.24},
timestamp = {Mon, 03 Jan 2022 22:03:23 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08288.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-08292,
author = {Ly Ly T. Trieu and
Tran Cao Son and
Marcello Balduccini},
editor = {Andrea Formisano and
Yanhong Annie Liu and
Bart Bogaerts and
Alex Brik and
Ver{\'{o}}nica Dahl and
Carmine Dodaro and
Paul Fodor and
Gian Luca Pozzato and
Joost Vennekens and
Neng{-}Fa Zhou},
title = {exp(ASPc) : Explaining {ASP} Programs with Choice Atoms and Constraint
Rules},
booktitle = {Proceedings 37th International Conference on Logic Programming (Technical
Communications), {ICLP} Technical Communications 2021, Porto (virtual
event), 20-27th September 2021},
series = {{EPTCS}},
volume = {345},
pages = {155--161},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.345.28},
doi = {10.4204/EPTCS.345.28},
timestamp = {Mon, 29 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-08292.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-08963,
author = {Ly Ly T. Trieu and
Tran Cao Son and
Enrico Pontelli and
Marcello Balduccini},
title = {Generating explanations for answer set programming applications},
journal = {CoRR},
volume = {abs/2104.08963},
year = {2021},
url = {https://arxiv.org/abs/2104.08963},
eprinttype = {arXiv},
eprint = {2104.08963},
timestamp = {Mon, 26 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-08963.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-06405,
author = {Jorge Fandinno and
Fran{\c{c}}ois Laferri{\`{e}}re and
Javier Romero and
Torsten Schaub and
Tran Cao Son},
title = {Planning with Incomplete Information in Quantified Answer Set Programming},
journal = {CoRR},
volume = {abs/2108.06405},
year = {2021},
url = {https://arxiv.org/abs/2108.06405},
eprinttype = {arXiv},
eprint = {2108.06405},
timestamp = {Wed, 18 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-06405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SakamaS20,
author = {Chiaki Sakama and
Tran Cao Son},
title = {Epistemic Argumentation Framework: Theory and Computation},
journal = {J. Artif. Intell. Res.},
volume = {69},
pages = {1103--1126},
year = {2020},
url = {https://doi.org/10.1613/jair.1.12121},
doi = {10.1613/JAIR.1.12121},
timestamp = {Tue, 15 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/SakamaS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HannaTSD20,
author = {Botros N. Hanna and
Ly Ly T. Trieu and
Tran Cao Son and
Nam T. Dinh},
title = {An Application of {ASP} in Nuclear Engineering: Explaining the Three
Mile Island Nuclear Accident Scenario},
journal = {Theory Pract. Log. Program.},
volume = {20},
number = {6},
pages = {926--941},
year = {2020},
url = {https://doi.org/10.1017/S1471068420000241},
doi = {10.1017/S1471068420000241},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HannaTSD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/NguyenSS020,
author = {Van Nguyen and
Tran Cao Son and
Vasileiou Loukas Stylianos and
William Yeoh},
editor = {Amal El Fallah Seghrouchni and
Gita Sukthankar and
Bo An and
Neil Yorke{-}Smith},
title = {Conditional Updates of Answer Set Programming and Its Application
in Explainable Planning},
booktitle = {Proceedings of the 19th International Conference on Autonomous Agents
and Multiagent Systems, {AAMAS} '20, Auckland, New Zealand, May 9-13,
2020},
pages = {1954--1956},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems},
year = {2020},
url = {https://dl.acm.org/doi/10.5555/3398761.3399039},
doi = {10.5555/3398761.3399039},
timestamp = {Tue, 26 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/NguyenSS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BalducciniGPS20,
author = {Marcello Balduccini and
Michael Gelfond and
Enrico Pontelli and
Tran Cao Son},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {An Answer Set Programming Framework for Reasoning about Agents' Beliefs
and Truthfulness of Statements},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {69--78},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/8},
doi = {10.24963/KR.2020/8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BalducciniGPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/NguyenSS020,
author = {Van Nguyen and
Vasileiou Loukas Stylianos and
Tran Cao Son and
William Yeoh},
editor = {Diego Calvanese and
Esra Erdem and
Michael Thielscher},
title = {Explainable Planning Using Answer Set Programming},
booktitle = {Proceedings of the 17th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2020, Rhodes, Greece,
September 12-18, 2020},
pages = {662--666},
year = {2020},
url = {https://doi.org/10.24963/kr.2020/66},
doi = {10.24963/KR.2020/66},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/NguyenSS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/NguyenPS20,
author = {Thanh Hai Nguyen and
Enrico Pontelli and
Tran Cao Son},
editor = {Ekaterina Komendantskaya and
Yanhong Annie Liu},
title = {On Repairing Web Services Workflows},
booktitle = {Practical Aspects of Declarative Languages - 22nd International Symposium,
{PADL} 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12007},
pages = {37--53},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39197-3\_3},
doi = {10.1007/978-3-030-39197-3\_3},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/NguyenPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/NguyenSBBGG20,
author = {Thanh Hai Nguyen and
Tran Cao Son and
Matthew Bundas and
Marcello Balduccini and
Kathleen Campbell Garwood and
Edward R. Griffor},
editor = {Takahiro Uchiya and
Quan Bai and
Ivan Mars{\'{a}}{-}Maestre},
title = {Reasoning About Trustworthiness in Cyber-Physical Systems Using Ontology-Based
Representation and {ASP}},
booktitle = {{PRIMA} 2020: Principles and Practice of Multi-Agent Systems - 23rd
International Conference, Nagoya, Japan, November 18-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12568},
pages = {51--67},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-69322-0\_4},
doi = {10.1007/978-3-030-69322-0\_4},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prima/NguyenSBBGG20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-01253,
author = {Botros N. Hanna and
Ly Ly T. Trieu and
Tran Cao Son and
Nam T. Dinh},
title = {An Application of {ASP} in Nuclear Engineering: Explaining the Three
Mile Island Nuclear Accident Scenario},
journal = {CoRR},
volume = {abs/2008.01253},
year = {2020},
url = {https://arxiv.org/abs/2008.01253},
eprinttype = {arXiv},
eprint = {2008.01253},
timestamp = {Tue, 13 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-01253.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-09006,
author = {Stylianos Loukas Vasileiou and
William Yeoh and
Tran Cao Son},
title = {On the Relationship Between {KR} Approaches for Explainable Planning},
journal = {CoRR},
volume = {abs/2011.09006},
year = {2020},
url = {https://arxiv.org/abs/2011.09006},
eprinttype = {arXiv},
eprint = {2011.09006},
timestamp = {Wed, 25 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-09006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-09938,
author = {Pratyay Banerjee and
Chitta Baral and
Man Luo and
Arindam Mitra and
Kuntal Kumar Pal and
Tran Cao Son and
Neeraj Varshney},
title = {Can Transformers Reason About Effects of Actions?},
journal = {CoRR},
volume = {abs/2012.09938},
year = {2020},
url = {https://arxiv.org/abs/2012.09938},
eprinttype = {arXiv},
eprint = {2012.09938},
timestamp = {Fri, 31 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-09938.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/KahlLS19,
author = {Patrick Thor Kahl and
Anthony P. Leclerc and
Tran Cao Son},
title = {A parallel memory-efficient epistemic logic program solver: harder,
better, faster},
journal = {Ann. Math. Artif. Intell.},
volume = {86},
number = {1-3},
pages = {61--85},
year = {2019},
url = {https://doi.org/10.1007/s10472-019-09621-1},
doi = {10.1007/S10472-019-09621-1},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/KahlLS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DungTS19,
author = {Phan Minh Dung and
Phan Minh Thang and
Tran Cao Son},
title = {On Structured Argumentation with Conditional Preferences},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2792--2800},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012792},
doi = {10.1609/AAAI.V33I01.33012792},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/DungTS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LeSP19,
author = {Tiep Le and
Tran Cao Son and
Enrico Pontelli},
title = {Multi-Context System for Optimization Problems},
booktitle = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI}
2019, The Thirty-First Innovative Applications of Artificial Intelligence
Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational
Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii,
USA, January 27 - February 1, 2019},
pages = {2929--2937},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/aaai.v33i01.33012929},
doi = {10.1609/AAAI.V33I01.33012929},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaai/LeSP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dai2/PianpakST019,
author = {Poom Pianpak and
Tran Cao Son and
Phoebe O. Toups Dugas and
William Yeoh},
title = {A distributed solver for multi-agent path finding problems},
booktitle = {Proceedings of the First International Conference on Distributed Artificial
Intelligence, {DAI} 2019, Beijing, China, October 13-15, 2019},
pages = {2:1--2:7},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3356464.3357702},
doi = {10.1145/3356464.3357702},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dai2/PianpakST019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/DoDS19,
author = {Quan T. Do and
Alexa K. Doig and
Tran Cao Son},
title = {Deep Q-learning for Predicting Asthma Attack with Considering Personalized
Environmental Triggers' Risk Scores},
booktitle = {41st Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2019, Berlin, Germany, July 23-27,
2019},
pages = {562--565},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EMBC.2019.8857172},
doi = {10.1109/EMBC.2019.8857172},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/DoDS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euspn/DoDSC19,
author = {Quan T. Do and
Alexa K. Doig and
Tran Cao Son and
Jamil M. Chaudri},
editor = {Elhadi M. Shakshuki and
Ansar{-}Ul{-}Haque Yasar and
Haroon Malik},
title = {Predicting Lung Healthiness Risk Scores to Identify Probability of
an Asthma Attack},
booktitle = {The 10th International Conference on Emerging Ubiquitous Systems and
Pervasive Networks {(EUSPN} 2019) / The 9th International Conference
on Current and Future Trends of Information and Communication Technologies
in Healthcare {(ICTH-2019)} / Affiliated Workshops, Coimbra, Portugal,
November 4-7, 2019},
series = {Procedia Computer Science},
volume = {160},
pages = {424--431},
publisher = {Elsevier},
year = {2019},
url = {https://doi.org/10.1016/j.procs.2019.11.071},
doi = {10.1016/J.PROCS.2019.11.071},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euspn/DoDSC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/NguyenSP19,
author = {Van Nguyen and
Tran Cao Son and
Enrico Pontelli},
editor = {Jos{\'{e}} J{\'{u}}lio Alferes and
Moa Johansson},
title = {Natural Language Generation from Ontologies},
booktitle = {Practical Aspects of Declarative Languages - 21th International Symposium,
{PADL} 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11372},
pages = {64--81},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-05998-9\_5},
doi = {10.1007/978-3-030-05998-9\_5},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/NguyenSP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/SakamaS19,
author = {Chiaki Sakama and
Tran Cao Son},
editor = {Abhaya C. Nayak and
Alok Sharma},
title = {Epistemic Argumentation Framework},
booktitle = {{PRICAI} 2019: Trends in Artificial Intelligence - 16th Pacific Rim
International Conference on Artificial Intelligence, Cuvu, Yanuca
Island, Fiji, August 26-30, 2019, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {11670},
pages = {718--732},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-29908-8\_56},
doi = {10.1007/978-3-030-29908-8\_56},
timestamp = {Wed, 25 Sep 2019 18:21:16 +0200},
biburl = {https://dblp.org/rec/conf/pricai/SakamaS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/Nguyen0SKL19,
author = {Van Nguyen and
William Yeoh and
Tran Cao Son and
Vladik Kreinovich and
Tiep Le},
editor = {Matteo Baldoni and
Mehdi Dastani and
Beishui Liao and
Yuko Sakurai and
Rym Zalila{-}Wenkstern},
title = {A Scheduler for Smart Homes with Probabilistic User Preferences},
booktitle = {{PRIMA} 2019: Principles and Practice of Multi-Agent Systems - 22nd
International Conference, Turin, Italy, October 28-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11873},
pages = {138--152},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-33792-6\_9},
doi = {10.1007/978-3-030-33792-6\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prima/Nguyen0SKL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/socs/NguyenOSS019,
author = {Van Nguyen and
Philipp Obermeier and
Tran Cao Son and
Torsten Schaub and
William Yeoh},
editor = {Pavel Surynek and
William Yeoh},
title = {Generalized Target Assignment and Path Finding Using Answer Set Programming},
booktitle = {Proceedings of the Twelfth International Symposium on Combinatorial
Search, {SOCS} 2019, Napa, California, 16-17 July 2019},
pages = {194--195},
publisher = {{AAAI} Press},
year = {2019},
url = {https://doi.org/10.1609/socs.v10i1.18487},
doi = {10.1609/SOCS.V10I1.18487},
timestamp = {Mon, 18 Dec 2023 04:11:03 +0100},
biburl = {https://dblp.org/rec/conf/socs/NguyenOSS019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1909-08250,
author = {Van Duc Nguyen and
Tran Cao Son and
Enrico Pontelli},
editor = {Bart Bogaerts and
Esra Erdem and
Paul Fodor and
Andrea Formisano and
Giovambattista Ianni and
Daniela Inclezan and
Germ{\'{a}}n Vidal and
Alicia Villanueva and
Marina De Vos and
Fangkai Yang},
title = {Natural Language Generation for Non-Expert Users},
booktitle = {Proceedings 35th International Conference on Logic Programming (Technical
Communications), {ICLP} 2019 Technical Communications, Las Cruces,
NM, USA, September 20-25, 2019},
series = {{EPTCS}},
volume = {306},
pages = {280--294},
year = {2019},
url = {https://doi.org/10.4204/EPTCS.306.33},
doi = {10.4204/EPTCS.306.33},
timestamp = {Mon, 03 Jan 2022 22:03:32 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-08250.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/LeSP18,
author = {Tiep Le and
Tran Cao Son and
Enrico Pontelli},
title = {Multi-Context Systems with Preferences},
journal = {Fundam. Informaticae},
volume = {158},
number = {1-3},
pages = {171--216},
year = {2018},
url = {https://doi.org/10.3233/FI-2018-1646},
doi = {10.3233/FI-2018-1646},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/LeSP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ki/SonB18,
author = {Tran Cao Son and
Marcello Balduccini},
title = {Answer Set Planning in Single- and Multi-agent Environments},
journal = {K{\"{u}}nstliche Intell.},
volume = {32},
number = {2-3},
pages = {133--141},
year = {2018},
url = {https://doi.org/10.1007/s13218-018-0546-8},
doi = {10.1007/S13218-018-0546-8},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ki/SonB18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/LeiteSTW18,
author = {Jo{\~{a}}o Leite and
Tran Cao Son and
Paolo Torroni and
Stefan Woltran},
title = {Preface to the Special Issue on Computational Logic in Multi-Agent
Systems {(CLIMA} {XIV)}},
journal = {J. Log. Comput.},
volume = {28},
number = {3},
pages = {475--476},
year = {2018},
url = {https://doi.org/10.1093/logcom/exv005},
doi = {10.1093/LOGCOM/EXV005},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/LeiteSTW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GebserOOS18,
author = {Martin Gebser and
Philipp Obermeier and
Thomas Otto and
Torsten Schaub and
Orkunt Sabuncu and
Van Nguyen and
Tran Cao Son},
title = {Experimenting with robotic intra-logistics domains},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {502--519},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000200},
doi = {10.1017/S1471068418000200},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GebserOOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/NguyenPS18,
author = {Thanh Hai Nguyen and
Enrico Pontelli and
Tran Cao Son},
title = {Phylotastic: An Experiment in Creating, Manipulating, and Evolving
Phylogenetic Biology Workflows Using Logic Programming},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {3-4},
pages = {656--672},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000236},
doi = {10.1017/S1471068418000236},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/NguyenPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/LeFSP18,
author = {Tiep Le and
Francesco Fabiano and
Tran Cao Son and
Enrico Pontelli},
editor = {Mathijs de Weerdt and
Sven Koenig and
Gabriele R{\"{o}}ger and
Matthijs T. J. Spaan},
title = {{EFP} and {PG-EFP:} Epistemic Forward Search Planners in Multi-Agent
Domains},
booktitle = {Proceedings of the Twenty-Eighth International Conference on Automated
Planning and Scheduling, {ICAPS} 2018, Delft, The Netherlands, June
24-29, 2018},
pages = {161--170},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/ICAPS/ICAPS18/paper/view/17733},
timestamp = {Mon, 25 Jun 2018 13:32:06 +0200},
biburl = {https://dblp.org/rec/conf/aips/LeFSP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LeTT0S18,
author = {Tiep Le and
Atena M. Tabakhi and
Long Tran{-}Thanh and
William Yeoh and
Tran Cao Son},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Preference Elicitation with Interdependency and User Bother Cost},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1459--1467},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3237918},
timestamp = {Sat, 30 Sep 2023 09:34:53 +0200},
biburl = {https://dblp.org/rec/conf/atal/LeTT0S18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/ChowdhuryKS018,
author = {Moinul Morshed Porag Chowdhury and
Christopher Kiekintveld and
Tran Cao Son and
William Yeoh},
editor = {Elisabeth Andr{\'{e}} and
Sven Koenig and
Mehdi Dastani and
Gita Sukthankar},
title = {Bidding Strategy for Periodic Double Auctions Using Monte Carlo Tree
Search},
booktitle = {Proceedings of the 17th International Conference on Autonomous Agents
and MultiAgent Systems, {AAMAS} 2018, Stockholm, Sweden, July 10-15,
2018},
pages = {1897--1899},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
Richland, SC, {USA} / {ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3238016},
timestamp = {Mon, 16 Jul 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/ChowdhuryKS018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/DoDSC18,
author = {Quan T. Do and
Alexa K. Doig and
Tran Cao Son and
Jamil M. Chaudri},
title = {Personalized Prediction of Asthma Severity and Asthma Attack for a
Personalized Treatment Regimen},
booktitle = {40th Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2018, Honolulu, HI, USA, July
18-21, 2018},
pages = {1--5},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/EMBC.2018.8513281},
doi = {10.1109/EMBC.2018.8513281},
timestamp = {Sat, 30 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/DoDSC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NguyenSP18,
author = {Van Duc Nguyen and
Tran Cao Son and
Enrico Pontelli},
editor = {Alessandro Dal Pal{\`{u}} and
Paul Tarau and
Neda Saeedloei and
Paul Fodor},
title = {Explanations Generation For Web Service Workflow},
booktitle = {Technical Communications of the 34th International Conference on Logic
Programming, {ICLP} 2018, July 14-17, 2018, Oxford, United Kingdom},
series = {OASIcs},
volume = {64},
pages = {14:1--14:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/OASIcs.ICLP.2018.14},
doi = {10.4230/OASICS.ICLP.2018.14},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/iclp/NguyenSP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/NguyenSP18,
author = {Thanh Hai Nguyen and
Tran Cao Son and
Enrico Pontelli},
editor = {Francesco Calimeri and
Kevin W. Hamlen and
Nicola Leone},
title = {Automatic Web Services Composition for Phylotastic},
booktitle = {Practical Aspects of Declarative Languages - 20th International Symposium,
{PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10702},
pages = {186--202},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73305-0\_13},
doi = {10.1007/978-3-319-73305-0\_13},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/NguyenSP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/PianpakST18,
author = {Poom Pianpak and
Tran Cao Son and
Phoebe O. Toups Dugas},
editor = {Tim Miller and
Nir Oren and
Yuko Sakurai and
Itsuki Noda and
Bastin Tony Roy Savarimuthu and
Tran Cao Son},
title = {A Multi-agent Simulator Environment Based on the Robot Operating System
for Human-Robot Interaction Applications},
booktitle = {{PRIMA} 2018: Principles and Practice of Multi-Agent Systems - 21st
International Conference, Tokyo, Japan, October 29 - November 2, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11224},
pages = {612--620},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03098-8\_48},
doi = {10.1007/978-3-030-03098-8\_48},
timestamp = {Tue, 06 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/PianpakST18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atal/2017emas,
editor = {Amal El Fallah Seghrouchni and
Alessandro Ricci and
Tran Cao Son},
title = {Engineering Multi-Agent Systems - 5th International Workshop, {EMAS}
2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10738},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-91899-0},
doi = {10.1007/978-3-319-91899-0},
isbn = {978-3-319-91898-3},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/2017emas.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2017,
editor = {Ricardo Rocha and
Tran Cao Son and
Christopher Mears and
Neda Saeedloei},
title = {Technical Communications of the 33rd International Conference on Logic
Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
Australia},
series = {OASIcs},
volume = {58},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-058-3},
isbn = {978-3-95977-058-3},
timestamp = {Tue, 15 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prima/2018,
editor = {Tim Miller and
Nir Oren and
Yuko Sakurai and
Itsuki Noda and
Bastin Tony Roy Savarimuthu and
Tran Cao Son},
title = {{PRIMA} 2018: Principles and Practice of Multi-Agent Systems - 21st
International Conference, Tokyo, Japan, October 29 - November 2, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11224},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-03098-8},
doi = {10.1007/978-3-030-03098-8},
isbn = {978-3-030-03097-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10247,
author = {Martin Gebser and
Philipp Obermeier and
Thomas Otto and
Torsten Schaub and
Orkunt Sabuncu and
Van Nguyen and
Tran Cao Son},
title = {Experimenting with robotic intra-logistics domains},
journal = {CoRR},
volume = {abs/1804.10247},
year = {2018},
url = {http://arxiv.org/abs/1804.10247},
eprinttype = {arXiv},
eprint = {1804.10247},
timestamp = {Tue, 24 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10247.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-00185,
author = {Thanh Hai Nguyen and
Enrico Pontelli and
Tran Cao Son},
title = {Phylotastic: An Experiment in Creating, Manipulating, and Evolving
Phylogenetic Biology Workflows Using Logic Programming},
journal = {CoRR},
volume = {abs/1805.00185},
year = {2018},
url = {http://arxiv.org/abs/1805.00185},
eprinttype = {arXiv},
eprint = {1805.00185},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-00185.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/AndersonBBBEGGI17,
author = {Monica Anderson and
Roman Bart{\'{a}}k and
John S. Brownstein and
David L. Buckeridge and
Hoda Eldardiry and
Christopher W. Geib and
Maria L. Gini and
Aaron Isaksen and
Sarah Keren and
Robert Laddaga and
Viliam Lis{\'{y}} and
Rodney Martin and
David R. Martinez and
Martin Michalowski and
Loizos Michael and
Reuth Mirsky and
Thanh Hai Nguyen and
Michael J. Paul and
Enrico Pontelli and
Scott Sanner and
Arash Shaban{-}Nejad and
Arunesh Sinha and
Shirin Sohrabi and
Kumar Sricharan and
Biplav Srivastava and
Mark Stefik and
William W. Streilein and
Nathan R. Sturtevant and
Kartik Talamadupula and
Michael Thielscher and
Julian Togelius and
Tran Cao Son and
Long Tran{-}Thanh and
Neal Wagner and
Byron C. Wallace and
Szymon Wilk and
Jichen Zhu},
title = {Reports of the Workshops of the Thirty-First {AAAI} Conference on
Artificial Intelligence},
journal = {{AI} Mag.},
volume = {38},
number = {3},
pages = {72--82},
year = {2017},
url = {https://doi.org/10.1609/aimag.v38i3.2755},
doi = {10.1609/AIMAG.V38I3.2755},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aim/AndersonBBBEGGI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/LeSPY17,
author = {Tiep Le and
Tran Cao Son and
Enrico Pontelli and
William Yeoh},
title = {Solving distributed constraint optimization problems using logic programming},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {4},
pages = {634--683},
year = {2017},
url = {https://doi.org/10.1017/S147106841700014X},
doi = {10.1017/S147106841700014X},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/LeSPY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/RochaS17,
author = {Ricardo Rocha and
Tran Cao Son},
title = {Introduction to the 33rd international conference on logic programming
special issue},
journal = {Theory Pract. Log. Program.},
volume = {17},
number = {5-6},
pages = {684--688},
year = {2017},
url = {https://doi.org/10.1017/S1471068417000448},
doi = {10.1017/S1471068417000448},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/RochaS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euspn/DoSC17,
author = {Quan T. Do and
Tran Cao Son and
Jamil M. Chaudri},
editor = {Elhadi M. Shakshuki},
title = {Classification of Asthma Severity and Medication Using TensorFlow
and Multilevel Databases},
booktitle = {The 8th International Conference on Emerging Ubiquitous Systems and
Pervasive Networks {(EUSPN} 2017) / The 7th International Conference
on Current and Future Trends of Information and Communication Technologies
in Healthcare {(ICTH-2017)} / Affiliated Workshops, September 18-20,
2017, Lund, Sweden},
series = {Procedia Computer Science},
volume = {113},
pages = {344--351},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.procs.2017.08.343},
doi = {10.1016/J.PROCS.2017.08.343},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/euspn/DoSC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/NguyenOSS017,
author = {Van Nguyen and
Philipp Obermeier and
Tran Cao Son and
Torsten Schaub and
William Yeoh},
editor = {Carles Sierra},
title = {Generalized Target Assignment and Path Finding Using Answer Set Programming},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1216--1223},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/169},
doi = {10.24963/IJCAI.2017/169},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ijcai/NguyenOSS017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SonLKL17,
author = {Tran Cao Son and
Tiep Le and
Patrick Thor Kahl and
Anthony P. Leclerc},
editor = {Carles Sierra},
title = {On Computing World Views of Epistemic Logic Programs},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {1269--1275},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/176},
doi = {10.24963/IJCAI.2017/176},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SonLKL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ToSP17,
author = {Son Thanh To and
Tran Cao Son and
Enrico Pontelli},
editor = {Carles Sierra},
title = {A generic approach to planning in the presence of incomplete information:
Theory and implementation (Extended Abstract)},
booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on
Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August
19-25, 2017},
pages = {5075--5079},
publisher = {ijcai.org},
year = {2017},
url = {https://doi.org/10.24963/ijcai.2017/725},
doi = {10.24963/IJCAI.2017/725},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ToSP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/0003SS17,
author = {Javier Romero and
Torsten Schaub and
Tran Cao Son},
editor = {Bart Bogaerts and
Amelia Harrison},
title = {Generalized Answer Set Planning with Incomplete Information},
booktitle = {Proceedings of the 10th Workshop on Answer Set Programming and Other
Computing Paradigms co-located with the 14th International Conference
on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017,
Espoo, Finland, July 3, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1868},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1868/p2.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:44 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/0003SS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/Son17,
author = {Tran Cao Son},
editor = {Marcello Balduccini and
Tomi Janhunen},
title = {Answer Set Programming and Its Applications in Planning and Multi-agent
Systems},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 14th International
Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10377},
pages = {23--35},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61660-5\_3},
doi = {10.1007/978-3-319-61660-5\_3},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/Son17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/BaralS17,
author = {Chitta Baral and
Tran Cao Son},
editor = {Bo An and
Ana L. C. Bazzan and
Jo{\~{a}}o Leite and
Serena Villata and
Leendert W. N. van der Torre},
title = {Revision and Updates in Possibly Action-Occurrence-Incomplete Narratives},
booktitle = {{PRIMA} 2017: Principles and Practice of Multi-Agent Systems - 20th
International Conference, Nice, France, October 30 - November 3, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10621},
pages = {53--70},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69131-2\_4},
doi = {10.1007/978-3-319-69131-2\_4},
timestamp = {Fri, 07 Aug 2020 08:55:19 +0200},
biburl = {https://dblp.org/rec/conf/prima/BaralS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LeSP017,
author = {Tiep Le and
Tran Cao Son and
Enrico Pontelli and
William Yeoh},
title = {Solving Distributed Constraint Optimization Problems Using Logic Programming},
journal = {CoRR},
volume = {abs/1705.03916},
year = {2017},
url = {http://arxiv.org/abs/1705.03916},
eprinttype = {arXiv},
eprint = {1705.03916},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LeSP017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/AlbrechtBBBCCDF16,
author = {Stefano V. Albrecht and
Bruno Bouchard and
John S. Brownstein and
David L. Buckeridge and
Cornelia Caragea and
Kevin M. Carter and
Adnan Darwiche and
Blaz Fortuna and
Yannick Francillette and
S{\'{e}}bastien Gaboury and
C. Lee Giles and
Marko Grobelnik and
Estevam R. Hruschka Jr. and
Jeffrey O. Kephart and
Parisa Kordjamshidi and
Viliam Lis{\'{y}} and
Daniele Magazzeni and
Jo{\~{a}}o Marques{-}Silva and
Pierre Marquis and
David R. Martinez and
Marek P. Michalowski and
Arash Shaban{-}Nejad and
Zeinab Noorian and
Enrico Pontelli and
Alex Rogers and
Stephanie Rosenthal and
Dan Roth and
Arunesh Sinha and
William W. Streilein and
Sylvie Thi{\'{e}}baux and
Tran Cao Son and
Byron C. Wallace and
Toby Walsh and
Michael Witbrock and
Jie Zhang},
title = {Reports of the 2016 {AAAI} Workshop Program},
journal = {{AI} Mag.},
volume = {37},
number = {3},
pages = {99--108},
year = {2016},
url = {https://doi.org/10.1609/aimag.v37i3.2680},
doi = {10.1609/AIMAG.V37I3.2680},
timestamp = {Tue, 18 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/AlbrechtBBBCCDF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SonSSSY16,
author = {Tran Cao Son and
Orkunt Sabuncu and
Christian Schulz{-}Hanke and
Torsten Schaub and
William Yeoh},
editor = {Dale Schuurmans and
Michael P. Wellman},
title = {Solving Goal Recognition Design Using {ASP}},
booktitle = {Proceedings of the Thirtieth {AAAI} Conference on Artificial Intelligence,
February 12-17, 2016, Phoenix, Arizona, {USA}},
pages = {3181--3187},
publisher = {{AAAI} Press},
year = {2016},
url = {https://doi.org/10.1609/aaai.v30i1.10407},
doi = {10.1609/AAAI.V30I1.10407},
timestamp = {Mon, 04 Sep 2023 15:08:28 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SonSSSY16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LeF0SP16,
author = {Tiep Le and
Ferdinando Fioretto and
William Yeoh and
Tran Cao Son and
Enrico Pontelli},
editor = {Catholijn M. Jonker and
Stacy Marsella and
John Thangarajah and
Karl Tuyls},
title = {ER-DCOPs: {A} Framework for Distributed Constraint Optimization with
Uncertainty in Constraint Utilities},
booktitle = {Proceedings of the 2016 International Conference on Autonomous Agents
{\&} Multiagent Systems, Singapore, May 9-13, 2016},
pages = {606--614},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2937014},
timestamp = {Fri, 20 May 2016 20:33:29 +0200},
biburl = {https://dblp.org/rec/conf/atal/LeF0SP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SonPGB16,
author = {Tran Cao Son and
Enrico Pontelli and
Michael Gelfond and
Marcello Balduccini},
editor = {Manuel Carro and
Andy King and
Neda Saeedloei and
Marina De Vos},
title = {An Answer Set Programming Framework for Reasoning About Truthfulness
of Statements by Agents},
booktitle = {Technical Communications of the 32nd International Conference on Logic
Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
{USA}},
series = {OASIcs},
volume = {52},
pages = {8:1--8:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/OASIcs.ICLP.2016.8},
doi = {10.4230/OASICS.ICLP.2016.8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SonPGB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/WayllaceH0S16,
author = {Christabel Wayllace and
Ping Hou and
William Yeoh and
Tran Cao Son},
editor = {Subbarao Kambhampati},
title = {Goal Recognition Design with Stochastic Agent Action Outcomes},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July
2016},
pages = {3279--3285},
publisher = {{IJCAI/AAAI} Press},
year = {2016},
url = {http://www.ijcai.org/Abstract/16/464},
timestamp = {Tue, 20 Aug 2019 16:19:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/WayllaceH0S16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SonPGB16,
author = {Tran Cao Son and
Enrico Pontelli and
Michael Gelfond and
Marcello Balduccini},
editor = {Chitta Baral and
James P. Delgrande and
Frank Wolter},
title = {Reasoning about Truthfulness of Agents Using Answer Set Programming},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Fifteenth International Conference, {KR} 2016, Cape Town, South
Africa, April 25-29, 2016},
pages = {605--608},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12896},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/SonPGB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/DungST16,
author = {Phan Minh Dung and
Tran Cao Son and
Phan Minh Thang},
editor = {Matteo Baldoni and
Amit K. Chopra and
Tran Cao Son and
Katsutoshi Hirayama and
Paolo Torroni},
title = {Argumentation-Based Semantics for Logic Programs with First-Order
Formulae},
booktitle = {{PRIMA} 2016: Princiles and Practice of Multi-Agent Systems - 19th
International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9862},
pages = {43--60},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44832-9\_3},
doi = {10.1007/978-3-319-44832-9\_3},
timestamp = {Fri, 27 Mar 2020 08:49:36 +0100},
biburl = {https://dblp.org/rec/conf/prima/DungST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/BaralSGM16,
author = {Chitta Baral and
Tran Cao Son and
Michael Gelfond and
Arindam Mitra},
editor = {Matteo Baldoni and
Amit K. Chopra and
Tran Cao Son and
Katsutoshi Hirayama and
Paolo Torroni},
title = {Plan Failure Analysis: Formalization and Application in Interactive
Planning Through Natural Language Communication},
booktitle = {{PRIMA} 2016: Princiles and Practice of Multi-Agent Systems - 19th
International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9862},
pages = {376--386},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44832-9\_25},
doi = {10.1007/978-3-319-44832-9\_25},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/BaralSGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2016grid,
editor = {Enrico Pontelli and
Alex Rogers and
Sylvie Thi{\'{e}}baux and
Tran Cao Son},
title = {{AI} for Smart Grids and Smart Buildings, Papers from the 2016 {AAAI}
Workshop, Phoenix, Arizona, USA, February 12, 2016},
series = {{AAAI} Technical Report},
volume = {{WS-16-04}},
publisher = {{AAAI} Press},
year = {2016},
url = {http://www.aaai.org/Library/Workshops/ws16-04.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/2016grid.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/prima/2016,
editor = {Matteo Baldoni and
Amit K. Chopra and
Tran Cao Son and
Katsutoshi Hirayama and
Paolo Torroni},
title = {{PRIMA} 2016: Princiles and Practice of Multi-Agent Systems - 19th
International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9862},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-44832-9},
doi = {10.1007/978-3-319-44832-9},
isbn = {978-3-319-44831-2},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/prima/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KahlLS16,
author = {Patrick Thor Kahl and
Anthony P. Leclerc and
Tran Cao Son},
title = {A Parallel Memory-efficient Epistemic Logic Program Solver: Harder,
Better, Faster},
journal = {CoRR},
volume = {abs/1608.06910},
year = {2016},
url = {http://arxiv.org/abs/1608.06910},
eprinttype = {arXiv},
eprint = {1608.06910},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KahlLS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/ToSP15,
author = {Son Thanh To and
Tran Cao Son and
Enrico Pontelli},
title = {A generic approach to planning in the presence of incomplete information:
Theory and implementation},
journal = {Artif. Intell.},
volume = {227},
pages = {1--51},
year = {2015},
url = {https://doi.org/10.1016/j.artint.2015.06.001},
doi = {10.1016/J.ARTINT.2015.06.001},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/ToSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/argcom/LeiteSTW15,
author = {Jo{\~{a}}o Leite and
Tran Cao Son and
Paolo Torroni and
Stefan Woltran},
title = {Applications of logical approaches to argumentation},
journal = {Argument Comput.},
volume = {6},
number = {1},
pages = {1--2},
year = {2015},
url = {https://doi.org/10.1080/19462166.2014.1003407},
doi = {10.1080/19462166.2014.1003407},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/argcom/LeiteSTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/LeSP015,
author = {Tiep Le and
Tran Cao Son and
Enrico Pontelli and
William Yeoh},
editor = {Blai Bonet and
Sven Koenig},
title = {Solving Distributed Constraint Optimization Problems Using Logic Programming},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1174--1181},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9365},
doi = {10.1609/AAAI.V29I1.9365},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/LeSP015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SonPBG15,
author = {Tran Cao Son and
Enrico Pontelli and
Chitta Baral and
Gregory Gelfond},
editor = {Blai Bonet and
Sven Koenig},
title = {Exploring the {KD45} Property of a Kripke Model After the Execution
of an Action Sequence},
booktitle = {Proceedings of the Twenty-Ninth {AAAI} Conference on Artificial Intelligence,
January 25-30, 2015, Austin, Texas, {USA}},
pages = {1604--1610},
publisher = {{AAAI} Press},
year = {2015},
url = {https://doi.org/10.1609/aaai.v29i1.9401},
doi = {10.1609/AAAI.V29I1.9401},
timestamp = {Mon, 18 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SonPBG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaifs/SonPB15,
author = {Tran Cao Son and
Enrico Pontelli and
Marcello Balduccini},
title = {Reasoning about Truthfulness of Agents Using Answer Set Programming},
booktitle = {2015 {AAAI} Fall Symposia, Arlington, Virginia, USA, November 12-14,
2015},
pages = {47--50},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/FSS/FSS15/paper/view/11649},
timestamp = {Wed, 14 Nov 2018 16:20:12 +0100},
biburl = {https://dblp.org/rec/conf/aaaifs/SonPB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/BaralGPS15,
author = {Chitta Baral and
Gregory Gelfond and
Enrico Pontelli and
Tran Cao Son},
title = {Multi-Agent Action Modeling Through Action Sequences And Perspective
Fluents},
booktitle = {2015 {AAAI} Spring Symposia, Stanford University, Palo Alto, California,
USA, March 22-25, 2015},
publisher = {{AAAI} Press},
year = {2015},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS15/paper/view/10303},
timestamp = {Wed, 14 Nov 2018 14:01:49 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/BaralGPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/SonPB14,
author = {Tran Cao Son and
Enrico Pontelli and
Chitta Baral},
editor = {Thomas Eiter and
Hannes Strass and
Miroslaw Truszczynski and
Stefan Woltran},
title = {A Non-monotonic Goal Specification Language for Planning with Preferences},
booktitle = {Advances in Knowledge Representation, Logic Programming, and Abstract
Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9060},
pages = {202--217},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-14726-0\_14},
doi = {10.1007/978-3-319-14726-0\_14},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/SonPB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FiorettoLP0S15,
author = {Ferdinando Fioretto and
Tiep Le and
Enrico Pontelli and
William Yeoh and
Tran Cao Son},
editor = {Gilles Pesant},
title = {Exploiting GPUs in Solving (Distributed) Constraint Optimization Problems
with Dynamic Programming},
booktitle = {Principles and Practice of Constraint Programming - 21st International
Conference, {CP} 2015, Cork, Ireland, August 31 - September 4, 2015,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9255},
pages = {121--139},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23219-5\_9},
doi = {10.1007/978-3-319-23219-5\_9},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/FiorettoLP0S15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/TognazziDPS15,
author = {Stefano Tognazzi and
Agostino Dovier and
Enrico Pontelli and
Tran Cao Son},
title = {Exploring the Use of BDDs in Conformant Planning},
booktitle = {27th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2015, Vietri sul Mare, Italy, November 9-11, 2015},
pages = {502--509},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICTAI.2015.80},
doi = {10.1109/ICTAI.2015.80},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/TognazziDPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BaralS15,
author = {Chitta Baral and
Tran Cao Son},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {"Add Another Blue Stack of the Same Height!": {ASP} Based
Planning and Plan Failure Analysis},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {127--133},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_11},
doi = {10.1007/978-3-319-23264-5\_11},
timestamp = {Sun, 02 Jun 2019 21:23:45 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BaralS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/prima/LeSP15,
author = {Tiep Le and
Tran Cao Son and
Enrico Pontelli},
editor = {Qingliang Chen and
Paolo Torroni and
Serena Villata and
Jane Yung{-}jen Hsu and
Andrea Omicini},
title = {Multi-Context Systems with Preferences},
booktitle = {{PRIMA} 2015: Principles and Practice of Multi-Agent Systems - 18th
International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9387},
pages = {449--466},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25524-8\_28},
doi = {10.1007/978-3-319-25524-8\_28},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/prima/LeSP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2015,
editor = {Enrico Pontelli and
Tran Cao Son},
title = {Practical Aspects of Declarative Languages - 17th International Symposium,
{PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9131},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19686-2},
doi = {10.1007/978-3-319-19686-2},
isbn = {978-3-319-19685-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BaralGPS15,
author = {Chitta Baral and
Gregory Gelfond and
Enrico Pontelli and
Tran Cao Son},
title = {An Action Language for Multi-Agent Domains: Foundations},
journal = {CoRR},
volume = {abs/1511.01960},
year = {2015},
url = {http://arxiv.org/abs/1511.01960},
eprinttype = {arXiv},
eprint = {1511.01960},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BaralGPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SonPNS14,
author = {Tran Cao Son and
Enrico Pontelli and
Ngoc{-}Hieu Nguyen and
Chiaki Sakama},
title = {Formalizing Negotiations Using Logic Programming},
journal = {{ACM} Trans. Comput. Log.},
volume = {15},
number = {2},
pages = {12:1--12:30},
year = {2014},
url = {https://doi.org/10.1145/2526270},
doi = {10.1145/2526270},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/SonPNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/HouYS14,
author = {Ping Hou and
William Yeoh and
Tran Cao Son},
editor = {Carla E. Brodley and
Peter Stone},
title = {Solving Uncertain MDPs by Reusing State Information and Plans},
booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence,
July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada},
pages = {2285--2292},
publisher = {{AAAI} Press},
year = {2014},
url = {https://doi.org/10.1609/aaai.v28i1.9029},
doi = {10.1609/AAAI.V28I1.9029},
timestamp = {Mon, 04 Sep 2023 15:06:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/HouYS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/LeSP014,
author = {Tiep Le and
Tran Cao Son and
Enrico Pontelli and
William Yeoh},
editor = {Ana L. C. Bazzan and
Michael N. Huhns and
Alessio Lomuscio and
Paul Scerri},
title = {{ASP-DPOP:} solving distributed constraint optimization problems with
logic programming},
booktitle = {International conference on Autonomous Agents and Multi-Agent Systems,
{AAMAS} '14, Paris, France, May 5-9, 2014},
pages = {1337--1338},
publisher = {{IFAAMAS/ACM}},
year = {2014},
url = {http://dl.acm.org/citation.cfm?id=2617461},
timestamp = {Thu, 25 Sep 2014 07:46:15 +0200},
biburl = {https://dblp.org/rec/conf/atal/LeSP014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/FiorettoLYPS14,
author = {Ferdinando Fioretto and
Tiep Le and
William Yeoh and
Enrico Pontelli and
Tran Cao Son},
editor = {Barry O'Sullivan},
title = {Improving {DPOP} with Branch Consistency for Solving Distributed Constraint
Optimization Problems},
booktitle = {Principles and Practice of Constraint Programming - 20th International
Conference, {CP} 2014, Lyon, France, September 8-12, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8656},
pages = {307--323},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-10428-7\_24},
doi = {10.1007/978-3-319-10428-7\_24},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/FiorettoLYPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SonPBG14,
author = {Tran Cao Son and
Enrico Pontelli and
Chitta Baral and
Gregory Gelfond},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Finitary S5-Theories},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {239--252},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_17},
doi = {10.1007/978-3-319-11558-0\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/SonPBG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/SonPL14,
author = {Tran Cao Son and
Enrico Pontelli and
Tiep Le},
editor = {Matthew Flatt and
Hai{-}Feng Guo},
title = {Two Applications of the ASP-Prolog System: Decomposable Programs and
Multi-context Systems},
booktitle = {Practical Aspects of Declarative Languages - 16th International Symposium,
{PADL} 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8324},
pages = {87--103},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-04132-2\_7},
doi = {10.1007/978-3-319-04132-2\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/SonPL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LePSY14,
author = {Tiep Le and
Enrico Pontelli and
Tran Cao Son and
William Yeoh},
title = {Logic and Constraint Logic Programming for Distributed Constraint
Optimization},
journal = {CoRR},
volume = {abs/1405.1734},
year = {2014},
url = {http://arxiv.org/abs/1405.1734},
eprinttype = {arXiv},
eprint = {1405.1734},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LePSY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tist/TranNSP13,
author = {Vien Tran and
Khoi Nguyen and
Tran Cao Son and
Enrico Pontelli},
title = {A conformant planner based on approximation: CpA(H)},
journal = {{ACM} Trans. Intell. Syst. Technol.},
volume = {4},
number = {2},
pages = {36:1--36:38},
year = {2013},
url = {https://doi.org/10.1145/2438653.2438671},
doi = {10.1145/2438653.2438671},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tist/TranNSP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/BaralGPS13,
author = {Chitta Baral and
Gregory Gelfond and
Enrico Pontelli and
Tran Cao Son},
editor = {Jo{\~{a}}o Leite and
Tran Cao Son and
Paolo Torroni and
Leon van der Torre and
Stefan Woltran},
title = {Reasoning about the Beliefs of Agents in Multi-agent Domains in the
Presence of State Constraints: The Action Language mAL},
booktitle = {Computational Logic in Multi-Agent Systems - 14th International Workshop,
{CLIMA} XIV, Corunna, Spain, September 16-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8143},
pages = {290--306},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40624-9\_18},
doi = {10.1007/978-3-642-40624-9\_18},
timestamp = {Fri, 09 Apr 2021 18:38:27 +0200},
biburl = {https://dblp.org/rec/conf/clima/BaralGPS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/clima/2013,
editor = {Jo{\~{a}}o Leite and
Tran Cao Son and
Paolo Torroni and
Leon van der Torre and
Stefan Woltran},
title = {Computational Logic in Multi-Agent Systems - 14th International Workshop,
{CLIMA} XIV, Corunna, Spain, September 16-18, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8143},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40624-9},
doi = {10.1007/978-3-642-40624-9},
isbn = {978-3-642-40623-2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpnmr/2013,
editor = {Pedro Cabalar and
Tran Cao Son},
title = {Logic Programming and Nonmonotonic Reasoning, 12th International Conference,
{LPNMR} 2013, Corunna, Spain, September 15-19, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8148},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40564-8},
doi = {10.1007/978-3-642-40564-8},
isbn = {978-3-642-40563-1},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChaudhriHWS13,
author = {Vinay K. Chaudhri and
Stijn Heymans and
Michael A. Wessel and
Tran Cao Son},
title = {Query Answering in Object Oriented Knowledge Bases in Logic Programming:
Description and Challenge for {ASP}},
journal = {CoRR},
volume = {abs/1312.6138},
year = {2013},
url = {http://arxiv.org/abs/1312.6138},
eprinttype = {arXiv},
eprint = {1312.6138},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChaudhriHWS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/TariTHCSGB12,
author = {Luis Tari and
Phan Huy Tu and
J{\"{o}}rg Hakenberg and
Yi Chen and
Tran Cao Son and
Graciela Gonzalez and
Chitta Baral},
title = {Incremental Information Extraction Using Relational Databases},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {24},
number = {1},
pages = {86--99},
year = {2012},
url = {https://doi.org/10.1109/TKDE.2010.214},
doi = {10.1109/TKDE.2010.214},
timestamp = {Wed, 25 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tkde/TariTHCSGB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/NguyenTSP12,
author = {Hoang{-}Khoi Nguyen and
Dang{-}Vien Tran and
Tran Cao Son and
Enrico Pontelli},
editor = {Lee McCluskey and
Brian Charles Williams and
Jos{\'{e}} Reinaldo Silva and
Blai Bonet},
title = {On Computing Conformant Plans Using Classical Planners: {A} Generate-And-Complete
Approach},
booktitle = {Proceedings of the Twenty-Second International Conference on Automated
Planning and Scheduling, {ICAPS} 2012, Atibaia, S{\~{a}}o Paulo, Brazil,
June 25-19, 2012},
publisher = {{AAAI}},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS12/paper/view/4603},
timestamp = {Wed, 01 Mar 2017 18:10:41 +0100},
biburl = {https://dblp.org/rec/conf/aips/NguyenTSP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PontelliSBG12,
author = {Enrico Pontelli and
Tran Cao Son and
Chitta Baral and
Gregory Gelfond},
editor = {Esra Erdem and
Joohyung Lee and
Yuliya Lierler and
David Pearce},
title = {Answer Set Programming and Planning with Knowledge and World-Altering
Actions in Multiple Agent Domains},
booktitle = {Correct Reasoning - Essays on Logic-Based {AI} in Honour of Vladimir
Lifschitz},
series = {Lecture Notes in Computer Science},
volume = {7265},
pages = {509--526},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30743-0\_35},
doi = {10.1007/978-3-642-30743-0\_35},
timestamp = {Fri, 15 Jan 2021 08:33:38 +0100},
biburl = {https://dblp.org/rec/conf/birthday/PontelliSBG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/WrightPS12,
author = {Ben Wright and
Enrico Pontelli and
Tran Cao Son},
editor = {Michael Fisher and
Leon van der Torre and
Mehdi Dastani and
Guido Governatori},
title = {Implementing Reversible Processes in Multi-agent Action Languages
Using Answer Set Planning},
booktitle = {Computational Logic in Multi-Agent Systems - 13th International Workshop,
{CLIMA} XIII, Montpellier, France, August 27-28, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7486},
pages = {163--180},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32897-8\_12},
doi = {10.1007/978-3-642-32897-8\_12},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/WrightPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LeNPS12,
author = {Tiep Le and
Hieu Nguyen and
Enrico Pontelli and
Tran Cao Son},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {{ASP} at Work: An {ASP} Implementation of PhyloWS},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {359--369},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.359},
doi = {10.4230/LIPICS.ICLP.2012.359},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LeNPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/ChaudhriS12,
author = {Vinay K. Chaudhri and
Tran Cao Son},
editor = {Gerhard Brewka and
Thomas Eiter and
Sheila A. McIlraith},
title = {Specifying and Reasoning with Underspecified Knowledge Bases Using
Answer Set Programming},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Thirteenth International Conference, {KR} 2012, Rome, Italy,
June 10-14, 2012},
publisher = {{AAAI} Press},
year = {2012},
url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4524},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/ChaudhriS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/TuSGM11,
author = {Phan Huy Tu and
Tran Cao Son and
Michael Gelfond and
A. Ricardo Morales},
title = {Approximation of action theories and its application to conformant
planning},
journal = {Artif. Intell.},
volume = {175},
number = {1},
pages = {79--119},
year = {2011},
url = {https://doi.org/10.1016/j.artint.2010.04.007},
doi = {10.1016/J.ARTINT.2010.04.007},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/TuSGM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/ChishamWLSP11,
author = {Brandon Chisham and
Ben Wright and
Trung Le and
Tran Cao Son and
Enrico Pontelli},
title = {CDAO-Store: Ontology-driven Data Integration for Phylogenetic Analysis},
journal = {{BMC} Bioinform.},
volume = {12},
pages = {98},
year = {2011},
url = {https://doi.org/10.1186/1471-2105-12-98},
doi = {10.1186/1471-2105-12-98},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/bmcbi/ChishamWLSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/NguyenTSP11,
author = {Hoang{-}Khoi Nguyen and
Dang{-}Vien Tran and
Tran Cao Son and
Enrico Pontelli},
editor = {Wolfram Burgard and
Dan Roth},
title = {On Improving Conformant Planners by Analyzing Domain-Structures},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {998--1003},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.8005},
doi = {10.1609/AAAI.V25I1.8005},
timestamp = {Mon, 04 Sep 2023 16:05:54 +0200},
biburl = {https://dblp.org/rec/conf/aaai/NguyenTSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ToSP11,
author = {Son Thanh To and
Tran Cao Son and
Enrico Pontelli},
editor = {Wolfram Burgard and
Dan Roth},
title = {Conjunctive Representations in Contingent Planning: Prime Implicates
Versus Minimal {CNF} Formula},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {1023--1028},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.8015},
doi = {10.1609/AAAI.V25I1.8015},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ToSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ToSP11a,
author = {Son Thanh To and
Tran Cao Son and
Enrico Pontelli},
editor = {Wolfram Burgard and
Dan Roth},
title = {On the Effectiveness of Belief State Representation in Contingent
Planning},
booktitle = {Proceedings of the Twenty-Fifth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2011, San Francisco, California, USA, August 7-11, 2011},
pages = {1818--1819},
publisher = {{AAAI} Press},
year = {2011},
url = {https://doi.org/10.1609/aaai.v25i1.8068},
doi = {10.1609/AAAI.V25I1.8068},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ToSP11a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/SonPS11,
author = {Tran Cao Son and
Enrico Pontelli and
Chiaki Sakama},
title = {An Experiment in Formalizing Commitments Using Action Languages},
booktitle = {Logical Formalizations of Commonsense Reasoning, Papers from the 2011
{AAAI} Spring Symposium, Technical Report SS-11-06, Stanford, California,
USA, March 21-23, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://www.aaai.org/ocs/index.php/SSS/SSS11/paper/view/2382},
timestamp = {Mon, 13 Feb 2012 17:07:39 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/SonPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ToSP11,
author = {Son Thanh To and
Tran Cao Son and
Enrico Pontelli},
editor = {Fahiem Bacchus and
Carmel Domshlak and
Stefan Edelkamp and
Malte Helmert},
title = {Contingent Planning as {AND/OR} Forward Search with Disjunctive Representation},
booktitle = {Proceedings of the 21st International Conference on Automated Planning
and Scheduling, {ICAPS} 2011, Freiburg, Germany June 11-16, 2011},
publisher = {{AAAI}},
year = {2011},
url = {http://aaai.org/ocs/index.php/ICAPS/ICAPS11/paper/view/2714},
timestamp = {Tue, 28 Jun 2011 14:20:04 +0200},
biburl = {https://dblp.org/rec/conf/aips/ToSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/SonPS11,
author = {Tran Cao Son and
Enrico Pontelli and
Chiaki Sakama},
editor = {Chiaki Sakama and
Sebastian Sardi{\~{n}}a and
Wamberto Weber Vasconcelos and
Michael Winikoff},
title = {Formalizing Commitments Using Action Languages},
booktitle = {Declarative Agent Languages and Technologies {IX} - 9th International
Workshop, {DALT} 2011, Taipei, Taiwan, May 3, 2011, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7169},
pages = {67--83},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29113-5\_6},
doi = {10.1007/978-3-642-29113-5\_6},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/SonPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/AlajarmehPS11,
author = {Nancy Alajarmeh and
Enrico Pontelli and
Tran Cao Son},
editor = {Constantine Stephanidis},
title = {From "Reading" Math to "Doing" Math: {A} New Direction
in Non-visual Math Accessibility},
booktitle = {Universal Access in Human-Computer Interaction. Applications and Services
- 6th International Conference, {UAHCI} 2011, Held as Part of {HCI}
International 2011, Orlando, FL, USA, July 9-14, 2011, Proceedings,
Part {IV}},
series = {Lecture Notes in Computer Science},
volume = {6768},
pages = {501--510},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21657-2\_54},
doi = {10.1007/978-3-642-21657-2\_54},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hci/AlajarmehPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChishamPSW11,
author = {Brandon Chisham and
Enrico Pontelli and
Tran Cao Son and
Ben Wright},
editor = {John P. Gallagher and
Michael Gelfond},
title = {CDAOStore: {A} Phylogenetic Repository Using Logic Programming and
Web Services},
booktitle = {Technical Communications of the 27th International Conference on Logic
Programming, {ICLP} 2011, July 6-10, 2011, Lexington, Kentucky, {USA}},
series = {LIPIcs},
volume = {11},
pages = {209--219},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2011.209},
doi = {10.4230/LIPICS.ICLP.2011.209},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ChishamPSW11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SakamaSP11,
author = {Chiaki Sakama and
Tran Cao Son and
Enrico Pontelli},
editor = {Toby Walsh},
title = {A Logical Formulation for Negotiation among Dishonest Agents},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {1069--1074},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-183},
doi = {10.5591/978-1-57735-516-8/IJCAI11-183},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SakamaSP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/ToPS11,
author = {Son Thanh To and
Enrico Pontelli and
Tran Cao Son},
editor = {Toby Walsh},
title = {On the Effectiveness of {CNF} and {DNF} Representations in Contingent
Planning},
booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference
on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22,
2011},
pages = {2033--2038},
publisher = {{IJCAI/AAAI}},
year = {2011},
url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-339},
doi = {10.5591/978-1-57735-516-8/IJCAI11-339},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/ToPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/NguyenSPS11,
author = {Ngoc{-}Hieu Nguyen and
Tran Cao Son and
Enrico Pontelli and
Chiaki Sakama},
editor = {James P. Delgrande and
Wolfgang Faber},
title = {ASP-Prolog for Negotiation among Dishonest Agents},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 11th International
Conference, {LPNMR} 2011, Vancouver, Canada, May 16-19, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6645},
pages = {331--344},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20895-9\_38},
doi = {10.1007/978-3-642-20895-9\_38},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/NguyenSPS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2011gelfond,
editor = {Marcello Balduccini and
Tran Cao Son},
title = {Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
- Essays Dedicated to Michael Gelfond on the Occasion of His 65th
Birthday},
series = {Lecture Notes in Computer Science},
volume = {6565},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20832-4},
doi = {10.1007/978-3-642-20832-4},
isbn = {978-3-642-20831-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2011gelfond.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1110-2205,
author = {Enrico Pontelli and
Tran Cao Son and
Phan Huy Tu},
title = {Answer Sets for Logic Programs with Arbitrary Abstract Constraint
Atoms},
journal = {CoRR},
volume = {abs/1110.2205},
year = {2011},
url = {http://arxiv.org/abs/1110.2205},
eprinttype = {arXiv},
eprint = {1110.2205},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1110-2205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/LiuPST10,
author = {Lengning Liu and
Enrico Pontelli and
Tran Cao Son and
Miroslaw Truszczynski},
title = {Logic programs with abstract constraint atoms: The role of computations},
journal = {Artif. Intell.},
volume = {174},
number = {3-4},
pages = {295--315},
year = {2010},
url = {https://doi.org/10.1016/j.artint.2009.11.016},
doi = {10.1016/J.ARTINT.2009.11.016},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ai/LiuPST10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/PontelliLS10,
author = {Enrico Pontelli and
Hung Viet Le and
Tran Cao Son},
title = {An investigation in parallel execution of answer set programs on distributed
memory platforms: Task sharing and dynamic scheduling},
journal = {Comput. Lang. Syst. Struct.},
volume = {36},
number = {2},
pages = {158--202},
year = {2010},
url = {https://doi.org/10.1016/j.cl.2009.09.001},
doi = {10.1016/J.CL.2009.09.001},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/PontelliLS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taccess/DoushPSSM10,
author = {Iyad Abu Doush and
Enrico Pontelli and
Tran Cao Son and
Dominic Simon and
Ou Ma},
title = {Multimodal Presentation of Two-Dimensional Charts: An Investigation
Using Open Office {XML} and Microsoft Excel},
journal = {{ACM} Trans. Access. Comput.},
volume = {3},
number = {2},
pages = {8:1--8:50},
year = {2010},
url = {https://doi.org/10.1145/1857920.1857925},
doi = {10.1145/1857920.1857925},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taccess/DoushPSSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BaralGPS10,
author = {Chitta Baral and
Gregory Gelfond and
Enrico Pontelli and
Tran Cao Son},
title = {Logic programming for finding models in the logics of knowledge and
its applications: {A} case study},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {4-6},
pages = {675--690},
year = {2010},
url = {https://doi.org/10.1017/S1471068410000359},
doi = {10.1017/S1471068410000359},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BaralGPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/ToSP10,
author = {Son Thanh To and
Tran Cao Son and
Enrico Pontelli},
editor = {Maria Fox and
David Poole},
title = {On the Use of Prime Implicates in Conformant Planning},
booktitle = {Proceedings of the Twenty-Fourth {AAAI} Conference on Artificial Intelligence,
{AAAI} 2010, Atlanta, Georgia, USA, July 11-15, 2010},
pages = {1205--1210},
publisher = {{AAAI} Press},
year = {2010},
url = {https://doi.org/10.1609/aaai.v24i1.7757},
doi = {10.1609/AAAI.V24I1.7757},
timestamp = {Mon, 04 Sep 2023 16:23:45 +0200},
biburl = {https://dblp.org/rec/conf/aaai/ToSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ToSP10,
author = {Son Thanh To and
Tran Cao Son and
Enrico Pontelli},
editor = {Ronen I. Brafman and
Hector Geffner and
J{\"{o}}rg Hoffmann and
Henry A. Kautz},
title = {A New Approach to Conformant Planning Using CNF*},
booktitle = {Proceedings of the 20th International Conference on Automated Planning
and Scheduling, {ICAPS} 2010, Toronto, Ontario, Canada, May 12-16,
2010},
pages = {169--176},
publisher = {{AAAI}},
year = {2010},
url = {http://www.aaai.org/ocs/index.php/ICAPS/ICAPS10/paper/view/1461},
timestamp = {Thu, 31 Jul 2014 11:17:14 +0200},
biburl = {https://dblp.org/rec/conf/aips/ToSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BaralGSP10,
author = {Chitta Baral and
Gregory Gelfond and
Tran Cao Son and
Enrico Pontelli},
editor = {Wiebe van der Hoek and
Gal A. Kaminka and
Yves Lesp{\'{e}}rance and
Michael Luck and
Sandip Sen},
title = {Using answer set programming to model multi-agent scenarios involving
agents' knowledge about other's knowledge},
booktitle = {9th International Conference on Autonomous Agents and Multiagent Systems
{(AAMAS} 2010), Toronto, Canada, May 10-14, 2010, Volume 1-3},
pages = {259--266},
publisher = {{IFAAMAS}},
year = {2010},
url = {https://dl.acm.org/citation.cfm?id=1838243},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atal/BaralGSP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/TariTHCSGB10,
author = {Luis Tari and
Phan Huy Tu and
J{\"{o}}rg Hakenberg and
Yi Chen and
Tran Cao Son and
Graciela Gonzalez and
Chitta Baral},
editor = {Feifei Li and
Mirella M. Moro and
Shahram Ghandeharizadeh and
Jayant R. Haritsa and
Gerhard Weikum and
Michael J. Carey and
Fabio Casati and
Edward Y. Chang and
Ioana Manolescu and
Sharad Mehrotra and
Umeshwar Dayal and
Vassilis J. Tsotras},
title = {GenerIE: Information extraction using database queries},
booktitle = {Proceedings of the 26th International Conference on Data Engineering,
{ICDE} 2010, March 1-6, 2010, Long Beach, California, {USA}},
pages = {1121--1124},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICDE.2010.5447773},
doi = {10.1109/ICDE.2010.5447773},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/TariTHCSGB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/anis/PanPS10,
author = {Yu Pan and
Enrico Pontelli and
Tran Cao Son},
editor = {Huajun Chen and
Yimin Wang and
Kei{-}Hoi Cheung},
title = {{BSIS:} An Experiment in Automating Bioinformatics Tasks Through Intelligent
Workflow Construction},
booktitle = {Semantic e-Science},
series = {Annals of Information Systems},
volume = {11},
pages = {189--238},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-4419-5908-9\_6},
doi = {10.1007/978-1-4419-5908-9\_6},
timestamp = {Wed, 14 Nov 2018 10:12:17 +0100},
biburl = {https://dblp.org/rec/series/anis/PanPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-3700,
author = {Chitta Baral and
Gregory Gelfond and
Enrico Pontelli and
Tran Cao Son},
title = {Logic Programming for Finding Models in the Logics of Knowledge and
its Applications: {A} Case Study},
journal = {CoRR},
volume = {abs/1007.3700},
year = {2010},
url = {http://arxiv.org/abs/1007.3700},
eprinttype = {arXiv},
eprint = {1007.3700},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-3700.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/concurrency/TuPST09,
author = {Phan Huy Tu and
Enrico Pontelli and
Tran Cao Son and
Son Thanh To},
title = {Applications of parallel processing technologies in heuristic search
planning: methodologies and experiments},
journal = {Concurr. Comput. Pract. Exp.},
volume = {21},
number = {15},
pages = {1928--1960},
year = {2009},
url = {https://doi.org/10.1002/cpe.1420},
doi = {10.1002/CPE.1420},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/concurrency/TuPST09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijsi/ScherlSB09,
author = {Richard B. Scherl and
Tran Cao Son and
Chitta Baral},
title = {State-Based Regression with Sensing and Knowledge},
journal = {Int. J. Softw. Informatics},
volume = {3},
number = {1},
pages = {3--30},
year = {2009},
url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=3\&\#38;flag=1},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijsi/ScherlSB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PontelliSE09,
author = {Enrico Pontelli and
Tran Cao Son and
Omar El{-}Khatib},
title = {Justifications for logic programs under answer set semantics},
journal = {Theory Pract. Log. Program.},
volume = {9},
number = {1},
pages = {1--56},
year = {2009},
url = {https://doi.org/10.1017/S1471068408003633},
doi = {10.1017/S1471068408003633},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/PontelliSE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aips/ToPS09,
author = {Son Thanh To and
Enrico Pontelli and
Tran Cao Son},
editor = {Alfonso Gerevini and
Adele E. Howe and
Amedeo Cesta and
Ioannis Refanidis},
title = {A Conformant Planner with Explicit Disjunctive Representation of Belief
States},
booktitle = {Proceedings of the 19th International Conference on Automated Planning
and Scheduling, {ICAPS} 2009, Thessaloniki, Greece, September 19-23,
2009},
publisher = {{AAAI}},
year = {2009},
url = {http://aaai.org/ocs/index.php/ICAPS/ICAPS09/paper/view/751},
timestamp = {Thu, 13 Dec 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aips/ToPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/assets/DoushPSSM09,
author = {Iyad Abu Doush and
Enrico Pontelli and
Dominic Simon and
Tran Cao Son and
Ou Ma},
editor = {Shari Trewin and
Kathleen F. McCoy},
title = {Making Microsoft Excel\({}^{\mbox{TM}}\): multimodal presentation
of charts},
booktitle = {Proceedings of the 11th International {ACM} {SIGACCESS} Conference
on Computers and Accessibility, {ASSETS} 2009, Pittsburgh, Pennsylvania,
USA, October 25-28, 2009},
pages = {147--154},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1639642.1639669},
doi = {10.1145/1639642.1639669},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/assets/DoushPSSM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/SonPN09,
author = {Tran Cao Son and
Enrico Pontelli and
Ngoc{-}Hieu Nguyen},
editor = {J{\"{u}}rgen Dix and
Michael Fisher and
Peter Nov{\'{a}}k},
title = {Planning for Multiagent Using ASP-Prolog},
booktitle = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
{CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6214},
pages = {1--21},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-16867-3\_1},
doi = {10.1007/978-3-642-16867-3\_1},
timestamp = {Fri, 25 Dec 2020 01:14:19 +0100},
biburl = {https://dblp.org/rec/conf/clima/SonPN09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/BaralSP09,
author = {Chitta Baral and
Tran Cao Son and
Enrico Pontelli},
editor = {J{\"{u}}rgen Dix and
Michael Fisher and
Peter Nov{\'{a}}k},
title = {Reasoning about Multi-agent Domains Using Action Language \emph{C}{\textbackslash}mathcal\{C\}:
{A} Preliminary Study},
booktitle = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
{CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6214},
pages = {46--63},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-16867-3\_3},
doi = {10.1007/978-3-642-16867-3\_3},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/BaralSP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/SakamaS09,
author = {Chiaki Sakama and
Tran Cao Son},
editor = {J{\"{u}}rgen Dix and
Michael Fisher and
Peter Nov{\'{a}}k},
title = {Interacting Answer Sets},
booktitle = {Computational Logic in Multi-Agent Systems - 10th International Workshop,
{CLIMA} X, Hamburg, Germany, September 9-10, 2009, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {6214},
pages = {122--140},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-16867-3\_7},
doi = {10.1007/978-3-642-16867-3\_7},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/clima/SakamaS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/SonS09,
author = {Tran Cao Son and
Chiaki Sakama},
editor = {Matteo Baldoni and
Jamal Bentahar and
M. Birna van Riemsdijk and
John Lloyd},
title = {Reasoning and Planning with Cooperative Actions for Multiagents Using
Answer Set Programming},
booktitle = {Declarative Agent Languages and Technologies VII, 7th International
Workshop, {DALT} 2009, Budapest, Hungary, May 11, 2009. Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5948},
pages = {208--227},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11355-0\_13},
doi = {10.1007/978-3-642-11355-0\_13},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/dalt/SonS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SonPS09,
author = {Tran Cao Son and
Enrico Pontelli and
Chiaki Sakama},
editor = {Patricia M. Hill and
David Scott Warren},
title = {Logic Programming for Multiagent Planning with Negotiation},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {99--114},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_13},
doi = {10.1007/978-3-642-02846-5\_13},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SonPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SonS09,
author = {Tran Cao Son and
Chiaki Sakama},
editor = {Craig Boutilier},
title = {Negotiation Using Logic Programming with Consistency Restoring Rules},
booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference
on Artificial Intelligence, Pasadena, California, USA, July 11-17,
2009},
pages = {930--935},
year = {2009},
url = {http://ijcai.org/Proceedings/09/Papers/158.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:40 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SonS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BaralSP09,
author = {Chitta Baral and
Tran Cao Son and
Enrico Pontelli},
editor = {Esra Erdem and
Fangzhen Lin and
Torsten Schaub},
title = {Modeling Multi-agent Domains in an Action Languages: An Empirical
Study Using},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 10th International Conference,
{LPNMR} 2009, Potsdam, Germany, September 14-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5753},
pages = {409--415},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04238-6\_35},
doi = {10.1007/978-3-642-04238-6\_35},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BaralSP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/TranNPS09,
author = {Dang{-}Vien Tran and
Hoang{-}Khoi Nguyen and
Enrico Pontelli and
Tran Cao Son},
editor = {Andy Gill and
Terrance Swift},
title = {Improving Performance of Conformant Planners: Static Analysis of Declarative
Planning Domain Specifications},
booktitle = {Practical Aspects of Declarative Languages, 11th International Symposium,
{PADL} 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5418},
pages = {239--253},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92995-6\_17},
doi = {10.1007/978-3-540-92995-6\_17},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/TranNPS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dalt/2008,
editor = {Matteo Baldoni and
Tran Cao Son and
M. Birna van Riemsdijk and
Michael Winikoff},
title = {Declarative Agent Languages and Technologies VI, 6th International
Workshop, {DALT} 2008, Estoril, Portugal, May 12, 2008, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5397},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-93920-7},
doi = {10.1007/978-3-540-93920-7},
isbn = {978-3-540-93919-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BonattiPS08,
author = {Piero A. Bonatti and
Enrico Pontelli and
Tran Cao Son},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Credulous Resolution for Answer Set Programming},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {418--423},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-066.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BonattiPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BaralDS08,
author = {Chitta Baral and
Juraj Dzifcak and
Tran Cao Son},
editor = {Dieter Fox and
Carla P. Gomes},
title = {Using Answer Set Programming and Lambda Calculus to Characterize Natural
Language Sentences with Normatives and Exceptions},
booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
{AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
pages = {818--823},
publisher = {{AAAI} Press},
year = {2008},
url = {http://www.aaai.org/Library/AAAI/2008/aaai08-130.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BaralDS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/SonPS08,
author = {Tran Cao Son and
Enrico Pontelli and
Son Thanh To},
title = {Some Results on the Completeness of Approximation Based Reasoning},
booktitle = {Architectures for Intelligent Theory-Based Agents, Papers from the
2008 {AAAI} Spring Symposium, Technical Report SS-08-02, Stanford,
California, USA, March 26-28, 2008},
pages = {61--66},
publisher = {{AAAI}},
year = {2008},
url = {http://www.aaai.org/Library/Symposia/Spring/2008/ss08-02-011.php},
timestamp = {Sat, 18 Feb 2012 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/SonPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/ScherlTB08,
author = {Richard B. Scherl and
Tran Cao Son and
Chitta Baral},
editor = {Tu Bao Ho and
Zhi{-}Hua Zhou},
title = {State-Based Regression with Sensing and Knowledge},
booktitle = {{PRICAI} 2008: Trends in Artificial Intelligence, 10th Pacific Rim
International Conference on Artificial Intelligence, Hanoi, Vietnam,
December 15-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5351},
pages = {345--357},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89197-0\_33},
doi = {10.1007/978-3-540-89197-0\_33},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/pricai/ScherlTB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pricai/TranP08,
author = {Tran Cao Son and
Enrico Pontelli},
editor = {Tu Bao Ho and
Zhi{-}Hua Zhou},
title = {Some Results on the Completeness of Approximation Based Reasoning},
booktitle = {{PRICAI} 2008: Trends in Artificial Intelligence, 10th Pacific Rim
International Conference on Artificial Intelligence, Hanoi, Vietnam,
December 15-19, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5351},
pages = {358--369},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89197-0\_34},
doi = {10.1007/978-3-540-89197-0\_34},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pricai/TranP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dalt/2007,
editor = {Matteo Baldoni and
Tran Cao Son and
M. Birna van Riemsdijk and
Michael Winikoff},
title = {Declarative Agent Languages and Technologies V, 5th International
Workshop, {DALT} 2007, Honolulu, HI, USA, May 14, 2007, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4897},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77564-5},
doi = {10.1007/978-3-540-77564-5},
isbn = {978-3-540-77563-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0812-0790,
author = {Enrico Pontelli and
Tran Cao Son and
Omar El{-}Khatib},
title = {Justifications for Logic Programs under Answer Set Semantics},
journal = {CoRR},
volume = {abs/0812.0790},
year = {2008},
url = {http://arxiv.org/abs/0812.0790},
eprinttype = {arXiv},
eprint = {0812.0790},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0812-0790.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/SonPT07,
author = {Tran Cao Son and
Enrico Pontelli and
Phan Huy Tu},
title = {Answer Sets for Logic Programs with Arbitrary Abstract Constraint
Atoms},
journal = {J. Artif. Intell. Res.},
volume = {29},
pages = {353--389},
year = {2007},
url = {https://doi.org/10.1613/jair.2171},
doi = {10.1613/JAIR.2171},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/SonPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SonP07,
author = {Tran Cao Son and
Enrico Pontelli},
title = {A Constructive semantic characterization of aggregates in answer set
programming},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {3},
pages = {355--375},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002936},
doi = {10.1017/S1471068406002936},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SonP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/TuSB07,
author = {Phan Huy Tu and
Tran Cao Son and
Chitta Baral},
title = {Reasoning and planning with sensing actions, incomplete information,
and static causal laws using answer set programming},
journal = {Theory Pract. Log. Program.},
volume = {7},
number = {4},
pages = {377--450},
year = {2007},
url = {https://doi.org/10.1017/S1471068406002948},
doi = {10.1017/S1471068406002948},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/TuSB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LiuPST07,
author = {Lengning Liu and
Enrico Pontelli and
Tran Cao Son and
Miroslaw Truszczynski},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Logic Programs with Abstract Constraint Atoms: The Role of Computations},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {286--301},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_20},
doi = {10.1007/978-3-540-74610-2\_20},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LiuPST07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MoralesTS07,
author = {A. Ricardo Morales and
Phan Huy Tu and
Tran Cao Son},
editor = {Manuela M. Veloso},
title = {An Extension to Conformant Planning Using Logic Programming},
booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
pages = {1991--1996},
year = {2007},
url = {http://ijcai.org/Proceedings/07/Papers/321.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MoralesTS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/TuSP07,
author = {Phan Huy Tu and
Tran Cao Son and
Enrico Pontelli},
editor = {Chitta Baral and
Gerhard Brewka and
John S. Schlipf},
title = {{CPP:} {A} Constraint Logic Programming Based Planner with Preferences},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 9th International Conference,
{LPNMR} 2007, Tempe, AZ, USA, May 15-17, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4483},
pages = {290--296},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72200-7\_28},
doi = {10.1007/978-3-540-72200-7\_28},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/TuSP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/TuanBS06,
author = {Le{-}Chi Tuan and
Chitta Baral and
Tran Cao Son},
title = {A State-Based Regression Formulation for Domains with Sensing Actions
and Incomplete Information},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {4},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(4:2)2006},
doi = {10.2168/LMCS-2(4:2)2006},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/TuanBS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/SonBTM06,
author = {Tran Cao Son and
Chitta Baral and
Tran Hoai Nam and
Sheila A. McIlraith},
title = {Domain-dependent knowledge in answer set planning},
journal = {{ACM} Trans. Comput. Log.},
volume = {7},
number = {4},
pages = {613--657},
year = {2006},
url = {https://doi.org/10.1145/1183278.1183279},
doi = {10.1145/1183278.1183279},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/SonBTM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SonP06,
author = {Tran Cao Son and
Enrico Pontelli},
title = {Planning with preferences using logic programming},
journal = {Theory Pract. Log. Program.},
volume = {6},
number = {5},
pages = {559--607},
year = {2006},
url = {https://doi.org/10.1017/S1471068406002717},
doi = {10.1017/S1471068406002717},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SonP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SonPT06,
author = {Tran Cao Son and
Enrico Pontelli and
Phan Huy Tu},
title = {Answer Sets for Logic Programs with Arbitrary Abstract Constraint
Atoms},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {129--134},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-021.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SonPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaaiss/El-KhatibPS06,
author = {Omar El{-}Khatib and
Enrico Pontelli and
Tran Cao Son},
title = {A Tool for Knowledge Base Integration and Querying},
booktitle = {Formalizing and Compiling Background Knowledge and Its Applications
to Knowledge Representation and Question Answering, Papers from the
2006 {AAAI} Spring Symposium, Technical Report SS-06-05, Stanford,
California, USA, March 27-29, 2006},
pages = {16--21},
publisher = {{AAAI}},
year = {2006},
url = {http://www.aaai.org/Library/Symposia/Spring/2006/ss06-05-003.php},
timestamp = {Sat, 18 Feb 2012 12:30:22 +0100},
biburl = {https://dblp.org/rec/conf/aaaiss/El-KhatibPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/NarayanasamyCS06,
author = {Gobinath Narayanasamy and
Joe Cecil and
Tran Cao Son},
editor = {Matteo Baldoni and
Ulle Endriss},
title = {A Collaborative Framework to Realize Virtual Enterprises Using 3APL},
booktitle = {Declarative Agent Languages and Technologies IV, 4th International
Workshop, {DALT} 2006, Hakodate, Japan, May 8, 2006, Selected, Revised
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {4327},
pages = {191--206},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11961536\_13},
doi = {10.1007/11961536\_13},
timestamp = {Tue, 09 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dalt/NarayanasamyCS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PontelliS06,
author = {Enrico Pontelli and
Tran Cao Son},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {\emph{Justifications} for Logic Programs Under Answer Set Semantics},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {196--210},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_16},
doi = {10.1007/11799573\_16},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PontelliS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/SonT06,
author = {Tran Cao Son and
Phan Huy Tu},
editor = {Patrick Doherty and
John Mylopoulos and
Christopher A. Welty},
title = {On the Completeness of Approximation Based Reasoning and Planning
in Action Theories with Incomplete Information},
booktitle = {Proceedings, Tenth International Conference on Principles of Knowledge
Representation and Reasoning, Lake District of the United Kingdom,
June 2-5, 2006},
pages = {481--491},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/KR/2006/kr06-050.php},
timestamp = {Tue, 09 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/SonT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/PontelliSB06,
author = {Enrico Pontelli and
Tran Cao Son and
Chitta Baral},
editor = {Thomas Eiter and
Enrico Franconi and
Ralph Hodgson and
Susie Stephens},
title = {A Framework for Composition and Inter-operation of Rules in the Semantic
Web},
booktitle = {Rules and Rule Markup Languages for the Semantic Web, Second International
Conference, RuleML 2006, Athens, Georgia, USA, November 10-11, 2006,
Proceedings},
pages = {39--50},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RULEML.2006.1},
doi = {10.1109/RULEML.2006.1},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/PontelliSB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0601051,
author = {Tran Cao Son and
Enrico Pontelli},
title = {A Constructive Semantic Characterization of Aggregates in {ASP}},
journal = {CoRR},
volume = {abs/cs/0601051},
year = {2006},
url = {http://arxiv.org/abs/cs/0601051},
eprinttype = {arXiv},
eprint = {cs/0601051},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0601051.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0605017,
author = {Phan Huy Tu and
Tran Cao Son and
Chitta Baral},
title = {Reasoning and Planning with Sensing Actions, Incomplete Information,
and Static Causal Laws using Answer Set Programming},
journal = {CoRR},
volume = {abs/cs/0605017},
year = {2006},
url = {http://arxiv.org/abs/cs/0605017},
eprinttype = {arXiv},
eprint = {cs/0605017},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0605017.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0605038,
author = {Tran Cao Son and
Enrico Pontelli and
Islam Elkabani},
title = {An Unfolding-Based Semantics for Logic Programming with Aggregates},
journal = {CoRR},
volume = {abs/cs/0605038},
year = {2006},
url = {http://arxiv.org/abs/cs/0605038},
eprinttype = {arXiv},
eprint = {cs/0605038},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0605038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0609111,
author = {Le{-}Chi Tuan and
Chitta Baral and
Tran Cao Son},
title = {A State-Based Regression Formulation for Domains with Sensing Actions
and Incomplete Information},
journal = {CoRR},
volume = {abs/cs/0609111},
year = {2006},
url = {http://arxiv.org/abs/cs/0609111},
eprinttype = {arXiv},
eprint = {cs/0609111},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0609111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sLogica/SonTZ05,
author = {Tran Cao Son and
Phan Huy Tu and
Xin Zhang},
title = {Reasoning about Sensing Actions in Domains with Multi-Valued Fluents},
journal = {Stud Logica},
volume = {79},
number = {1},
pages = {135--160},
year = {2005},
url = {https://doi.org/10.1007/s11225-005-0499-4},
doi = {10.1007/S11225-005-0499-4},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sLogica/SonTZ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SonTGM05,
author = {Tran Cao Son and
Phan Huy Tu and
Michael Gelfond and
A. Ricardo Morales},
editor = {Manuela M. Veloso and
Subbarao Kambhampati},
title = {Conformant Planning for Domains with Constraints-A New Approach},
booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
and the Seventeenth Innovative Applications of Artificial Intelligence
Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
pages = {1211--1216},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2005},
url = {http://www.aaai.org/Library/AAAI/2005/aaai05-192.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SonTGM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/El-KhatibPS05,
author = {Omar El{-}Khatib and
Enrico Pontelli and
Tran Cao Son},
editor = {Clinton Jeffery and
Jong{-}Deok Choi and
Raimondas Lencevicius},
title = {Justification and debugging of answer set programs in {ASP}},
booktitle = {Proceedings of the Sixth International Workshop on Automated Debugging,
{AADEBUG} 2005, Monterey, California, USA, September 19-21, 2005},
pages = {49--58},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1085130.1085137},
doi = {10.1145/1085130.1085137},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aadebug/El-KhatibPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/SonTGM05,
author = {Tran Cao Son and
Phan Huy Tu and
Michael Gelfond and
A. Ricardo Morales},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {An Approximation of Action Theories of and Its Application to Conformant
Planning},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {172--184},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_14},
doi = {10.1007/11546207\_14},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/SonTGM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ElkhatibPS05,
author = {Omar El{-}Khatib and
Enrico Pontelli and
Tran Cao Son},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Integrating an Answer Set Solver into Prolog: {ASP-PROLOG}},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {399--404},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_35},
doi = {10.1007/11546207\_35},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/ElkhatibPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/ElkabaniPS05,
author = {Islam Elkabani and
Enrico Pontelli and
Tran Cao Son},
editor = {Chitta Baral and
Gianluigi Greco and
Nicola Leone and
Giorgio Terracina},
title = {Smodels\({}^{\mbox{A}}\) - {A} System for Computing Answer Sets of
Logic Programs with Aggregates},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 8th International Conference,
{LPNMR} 2005, Diamante, Italy, September 5-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3662},
pages = {427--431},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11546207\_40},
doi = {10.1007/11546207\_40},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/ElkabaniPS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0508132,
author = {Tran Cao Son and
Enrico Pontelli},
title = {Planning with Preferences using Logic Programming},
journal = {CoRR},
volume = {abs/cs/0508132},
year = {2005},
url = {http://arxiv.org/abs/cs/0508132},
eprinttype = {arXiv},
eprint = {cs/0508132},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0508132.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/SonP04,
author = {Tran Cao Son and
Enrico Pontelli},
title = {Reasoning about Actions and Planning with Preferences Using Prioritized
Default Theory},
journal = {Comput. Intell.},
volume = {20},
number = {2},
pages = {358--404},
year = {2004},
url = {https://doi.org/10.1111/j.0824-7935.2004.00242.x},
doi = {10.1111/J.0824-7935.2004.00242.X},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/SonP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iwc/PontelliSKNKG04,
author = {Enrico Pontelli and
Tran Cao Son and
Keshav Reddy Kottapally and
Co Thai Ngo and
Ravikumar Reddy Kotthuru and
Douglas J. Gillan},
title = {A system for automatic structure discovery and reasoning-based navigation
of the web},
journal = {Interact. Comput.},
volume = {16},
number = {3},
pages = {451--475},
year = {2004},
url = {https://doi.org/10.1016/j.intcom.2004.04.006},
doi = {10.1016/J.INTCOM.2004.04.006},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iwc/PontelliSKNKG04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/SonBT04,
author = {Tran Cao Son and
Chitta Baral and
Le{-}Chi Tuan},
editor = {Deborah L. McGuinness and
George Ferguson},
title = {Adding Time and Intervals to Procedural and Hierarchical Control Specifications},
booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence,
Sixteenth Conference on Innovative Applications of Artificial Intelligence,
July 25-29, 2004, San Jose, California, {USA}},
pages = {92--97},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2004},
url = {http://www.aaai.org/Library/AAAI/2004/aaai04-015.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/SonBT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/TuanBZS04,
author = {Le{-}Chi Tuan and
Chitta Baral and
Xin Zhang and
Tran Cao Son},
editor = {Deborah L. McGuinness and
George Ferguson},
title = {Regression with Respect to Sensing Actions and Partial States},
booktitle = {Proceedings of the Nineteenth National Conference on Artificial Intelligence,
Sixteenth Conference on Innovative Applications of Artificial Intelligence,
July 25-29, 2004, San Jose, California, {USA}},
pages = {556--561},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2004},
url = {http://www.aaai.org/Library/AAAI/2004/aaai04-089.php},
timestamp = {Tue, 05 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/TuanBZS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clima/PivkinaPS04,
author = {Inna Pivkina and
Enrico Pontelli and
Tran Cao Son},
editor = {J{\"{u}}rgen Dix and
Jo{\~{a}}o Alexandre Leite},
title = {Revising Knowledge in Multi-agent Systems Using Revision Programming
with Preferences},
booktitle = {Computational Logic in Multi-Agent Systems, 4th International Workshop,
{CLIMA} IV, Fort Lauderdale, FL, USA, January 6-7, 2004, Revised Selected
and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3259},
pages = {134--158},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30200-1\_8},
doi = {10.1007/978-3-540-30200-1\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/clima/PivkinaPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/PanTPS04,
author = {Yu Pan and
Phan Huy Tu and
Enrico Pontelli and
Tran Cao Son},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Paolo Torroni and
Pinar Yolum},
title = {Construction of an Agent-Based Framework for Evolutionary Biology:
{A} Progress Report},
booktitle = {Declarative Agent Languages and Technologies II, Second International
Workshop, {DALT} 2004, New York, NY, USA, July 19, 2004, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {3476},
pages = {92--111},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11493402\_6},
doi = {10.1007/11493402\_6},
timestamp = {Fri, 27 Mar 2020 08:51:13 +0100},
biburl = {https://dblp.org/rec/conf/dalt/PanTPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ElkabaniPS04,
author = {Islam Elkabani and
Enrico Pontelli and
Tran Cao Son},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {Smodels with {CLP} and Its Applications: {A} Simple and Effective
Approach to Aggregates in {ASP}},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {73--89},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_6},
doi = {10.1007/978-3-540-27775-0\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ElkabaniPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/SonP04,
author = {Tran Cao Son and
Enrico Pontelli},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {Planning with Preferences Using Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {247--260},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_22},
doi = {10.1007/978-3-540-24609-1\_22},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/SonP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/SonTB04,
author = {Tran Cao Son and
Phan Huy Tu and
Chitta Baral},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {Planning with Sensing Actions and Incomplete Information Using Logic
Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {261--274},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_23},
doi = {10.1007/978-3-540-24609-1\_23},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/SonTB04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/PontelliSE04,
author = {Enrico Pontelli and
Tran Cao Son and
Islam Elkabani},
editor = {Vladimir Lifschitz and
Ilkka Niemel{\"{a}}},
title = {Smodels with CLP?A Treatment of Aggregates in {ASP}},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 7th International Conference,
{LPNMR} 2004, Fort Lauderdale, FL, USA, January 6-8, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2923},
pages = {356--360},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24609-1\_34},
doi = {10.1007/978-3-540-24609-1\_34},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/PontelliSE04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/ElkhativPS04,
author = {Omar El{-}Khatib and
Enrico Pontelli and
Tran Cao Son},
editor = {James P. Delgrande and
Torsten Schaub},
title = {{ASP-PROLOG:} a system for reasoning about answer set programs in
prolog},
booktitle = {10th International Workshop on Non-Monotonic Reasoning {(NMR} 2004),
Whistler, Canada, June 6-8, 2004, Proceedings},
pages = {155--163},
year = {2004},
url = {http://www.pims.math.ca/science/2004/NMR/papers/paper21.pdf},
timestamp = {Thu, 07 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nmr/ElkhativPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/ElkhatibPS04,
author = {Omar El{-}Khatib and
Enrico Pontelli and
Tran Cao Son},
editor = {Bharat Jayaraman},
title = {{ASP-PROLOG:} {A} System for Reasoning about Answer Set Programs in
Prolog},
booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium,
{PADL} 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3057},
pages = {148--162},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24836-1\_11},
doi = {10.1007/978-3-540-24836-1\_11},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/ElkhatibPS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0405071,
author = {Le{-}Chi Tuan and
Chitta Baral and
Tran Cao Son},
title = {Regression with respect to sensing actions and partial states},
journal = {CoRR},
volume = {cs.AI/0405071},
year = {2004},
url = {http://arxiv.org/abs/cs/0405071},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0405071.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ecra/PontelliS03,
author = {Enrico Pontelli and
Tran Cao Son},
title = {Designing intelligent agents to support universal accessibility of
E-commerce services},
journal = {Electron. Commer. Res. Appl.},
volume = {2},
number = {2},
pages = {147--161},
year = {2003},
url = {https://doi.org/10.1016/S1567-4223(03)00012-7},
doi = {10.1016/S1567-4223(03)00012-7},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ecra/PontelliS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BaralPS03,
author = {Chitta Baral and
Alessandro Provetti and
Tran Cao Son},
title = {Introduction to the special issue on Programming with Answer Sets},
journal = {Theory Pract. Log. Program.},
volume = {3},
number = {4-5},
pages = {387--391},
year = {2003},
url = {https://doi.org/10.1017/S1471068403001820},
doi = {10.1017/S1471068403001820},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BaralPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cuu/KottapallyNRPSG03,
author = {Keshav Reddy Kottapally and
C. Ngo and
R. Reddy and
Enrico Pontelli and
Tran Cao Son and
Douglas J. Gillan},
editor = {Mary Zajicek and
Alistair D. N. Edwards},
title = {Towards the creation of accessibility agents for non-visual navigation
of the web},
booktitle = {Proceedings of the 2003 Conference on Universal Usability, {CUU} '03,
Vancouver, British Columbia, Canada, November 10-11, 2003},
pages = {134--141},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/957205.957229},
doi = {10.1145/957205.957229},
timestamp = {Thu, 10 Feb 2022 11:48:39 +0100},
biburl = {https://dblp.org/rec/conf/cuu/KottapallyNRPSG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dalt/SonPRMG03,
author = {Tran Cao Son and
Enrico Pontelli and
Desh Ranjan and
Brook Milligan and
Gopal Gupta},
editor = {Jo{\~{a}}o Alexandre Leite and
Andrea Omicini and
Leon Sterling and
Paolo Torroni},
title = {An Agent-based Domain Specific Framework for Rapid Prototyping of
Applications in Evolutionary Biology},
booktitle = {Declarative Agent Languages and Technologies, First International
Workshop, {DALT} 2003, Melbourne, Australia, July 15, 2003, Revised
Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {2990},
pages = {76--96},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25932-9\_5},
doi = {10.1007/978-3-540-25932-9\_5},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dalt/SonPRMG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/SonP03,
author = {Tran Cao Son and
Enrico Pontelli},
editor = {Catuscia Palamidessi},
title = {Adding Preferences to Answer Set Planning},
booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
India, December 9-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {513--514},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24599-5\_48},
doi = {10.1007/978-3-540-24599-5\_48},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/SonP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/PontelliSPP03,
author = {Enrico Pontelli and
Tran Cao Son and
Yu Pan and
T. Phan},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {Developing Agents for Bioinformatics Applications: {A} Preliminary
Design},
booktitle = {Proceedings of the International Conference on Parallel and Distributed
Processing Techniques and Applications, {PDPTA} '03, June 23 - 26,
2003, Las Vegas, Nevada, USA, Volume 3},
pages = {1005--1011},
publisher = {{CSREA} Press},
year = {2003},
timestamp = {Tue, 28 Jun 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pdpta/PontelliSPP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/assets/PontelliS02,
author = {Enrico Pontelli and
Tran Cao Son},
editor = {Vicki L. Hanson and
Julie A. Jacko},
title = {Planning, reasoning, and agents for non-visual navigation of tables
and frames},
booktitle = {Proceedings of the {ACM} Conference on Assistive Technologies, {ASSETS}
2002, Edinburgh, Scotland, UK, July 8-10, 2002},
pages = {73--80},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/638249.638264},
doi = {10.1145/638249.638264},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/assets/PontelliS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic/PontelliS02,
author = {Enrico Pontelli and
Tran Cao Son},
editor = {Hamid R. Arabnia and
Youngsong Mun},
title = {Designing Intelligent Agents to Support Universal Accessibility},
booktitle = {Proceedings of the International Conference on Internet Computing,
{IC} 2002, Las Vegas, Nevada, USA, June 24-27, 2002},
pages = {726--732},
publisher = {{CSREA} Press},
year = {2002},
timestamp = {Fri, 03 Feb 2017 14:05:09 +0100},
biburl = {https://dblp.org/rec/conf/ic/PontelliS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/CostantiniOPS02,
author = {Stefania Costantini and
Ram{\'{o}}n P. Otero and
Alessandro Provetti and
Tran Cao Son},
editor = {Mohand{-}Said Hacid and
Zbigniew W. Ras and
Djamel A. Zighed and
Yves Kodratoff},
title = {Disjunctive Logic Programs with Inheritance Revisited},
booktitle = {Foundations of Intelligent Systems, 13th International Symposium,
{ISMIS} 2002, Lyon, France, June 27-29, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2366},
pages = {294--302},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-48050-1\_33},
doi = {10.1007/3-540-48050-1\_33},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ismis/CostantiniOPS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SonP02,
author = {Tran Cao Son and
Enrico Pontelli},
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Reasoning about Actions in Prioritized Default Theory},
booktitle = {Logics in Artificial Intelligence, European Conference, {JELIA} 2002,
Cosenza, Italy, September, 23-26, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2424},
pages = {369--381},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45757-7\_31},
doi = {10.1007/3-540-45757-7\_31},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/jelia/SonP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaralST02,
author = {Chitta Baral and
Tran Cao Son and
Le{-}Chi Tuan},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {A Transition Function Based Characterization of Actions with Delayed
and Continuous Effects},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {291--302},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 15:20:23 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaralST02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/McIlraithS02,
author = {Sheila A. McIlraith and
Tran Cao Son},
editor = {Dieter Fensel and
Fausto Giunchiglia and
Deborah L. McGuinness and
Mary{-}Anne Williams},
title = {Adapting Golog for Composition of Semantic Web Services},
booktitle = {Proceedings of the Eights International Conference on Principles and
Knowledge Representation and Reasoning (KR-02), Toulouse, France,
April 22-25, 2002},
pages = {482--496},
publisher = {Morgan Kaufmann},
year = {2002},
timestamp = {Tue, 22 Jul 2003 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/McIlraithS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-AI-0207023,
author = {Tran Cao Son and
Chitta Baral and
Tran Hoai Nam and
Sheila A. McIlraith},
title = {Domain-Dependent Knowledge in Answer Set Planning},
journal = {CoRR},
volume = {cs.AI/0207023},
year = {2002},
url = {https://arxiv.org/abs/cs/0207023},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-AI-0207023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/SonB01,
author = {Tran Cao Son and
Chitta Baral},
title = {Formalizing sensing actions {A} transition function based approach},
journal = {Artif. Intell.},
volume = {125},
number = {1-2},
pages = {19--91},
year = {2001},
url = {https://doi.org/10.1016/S0004-3702(00)00080-1},
doi = {10.1016/S0004-3702(00)00080-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/SonB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/DungS01,
author = {Phan Minh Dung and
Tran Cao Son},
title = {An argument-based approach to reasoning with specificity},
journal = {Artif. Intell.},
volume = {133},
number = {1-2},
pages = {35--85},
year = {2001},
url = {https://doi.org/10.1016/S0004-3702(01)00134-5},
doi = {10.1016/S0004-3702(01)00134-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/DungS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aim/FesqAKPCSLLPC01,
author = {Lorraine M. Fesq and
Ella M. Atkins and
Lina Khatib and
Charles Pecheur and
Paul R. Cohen and
Lynn Andrea Stein and
Michael van Lent and
John E. Laird and
Alessandro Provetti and
Tran Cao Son},
title = {{AAAI} 2001 Spring Symposium Series Reports},
journal = {{AI} Mag.},
volume = {22},
number = {3},
pages = {117--122},
year = {2001},
url = {https://doi.org/10.1609/aimag.v22i3.1585},
doi = {10.1609/AIMAG.V22I3.1585},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aim/FesqAKPCSLLPC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/expert/McIlraithSZ01,
author = {Sheila A. McIlraith and
Tran Cao Son and
Honglei Zeng},
title = {Semantic Web Services},
journal = {{IEEE} Intell. Syst.},
volume = {16},
number = {2},
pages = {46--53},
year = {2001},
url = {https://doi.org/10.1109/5254.920599},
doi = {10.1109/5254.920599},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/expert/McIlraithSZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/SonBM01,
author = {Tran Cao Son and
Chitta Baral and
Sheila A. McIlraith},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {Extending Answer Set Planning with Sequence, Conditional, Loop, Non-Deterministic
Choice, and Procedure Constructs},
booktitle = {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},
year = {2001},
url = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/2.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/SonBM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asp/SonL01,
author = {Tran Cao Son and
Jorge Lobo},
editor = {Alessandro Provetti and
Tran Cao Son},
title = {Reasoning about Policies using Logic Programs},
booktitle = {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},
year = {2001},
url = {http://www.cs.nmsu.edu/\%7Etson/ASP2001/29.ps},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asp/SonL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/SonBM01,
author = {Tran Cao Son and
Chitta Baral and
Sheila A. McIlraith},
editor = {Thomas Eiter and
Wolfgang Faber and
Miroslaw Truszczynski},
title = {Planning with Different Forms of Domain-Dependent Control Knowledge
- An Answer Set Programming Approach},
booktitle = {Logic Programming and Nonmonotonic Reasoning, 6th International Conference,
{LPNMR} 2001, Vienna, Austria, September 17-19, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2173},
pages = {226--239},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45402-0\_17},
doi = {10.1007/3-540-45402-0\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/SonBM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/McIlraithSZ01,
author = {Sheila A. McIlraith and
Tran Cao Son and
Honglei Zeng},
editor = {Stefan Decker and
Dieter A. Fensel and
Amit P. Sheth and
Steffen Staab},
title = {Mobilizing the Semantic Web with DAML-enabled Web Services},
booktitle = {Proceedings of the Second International Workshop on the Semantic Web
- SemWeb'2001, Hongkong, China, May 1, 2001},
series = {{CEUR} Workshop Proceedings},
volume = {40},
publisher = {CEUR-WS.org},
year = {2001},
url = {http://CEUR-WS.org/Vol-40/mcilraith-semweb-2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:43 +0100},
biburl = {https://dblp.org/rec/conf/semweb/McIlraithSZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asp/2001,
editor = {Alessandro Provetti and
Tran Cao Son},
title = {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},
year = {2001},
timestamp = {Mon, 18 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asp/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/DungS00,
author = {Phan Minh Dung and
Tran Cao Son},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Default Reasoning with Specificity},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {792--806},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_53},
doi = {10.1007/3-540-44957-4\_53},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/DungS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideal/HanhS00,
author = {Pham Hong Hanh and
Tran Cao Son},
editor = {Kwong{-}Sak Leung and
Lai{-}Wan Chan and
Helen Meng},
title = {Round-Table Architecture for Communication in Multi-agent Softbot
Systems},
booktitle = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2000,
Data Mining, Financial Engineering, and Intelligent Agents, Second
International Conference, Shatin, {N.T.} Hong Kong, China, December
13-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1983},
pages = {338--343},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44491-2\_49},
doi = {10.1007/3-540-44491-2\_49},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ideal/HanhS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BaralMS00,
author = {Chitta Baral and
Sheila A. McIlraith and
Tran Cao Son},
editor = {Anthony G. Cohn and
Fausto Giunchiglia and
Bart Selman},
title = {Formulating diagnostic problem solving using an action language with
narratives and sensing},
booktitle = {{KR} 2000, Principles of Knowledge Representation and Reasoning Proceedings
of the Seventh International Conference, Breckenridge, Colorado, USA,
April 11-15, 2000},
pages = {311--322},
publisher = {Morgan Kaufmann},
year = {2000},
timestamp = {Tue, 20 Jun 2023 09:03:42 +0200},
biburl = {https://dblp.org/rec/conf/kr/BaralMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/Tran99,
author = {Tran Cao Son},
editor = {Jim Hendler and
Devika Subramanian},
title = {Reasoning about Sensing Actions and Reactivity},
booktitle = {Proceedings of the Sixteenth National Conference on Artificial Intelligence
and Eleventh Conference on Innovative Applications of Artificial Intelligence,
July 18-22, 1999, Orlando, Florida, {USA}},
pages = {955},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1999},
url = {http://www.aaai.org/Library/AAAI/1999/aaai99-163.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/Tran99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/BaralS99,
author = {Chitta Baral and
Tran Cao Son},
editor = {Nicholas R. Jennings and
Yves Lesp{\'{e}}rance},
title = {Extending ConGolog to Allow Partial Ordering},
booktitle = {Intelligent Agents VI, Agent Theories, Architectures, and Languages
(ATAL), 6th International Workshop, {ATAL} '99, Orlando, Florida,
USA, July 15-17, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1757},
pages = {188--204},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10719619\_14},
doi = {10.1007/10719619\_14},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/atal/BaralS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/etai/BaralT98,
author = {Chitta Baral and
Tran Cao Son},
title = {Relating Theories of Actions and Reactive Control},
journal = {Electron. Trans. Artif. Intell.},
volume = {2},
pages = {211--271},
year = {1998},
url = {http://www.ep.liu.se/ej/etai/1998/008/},
timestamp = {Mon, 09 May 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/etai/BaralT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mta/BaralGS98,
author = {Chitta Baral and
Graciela Gonzalez and
Tran Cao Son},
title = {Conceptual Modeling and Querying in Multimedia Databases},
journal = {Multim. Tools Appl.},
volume = {7},
number = {1/2},
pages = {37--66},
year = {1998},
url = {https://doi.org/10.1023/A:1009670119569},
doi = {10.1023/A:1009670119569},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mta/BaralGS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/MoralesS98,
author = {David Morales and
Tran Cao Son},
title = {Interval Methods in Robot Navigation},
journal = {Reliab. Comput.},
volume = {4},
number = {1},
pages = {55--61},
year = {1998},
url = {https://doi.org/10.1023/A:1009950632694},
doi = {10.1023/A:1009950632694},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rc/MoralesS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agents/BaralFHMNS98,
author = {Chitta Baral and
Luis Floriano and
Aaron Hardesty and
David Morales and
Monica L. Nogueira and
Tran Cao Son},
editor = {Katia P. Sycara and
Michael J. Wooldridge},
title = {From Theory to Practice: The {UTEP} Robot in the {AAAI} 96 {AAAI}
97 Robot Contests},
booktitle = {Proceedings of the Second International Conference on Autonomous Agents,
{AGENTS} 1998, St. Paul, Minnepolis, USA, May 9-13, 1998},
pages = {32--38},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/280765.280771},
doi = {10.1145/280765.280771},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agents/BaralFHMNS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/BaralGS98,
author = {Chitta Baral and
Graciela Gonzalez and
Tran Cao Son},
editor = {Susan Darling Urban and
Elisa Bertino},
title = {Design and Implementation of Display Specification for Multimedia
Answers},
booktitle = {Proceedings of the Fourteenth International Conference on Data Engineering,
Orlando, Florida, USA, February 23-27, 1998},
pages = {558--565},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/ICDE.1998.655819},
doi = {10.1109/ICDE.1998.655819},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/BaralGS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpkr/GelfondS97,
author = {Michael Gelfond and
Tran Cao Son},
editor = {J{\"{u}}rgen Dix and
Lu{\'{\i}}s Moniz Pereira and
Teodor C. Przymusinski},
title = {Reasoning with Prioritized Defaults},
booktitle = {Logic Programming and Knowledge Representation, Third International
Workshop, {LPKR} '97, Port Jefferson, New York, USA, October 17, 1997,
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1471},
pages = {164--223},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0054795},
doi = {10.1007/BFB0054795},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpkr/GelfondS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BaralS97,
author = {Chitta Baral and
Tran Cao Son},
editor = {Jan Maluszynski},
title = {Approximate Reasoning about Actions in Presence of Sensing and Incomplete
Information},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {387--401},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Fri, 10 Jul 2015 12:20:33 +0200},
biburl = {https://dblp.org/rec/conf/slp/BaralS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/BaralFGMSW96,
author = {Chitta Baral and
Luis Floriano and
Alfredo Gabaldon and
David Morales and
Tran Cao Son and
Richard G. Watson},
editor = {William J. Clancey and
Daniel S. Weld},
title = {A Reactive Mobile Robot Based on a Formal Theory of Action},
booktitle = {Proceedings of the Thirteenth National Conference on Artificial Intelligence
and Eighth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 96, {IAAI} 96, Portland, Oregon, USA, August 4-8, 1996, Volume
2},
pages = {1350},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1996},
url = {http://www.aaai.org/Library/AAAI/1996/aaai96-203.php},
timestamp = {Tue, 05 Sep 2023 08:53:09 +0200},
biburl = {https://dblp.org/rec/conf/aaai/BaralFGMSW96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/DungS96,
author = {Phan Minh Dung and
Tran Cao Son},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {An Argumentation-theoretic Approach to Reasoning with Specificity},
booktitle = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
pages = {506--517},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 18 May 2012 15:03:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/DungS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/DungS95,
author = {Phan Minh Dung and
Tran Cao Son},
editor = {V. Wiktor Marek and
Anil Nerode},
title = {Nonmonotonic Inheritance, Argumentation and Logic Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning, Third International
Conference, LPNMR'95, Lexington, KY, USA, June 26-28, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {928},
pages = {316--329},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-59487-6\_23},
doi = {10.1007/3-540-59487-6\_23},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/DungS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-09 20:47 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:
