Formal Reasoning on a Web Coordination System.
Eloy J. MataPedro ÁlvarezJosé A. BañaresJulio RubioPublished in: EUROCAST (2007)
Keyphrases
- web applications
- formal models
- website
- cooperative
- formal model
- reasoning process
- meta level
- logical reasoning
- multi agent
- knowledge representation
- web documents
- information sharing
- semantic web
- web scale
- web communities
- reasoning processes
- web content
- information sources
- multi agent systems
- knowledge base
- web pages
- database
- machine processable
- reasoning systems
- automated reasoning
- spatial reasoning
- user generated content
- web technologies
- web resources
- web users
- web data
- web services
- information retrieval