Welcome to the new L3C website! Here you can find information about our current researchs and publications

News

May 14, 2012 · The L3C group has grown
Check out the researchers of the L3C.

February 22, 2012 · Paper accepted at IEEE CEC 2012
The following paper was accepted for oral presentation at IEEE Congress on Evolutionary Computation that will be presented in Brisbane at June 14th 2012: Cassio Rodrigo Conti, Mauro Roisenberg and Guenther Schwedersky Neto, ACOR-V - an Algorithm that Incorporates the Visibility Heuristic to the ACO in Continuous Domain

February 15, 2011 · L3C website
The L3C website is on line.

more...

Register now to recieve special information about our lab!

Logic

Term by definition

Logic is used for knowledge representation and problem solving, but it can be applied to other problems as well. For example, the satplan algorithm uses logic for planning and inductive logic programming is a method for learning.