Login / Signup
cplint on SWISH: Probabilistic Logical Inference with a Web Browser.
Marco Alberti
Elena Bellodi
Giuseppe Cota
Fabrizio Riguzzi
Riccardo Zese
Published in:
Intelligenza Artificiale (2017)
Keyphrases
</>
logical inference
web browser
theorem proving
website
web applications
web server
web pages
user interface
probabilistic inference
web content
logical structure
knowledge compilation
user friendly interface
client server architecture
social networks