2585 search results - page 251 / 517 » Automating Coherent Logic |
197
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and s...
158
click to vote
LICS
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe a substructural logic with ordered, linear, and persistent propositions and then endow a fragment with a committed choice forward-chaining operational interpretation. ...
149
click to vote
LPNMR
2009
Springer
16 years 1 months ago
2009
Springer
We consider random logic programs with two-literal rules and study their properties. In particular, we obtain results on the probability that random “sparse” and “dense” pr...
162
click to vote
TARK
2009
Springer
16 years 1 months ago
2009
Springer
Brandenburger, Friedenberg, and Keisler provide an epistemic characterization of iterated admissibility (i.e., iterated deletion of weakly dominated strategies) where uncertainty ...
176
click to vote
ECSQARU
2007
Springer
16 years 24 days ago
2007
Springer
This paper presents a new approach to inference in Bayesian networks. The principal idea is to encode the network by logical sentences and to compile the resulting encoding into an...