Home
 
Welcome to the L3 Group website
PDF Print E-mail
Written by Robert Trypuz   
The L3 Group was established in 2008 by four logicians, Paweł Garbacz, Marek Lechniak, Piotr Kulicki and Robert Trypuz, from the Faculty of Philosophy at the John Paul Catholic University of Lublin. The group focuses on the use of formal and philosophical methods in Artificial Intelligence and Computer Science. In particular, our research concerns the development and application of the so-called engineering ontologies and the modal logics.  The name of the group originates from the surnames of three founding fathers of the use of formal methods in philosophy and elsewhere: R. Lullus, G. W. Leibniz, and S. Leśniewski. As nanos gigantum humeris insidentes, we believe that this old paradigm will turn out to be fruitful also in the domain of information science.
Last Updated on Monday, 28 December 2009 00:24
 
 
We have 5 guests online