537 search results - page 42 / 108 » A Theory of Inferred Causation |
138
click to vote
ICWS
2004
IEEE
15 years 1 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
120
click to vote
EUSFLAT
2009
14 years 9 months ago
2009
The need for an automatic inference process able to deal with information coming from unreliable sources is becoming a relevant issue both on corporate networks and on the open Web...
CADE
2003
Springer
16 years 5 days ago
2003
Springer
In this paper we present a translation principle, called the axiomatic translation, for reducing propositional modal logics with background theories, including triangular propertie...
NIPS
2008
15 years 1 months ago
2008
Psychophysical experiments show that humans are better at perceiving rotation and expansion than translation. These findings are inconsistent with standard models of motion integr...
ENTCS
2007
14 years 11 months ago
2007
The rewrite-based approach to satisfiability modulo theories consists of using generic theorem-proving strategies for first-order logic with equality. If one can prove that an i...