TY - JOUR A1 - Tran, Son Cao A1 - Pontelli, Enrico A1 - Balduccini, Marcello A1 - Schaub, Torsten T1 - Answer set planning BT - a survey JF - Theory and practice of logic programming N2 - 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. KW - planning KW - knowledge representation and reasoning KW - logic programming Y1 - 2022 U6 - https://doi.org/10.1017/S1471068422000072 SN - 1471-0684 SN - 1475-3081 PB - Cambridge University Press CY - New York ER - TY - JOUR A1 - Susman, Roni A1 - Gütte, Annelie Maja A1 - Weith, Thomas T1 - Drivers of land use conflicts in infrastructural mega projects in coastal areas BT - a case study of Patimban Seaport, Indonesia JF - Land : open access journal N2 - 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. KW - infrastructural mega projects KW - land use conflicts KW - land tenure KW - land use KW - planning KW - Patimban Seaport Y1 - 2021 U6 - https://doi.org/10.3390/land10060615 SN - 2073-445X VL - 10 IS - 6 PB - MDPI CY - Basel ER - TY - JOUR A1 - Fandinno, Jorge A1 - Laferriere, Francois A1 - Romero, Javier A1 - Schaub, Torsten H. A1 - Son, Tran Cao T1 - Planning with incomplete information in quantified answer set programming JF - Theory and practice of logic programming N2 - 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. KW - answer set programming KW - planning KW - quantified logics Y1 - 2021 U6 - https://doi.org/10.1017/S1471068421000259 SN - 1471-0684 SN - 1475-3081 VL - 21 IS - 5 SP - 663 EP - 679 PB - Cambridge University Press CY - Cambridge ER - TY - JOUR A1 - Schneider, Philipp A1 - Walz, Ariane A1 - Albert, Christian A1 - Lipp, Torsten T1 - Ecosystem-based adaptation in cities BT - use of formal and informal planning instruments JF - Land use policy N2 - 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. KW - Landscape planning KW - Climate change adaptation KW - Informal and formal KW - planning KW - Extreme weather KW - Cities Y1 - 2021 U6 - https://doi.org/10.1016/j.landusepol.2021.105722 SN - 0264-8377 VL - 109 PB - Elsevier CY - Oxford ER -