View Document Preview and Link Document Date: 2012-02-03 06:10:24 Open Document File Size: 184,14 KB Share Result on Facebook
City Warsaw / / Country Poland / Sweden / / Currency pence / / / Facility Institute of Informatics / Warsaw University / / IndustryTerm closure machinery / basic algorithm / / Organization Warsaw University / Institute of Informatics / Swedish Council for Engineering Sciences / Department of Computer and Information Science / T. Unless / / Person T. Unless / / Position General / / Technology DLS algorithm / 5.1 DLS Algorithm / 4 DLS Algorithm / basic DLS algorithm / extended algorithm / basic algorithm / / SocialTag 
General Domain Circumscription and its First-Order Reduction Patrick Doherty1? , Witold L ukaszewicz2?? , Andrzej Szalas2??? 1 Department of Computer and Information Science,