959 search results - page 76 / 192 » Transfers between Logics and their Applications |
149
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
The relationship between constraint-based mining and constraint programming is explored by showing how the typical constraints used in pattern mining can be formulated for use in ...
166
click to vote
ADC
2006
Springer
16 years 4 days ago
2006
Springer
We extend Fagin’s result on the equivalence between functional dependencies in relational databases and propositional Horn clauses. It is shown that this equivalence still holds...
148
click to vote
TPHOL
2005
IEEE
15 years 11 months ago
2005
IEEE
Using the HOL theorem prover, we proved the correctness of a translation from a subset of Accellera’s property specification language PSL to linear temporal logic LTL. Moreover,...
158
click to vote
TPHOL
1996
IEEE
15 years 10 months ago
1996
IEEE
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
166
click to vote
AAAI
2007
15 years 8 months ago
2007
Description Logics, and in particular the web ontology language OWL has been proposed as an appropriate basis for computing matches between structured objects for the sake of info...