7715 search results - page 1099 / 1543 » Visual Rules Modeling |
150
Voted
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
223
Voted
KR
2004
Springer
15 years 10 months ago
2004
Springer
We discuss the representation of knowledge and of belief from the viewpoint of decision theory. While the Bayesian approach enjoys general-purpose applicability and axiomatic foun...
120
Voted
APAL
2007
15 years 5 months ago
2007
In this paper, we present a categorical model for Multiplicative Additive Polarized Linear Logic MALLP, which is the linear fragment (without structural rules) of Olivier Laurent...
139
click to vote
VIS
2004
IEEE
16 years 6 months ago
2004
IEEE
Determining the three-dimensional structure of distant astronomical objects is a challenging task, given that terrestrial observations provide only one viewpoint. For this task, b...
133
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
Web sites are designed for graphical mode of interaction. Sighted users can "cut to the chase" and quickly identify relevant information in Web pages. On the contrary, i...