SISCOG [1] is a company that has been developing such systems for quite some time now (since 1986).
In their case I know that the core of their systems is written in LISP and it's mostly AI optimizaiton algorithms. The guys who run the company are both professors of AI related classes in the CS dept of IST.UTL.PT.
In their case I know that the core of their systems is written in LISP and it's mostly AI optimizaiton algorithms. The guys who run the company are both professors of AI related classes in the CS dept of IST.UTL.PT.
[1]: http://siscog.pt/