Programming Goal-Driven Web Sites Using an Agent Logic Language.
Matteo BaldoniCristina BaroglioAlessandro ChiarottoViviana PattiPublished in: PADL (2001)
Keyphrases
- goal driven
- website
- programming language
- object oriented programming
- agent programming
- dynamic logic
- programming environment
- oriented programming
- software product line
- concurrent programming
- service composition
- logic programming
- web pages
- software engineering
- formal language
- programs written
- computer programs
- semantic web services
- modal logic
- scripting language
- natural language
- operational semantics
- declarative programming
- modal operators
- model checking
- lightweight
- object oriented
- artificial intelligence