f



Some Problems Worthy of Attack

Would you like to solve some theory problems and see the results built
into a practical, real-world system ?

The Internet Business Logic system assigns a highly declarative
meaning to a collection of rules and facts.  When the underlying base
is finite, this can be done.  However, in practice we require
incremental answers over infinite domains, under the control of a
user.  This raises some good theory questions that sail close to
undecideability.

To see the system itself and some theory references so far, please
visit www.reengineeringllc.com .

If you are interested in getting a precise problem statement, please
email me.

Thanks !   -- Adrian
0
adrianw (1)
7/2/2003 4:32:39 PM
comp.theory 5139 articles. 1 followers. marty.musatov (1143) is leader. Post Follow

0 Replies
416 Views

Similar Articles

[PageSpeed] 18

Reply: