Communications of the ACM
Specifications are (preferably) executable
Software Engineering Journal
Directed hypergraphs and applications
Discrete Applied Mathematics - Special issue: combinatorial structures and algorithms
Logic programming with the World-Wide Web
Proceedings of the the seventh ACM conference on Hypertext
From logic programming to Prolog
From logic programming to Prolog
Database techniques for the World-Wide Web: a survey
ACM SIGMOD Record
Fundamentals of Database Systems
Fundamentals of Database Systems
SEAL - A Framework for Developing SEmantic Web PortALs
BNCOD 18 Proceedings of the 18th British National Conference on Databases: Advances in Databases
Synthesis of Web Sites from High Level Descriptions
Web Engineering, Software Engineering and Web Application Development
Web site synthesis based on computational logic
Knowledge and Information Systems
Hi-index | 0.00 |
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.