Automated reasoning for web page layout.

Pavel Panchekha Emina Torlak

Published in: OOPSLA (2016)

Keyphrases

automated reasoning
page layout
reasoning systems
knowledge representation
theorem prover
document images
theorem proving
probabilistic reasoning
web documents
reasoning tasks
artificial intelligence
document type
web pages
bayesian networks
information retrieval systems