LOPSTR
1997
Springer
14 years 3 months ago
1997
Springer
LOPSTR
1997
Springer
14 years 3 months ago
1997
Springer
Synthesis of logic programs is considered as a special instance of logic programming. We describe experience made within a logical metaprogramming environment whose central compone...
LOPSTR
1997
Springer
14 years 3 months ago
1997
Springer
Abstract. We present an approach to a coherent program synthesis system which integrates a variety of interactively controlled and automated techniques from theorem proving and alg...
KGC
1997
Springer
14 years 3 months ago
1997
Springer
KGC
1997
Springer
14 years 3 months ago
1997
Springer
KGC
1997
Springer
14 years 3 months ago
1997
Springer
The tree isomorphism problem is the problem of determining whether two trees are isomorphic. The tree canonization problem is the problem of producing a canonical tree isomorphic t...
KGC
1997
Springer
14 years 3 months ago
1997
Springer
Rice’s Theorem says that every nontrivial semantic property of programs is undecidable. In this spirit we show the following: Every nontrivial absolute (gap, relative) counting p...
ILP
1997
Springer
14 years 3 months ago
1997
Springer
Abstract. We present a logical approach to graph theoretical learning that is based on using alphabetic substitutions for modelling graph morphisms. A classi ed graph is represente...
ILP
1997
Springer
14 years 3 months ago
1997
Springer
ICLP
1997
Springer
14 years 3 months ago
1997
Springer
We introduce and explore a property of deductive data bases with updates wich we call total homeostaticity, and which substantially generalizes the following their property: ”fo...