A logic-based approach for automatic synthesis and maintenance of web sites
João M. B. Cavalcanti, Wamberto Weber Vasconcelos · 2002
In this paper we introduce and justify the use of high-level specifications for synthesising and managing Web sites. Ours is a declarative approach employing computational logic for representing information and knowledge and also for generating the actual site in a format suitable for browsing. Additionally, our specifications contain definitions of logic-based agents that are constructed as part of the synthesis of the Web site specification and can be employed to automate the maintenance of parts of the site.