by JELIA 2004 (2004 Lisbon, Portugal)
Logics have, for many years, laid claim to providing a formal basis for the study and development of applications and systems in arti?cial intelligence. With the depth and maturity of formalisms, m…