Formal analysis and verification support for reactive rule-based Web agents.
Katerina KsystraPetros S. StefaneasPublished in: Int. J. Web Inf. Syst. (2016)
Keyphrases
- formal analysis
- agent model
- formal methods
- end users
- agent architecture
- multi agent
- multi agent systems
- website
- reactive agents
- multiagent systems
- information gathering
- cooperative
- semantic web
- intelligent agents
- expert systems
- multiple agents
- web pages
- reactive systems
- ban logic
- software agents
- decision making
- reverse engineering
- web mining
- model checking
- knowledge based systems
- software engineering
- artificial intelligence