Common Logic
Common logic (CL) is a formal language based on first-order logic, intended to facilitate the exchange and transmission of knowledge in computer-based systems.
More information on Common Logic can be found at http://cl.tamu.edu/.
Common logic (CL) is a formal language based on first-order logic, intended to facilitate the exchange and transmission of knowledge in computer-based systems.
More information on Common Logic can be found at http://cl.tamu.edu/.
Common Logic (last edited 2007-02-16 19:03:11 by mkifer)