We describe COBA 2.0, an implementation of a consistency-based framework for expressing belief change, focusing on revision and contraction (possibly) incorporating integrity cons...
James P. Delgrande, Daphne H. Liu, Torsten Schaub,...
Abstract. Parameter estimation of large bio-pathway models is an important and difficult problem. To reduce the prohibitive computational cost, one approach is to decompose a large...
Geoffrey Koh, Lisa Tucker-Kellogg, David Hsu, P. S...
In the machine learning community it is generally believed that graph Laplacians corresponding to a finite sample of data points converge to a continuous Laplace operator if the s...
Matthias Hein, Jean-Yves Audibert, Ulrike von Luxb...
This paper addresses constraint solving over continuous domains in the context of decision making, and discusses the trade-off between precision in the definition of the solution s...
Traditionally, consistency is the only criterion for the quality of a theory in logicbased approaches to reasoning about actions. This work goes beyond that and contributes to the...