SSP Group Meeting
Wednesday, July 10th, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13


A Logic-Based Approach for Automatic Synthesis and Maintenance of Web Sites

Joćo Cavalcanti

In this talk we 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.