3571 search results - page 393 / 715 » Cohen and Set Theory |
158
click to vote
AIMSA
2000
Springer
15 years 11 months ago
2000
Springer
Inductive Logic Programming (ILP) deals with inducing clausal theories from examples basically through generalization or specialization. The specialization and generalization oper...
194
click to vote
CADE
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. aRa is an automatic theorem prover for various kinds of relation algebras. It is based on Gordeev’s Reduction Predicate Calculi for n-variable logic (RPCn) which allow ...
239
click to vote
AISC
2010
Springer
15 years 11 months ago
2010
Springer
General purpose theorem provers provide sophisticated proof methods, but lack some of the advanced structuring mechanisms found in specification languages. This paper builds on pr...
147
click to vote
HICSS
1999
IEEE
15 years 11 months ago
1999
IEEE
What EDI needs is a good semantics, that is, a workable formal theory of what EDI messages mean. As is widely recognized, the point applies to electronic commerce and to communica...
175
click to vote
INFOVIS
1999
IEEE
15 years 11 months ago
1999
IEEE
Focus+context visualization techniques aim to give users integrated visual access to both details and overview of a data set. This paper gives a systematic account of such visuali...