diff --git a/krr.bib b/krr.bib index 356d580..dd446af 100644 --- a/krr.bib +++ b/krr.bib @@ -1878,6 +1878,17 @@ @inproceedings{bacoce99a pages = {442-447} } +@article{bacoharusc25a, + title = {Smart Expansion Techniques for {ASP}-Based Interactive Configuration}, + author = {L. Bal\'{a}zov\'{a} and R. Comploi-Taupe and S. Hahn and N. R\"{u}hling and G. Schenner}, + doi = {10.1017/S147106842510029X}, + journal = tplp, + number = {4}, + pages = {473-488}, + volume = {25}, + year = {2025} +} + @inproceedings{badaeifikr10a, title = {Decomposition of Distributed Nonmonotonic Multi-Context Systems}, author = {S. Bairakdar and M. Dao-Tran and T. Eiter and M. Fink and T. Krennwallner}, @@ -22577,6 +22588,13 @@ @inproceedings{ruscst23a url = {https://ceur-ws.org/Vol-3509/paper12.pdf} } +@inproceedings{ruscwa25a, + title = {Formalizing {ASP}-based Product Configuration: Work in Progress}, + author = {N. R\"{u}hling and T. Schaub and P. Wanko}, + crossref = {taasp25}, + url = {https://taasp.at/2025/assets/paper/1_Formalizing_ASP_based_Produc.pdf} +} + @book{rusnor10a, title = {Artificial Intelligence: A Modern Approach}, author = {S. Russell and P. Norvig}, diff --git a/procs.bib b/procs.bib index f2cbf30..4a38e48 100644 --- a/procs.bib +++ b/procs.bib @@ -4424,6 +4424,15 @@ @proceedings{taasp22 year = {2022} } +@proceedings{taasp25, + title = {Proceedings of the Eigth Workshop on Trends and Applications of Answer Set Programming (TAASP'25)}, + editor = {T. Geibinger and T. Stolzmann and A. Tarzariol}, + booktitle = {Proceedings of the Eigth Workshop on Trends and Applications of Answer Set Programming (TAASP'25)}, + optpublisher = {Technische Universit{\"a}t Wien}, + url = {https://taasp.at/2025/program.html}, + year = {2025} +} + @book{TableauHandbook, title = {Handbook of Tableau Methods}, editor = {M. {D}'\relax Agostino and D. Gabbay and R. H{\"a}hnle and J. Posegga},