4617 search results - page 710 / 924 » Automation of Diagrammatic Reasoning |
242
click to vote
ILP
2007
Springer
16 years 1 months ago
2007
Springer
Statistical Relational Learning (SRL) combines the benefits of probabilistic machine learning approaches with complex, structured domains from Inductive Logic Programming (ILP). W...
157
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Experiments show that many inequalities involving exponentials and logarithms can be proved automatically by combining a resolution theorem prover with a decision procedu...
221
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We consider the temporal logic with since and until modalities. This temporal logic is expressively equivalent over the class of ordinals to first-order logic thanks to ...
189
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Permutative logic (PL) is a noncommutative variant of multiplicative linear logic (MLL) arising from recent investigations concerning the topology of linear proofs. Permu...
185
click to vote
LPAR
2007
Springer
16 years 1 months ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...