[Termtools] ***UNCHECKED*** new TPDB

[Peter Schneider-Kamp]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

H. Zantema wrote:
> No new submissions were received for LP and context-sensitive rewriting.

Dear Hans,

as you know we have two new collections of LP examples and a cleaned-up
version of the TPDB05/LP examples which we would like to submit.
As I gathered from your response it would have made sense to agree on
this point before submission.

Unfortunately, I have not yet heard anything from Claude about the format
in which to include the queries.

Thus, I will send those collections to you and Claude now as they are.
When we agree on a query format, I am, of course, willing to adapt our
examples to that format and resent them.

Kind regards,
Peter
- --
Peter Schneider-Kamp   mailto:psk at informatik.rwth-aachen.de
LuFG Informatik II     http://www-i2.informatik.rwth-aachen.de/~nowonder
RWTH Aachen            phone: ++49 241 80-21211
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2.2 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFEVz0S3VbrCXkKHhwRApbvAKDK6OcPhKj0H622ddL4bfrDEeW3dwCeOFV6
1Wi7PWGnhs6R4FeXce80It4=
=J5Di
-----END PGP SIGNATURE-----

_______________________________________________
Termtools mailing list
Termtools at serveur-listes.lri.fr
http://serveur-listes.lri.fr/mailman/listinfo/termtools