AW> [1] Backchain Iteration: Towards a Practical Inference
> Method that is Simple Enough to be Proved Terminating,
> Sound and Complete. Journal of Automated Reasoning, 11:1-22
>
> [2] Internet Business Logic (01)
Thanks for the references, Adrian.
I found [1]. If you could send me a copy of [2] I'd appreciate it
(bgajdero@xxxxxxxxxx). (02)
AA>> To transform all semantic problems into syntactic problems is a wishful
> dream, with missed even R. Carnap.
> Wonder have we ever thread on Syntactic reductionism? (03)
Thanks, Azamat. I will read up on Carnap, Thanks. I should say I'm not
after "all semantic problems". A suitable domain will be a good start. (04)
Thanks
--
Bart Gajderowicz
MSc Candidate, '10
Dept. of Computer Science
Ryerson University
http://www.scs.ryerson.ca/~bgajdero (05)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (06)
|