The Applied Logic Group (ALG) is a new addition to the AIICS Division that we expect to grow and evolve into official lab status. The focus of interest for this group is in the area of applied logics where logical formalisms, rather than being studied and developed intrinsically, are instead developed for use as knowledge representation tools. Current topics of interest are:
Professor Andrzej Szalas leads the group. The ALG group has strong ties to KPLAB with a shared research agenda.