175 search results - page 9 / 35 » A Complete and Recursive Feature Theory |
147
click to vote
CADE
1994
Springer
15 years 8 months ago
1994
Springer
Abstract. PROTEIN (PROver with a Theory Extension INterface) is a PTTPbased first order theorem prover over built-in theories. Besides various standardrefinements knownformodelelim...
126
click to vote
CCL
1994
Springer
15 years 8 months ago
1994
Springer
We employ the model-theoretic method of Ehrenfeucht-Fra sse Games to prove the completeness of the theory CFT, which has been introduced in 22] for describing rational trees in a ...
146
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Most languages for the Semantic Web have their logical basis in some fragment of first-order logic. Thus, integrating first-order logic with probability is fundamental for represen...
130
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— Robots are emerging from industrial plants toward every people’s daily life. Thus, navigation in and understanding of human related environments becomes a prerequisit...
177
click to vote
AAAI
2012
13 years 6 months ago
2012
The study of transportability aims to identify conditions under which causal information learned from experiments can be reused in a different environment where only passive obser...