@article{TranPontelliBalduccinietal.2022, author = {Tran, Son Cao and Pontelli, Enrico and Balduccini, Marcello and Schaub, Torsten}, title = {Answer set planning}, series = {Theory and practice of logic programming}, journal = {Theory and practice of logic programming}, publisher = {Cambridge University Press}, address = {New York}, issn = {1471-0684}, doi = {10.1017/S1471068422000072}, pages = {73}, year = {2022}, abstract = {Answer Set Planning refers to the use of Answer Set Programming (ASP) to compute plans, that is, solutions to planning problems, that transform a given state of the world to another state. The development of efficient and scalable answer set solvers has provided a significant boost to the development of ASP-based planning systems. This paper surveys the progress made during the last two and a half decades in the area of answer set planning, from its foundations to its use in challenging planning domains. The survey explores the advantages and disadvantages of answer set planning. It also discusses typical applications of answer set planning and presents a set of challenges for future research.}, language = {en} } @article{SusmanGuetteWeith2021, author = {Susman, Roni and G{\"u}tte, Annelie Maja and Weith, Thomas}, title = {Drivers of land use conflicts in infrastructural mega projects in coastal areas}, series = {Land : open access journal}, volume = {10}, journal = {Land : open access journal}, number = {6}, publisher = {MDPI}, address = {Basel}, issn = {2073-445X}, doi = {10.3390/land10060615}, pages = {24}, year = {2021}, abstract = {Coastal areas are particularly sensitive because they are complex, and related land use conflicts are more intense than those in noncoastal areas. In addition to representing a unique encounter of natural and socioeconomic factors, coastal areas have become paradigms of progressive urbanisation and economic development. Our study of the infrastructural mega project of Patimban Seaport in Indonesia explores the factors driving land use changes and the subsequent land use conflicts emerging from large-scale land transformation in the course of seaport development and mega project governance. We utilised interviews and questionnaires to investigate institutional aspects and conflict drivers. Specifically, we retrace and investigate the mechanisms guiding how mega project governance, land use planning, and actual land use interact. Therefore, we observe and analyse where land use conflicts emerge and the roles that a lack of stakeholder interest involvement and tenure-responsive planning take in this process. Our findings reflect how mismanagement and inadequate planning processes lead to market failure, land abandonment and dereliction and how they overburden local communities with the costs of mega projects. Enforcing a stronger coherence between land use planning, participation and land tenure within the land governance process in coastal land use development at all levels and raising the capacity of stakeholders to interfere with governance and planning processes will reduce conflicts and lead to sustainable coastal development in Indonesia.}, language = {en} } @article{FandinnoLaferriereRomeroetal.2021, author = {Fandinno, Jorge and Laferriere, Francois and Romero, Javier and Schaub, Torsten H. and Son, Tran Cao}, title = {Planning with incomplete information in quantified answer set programming}, series = {Theory and practice of logic programming}, volume = {21}, journal = {Theory and practice of logic programming}, number = {5}, publisher = {Cambridge University Press}, address = {Cambridge}, issn = {1471-0684}, doi = {10.1017/S1471068421000259}, pages = {663 -- 679}, year = {2021}, abstract = {We present a general approach to planning with incomplete information in Answer Set Programming (ASP). More precisely, we consider the problems of conformant and conditional planning with sensing actions and assumptions. We represent planning problems using a simple formalism where logic programs describe the transition function between states, the initial states and the goal states. For solving planning problems, we use Quantified Answer Set Programming (QASP), an extension of ASP with existential and universal quantifiers over atoms that is analogous to Quantified Boolean Formulas (QBFs). We define the language of quantified logic programs and use it to represent the solutions different variants of conformant and conditional planning. On the practical side, we present a translation-based QASP solver that converts quantified logic programs into QBFs and then executes a QBF solver, and we evaluate experimentally the approach on conformant and conditional planning benchmarks.}, language = {en} } @article{SchneiderWalzAlbertetal.2021, author = {Schneider, Philipp and Walz, Ariane and Albert, Christian and Lipp, Torsten}, title = {Ecosystem-based adaptation in cities}, series = {Land use policy}, volume = {109}, journal = {Land use policy}, publisher = {Elsevier}, address = {Oxford}, issn = {0264-8377}, doi = {10.1016/j.landusepol.2021.105722}, pages = {11}, year = {2021}, abstract = {Extreme weather events like heavy rainfall and heat waves will likely increase in intensity and frequency due to climate change. As the impacts of these extremes are particularly prominent in urban agglomerations, cities face an urgent need to develop adaptation strategies. Ecosystem-based Adaptation (EbA) provides helpful strategies that harness ecological processes in addition to technical interventions. EbA has been addressed in informal adaptation planning. Formal municipality planning, namely landscape planning, is supposed to include traditionally some EbA measures, although adaptation has not been their explicit focus. Our research aims to investigate how landscape plans incorporate climate-related extremes and EbA as well as to discuss the potential to enhance EbA uptake in formal planning. We conducted a document analysis of informal planning documents from 85 German cities and the analysis of formal landscape plans of 61 of these cities. The results suggest that city size does affect the extent of informal planning instruments and the comprehensiveness of formal landscape plans. Climate-related extremes and EbA measures have traditionally been part of landscape planning. Almost all landscape plans address heat stress, while climate change and heavy rain have been addressed less often, though more frequently since 2008. Greening of walls and roofs, on-site infiltration and water retention reveal significant potential for better integration in landscape plans. Landscape planning offers an entry point for effective climate adaptation through EbA in cities. Informal and formal planning instruments should be closely combined for robust, spatially explicit, legally binding implementation of EbA measures in the future.}, language = {en} }