507 search results - page 56 / 102 » Automating first-order relational logic |
117
Voted
IWANN
2009
Springer
15 years 7 months ago
2009
Springer
Biomedical ontologies provide a commonly accepted scheme for the characterization of biological concepts that enable knowledge sharing and integration. Updating and maintaining an ...
123
click to vote
DFG
2004
Springer
15 years 4 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
130
Voted
FLOPS
2010
Springer
15 years 7 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...
98
Voted
TARK
2009
Springer
15 years 7 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 ...
102
Voted
ECSQARU
2007
Springer
15 years 6 months 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...