Domain examples of high-level logical languages
From: Ken (ken.brantferger_at_sbcglobal.net)
Date: 11/07/03
- Next message: Nick Name: "Re: Basic Queries"
- Previous message: Barry Richards: "Senior research position: IC-PARC, Imperial College London"
- Next in thread: Walter Wilson: "Re: Domain examples of high-level logical languages"
- Reply: Walter Wilson: "Re: Domain examples of high-level logical languages"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Date: Fri, 07 Nov 2003 12:29:00 GMT
Hi,
I'm looking for examples of fixed logical frameworks that have been
developed for specific problem domains. Any help or leads would be
appreciated.
Thanks
Ken
- Next message: Nick Name: "Re: Basic Queries"
- Previous message: Barry Richards: "Senior research position: IC-PARC, Imperial College London"
- Next in thread: Walter Wilson: "Re: Domain examples of high-level logical languages"
- Reply: Walter Wilson: "Re: Domain examples of high-level logical languages"
- Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
