Presenting TSTP Proofs with Inference Web Tools.
Paulo Pinheiro da SilvaGeoff SutcliffeCynthia ChangLi DingNicholas Del RioDeborah L. McGuinnessPublished in: PAAR/ESHOL (2008)
Keyphrases
- web technologies
- website
- end users
- web publishing
- semantic technologies
- web applications
- software tools
- web pages
- bayesian networks
- web documents
- web users
- semantic web
- web resources
- online resources
- using semantic web technologies
- web content
- web mining
- user generated content
- data repositories
- social software
- web communities
- linked data
- theorem prover
- rss feeds
- social networking websites
- software engineering
- web services
- database
- content creation
- application programming interfaces
- web interface
- web environment
- computer programs
- theorem proving
- bayesian inference
- probabilistic inference
- web data
- decision support
- e learning
- search engine