Expressing Default Logic Variants in Default Logic Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam D–14415 Potsdam Germany - Autoepistemic logic - Document - PDFSEARCH.IO

First Page	Meta Content
	Expressing Default Logic Variants in Default Logic Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam D–14415 Potsdam Germany Add to Reading List Document Date: 2005-04-08 13:10:58 Open Document File Size: 282,76 KB Share Result on Facebook City Burnaby / / Country Canada / / / Facility Simon Fraser University / / IndustryTerm inheritance networks / / Organization Default Logic Torsten Schaub∗ Institut f¨ur Informatik Universit / School of Computing Science / School of Computing Science Simon Fraser University Burnaby / Simon Fraser University / / Person Wc / Tomi Janhunen / / Position representative / / ProgrammingLanguage C / / ProvinceOrState British Columbia / / TVStation Cbut / / SocialTag Science Non-classical logic Model theory Knowledge representation Default logic Modal logic First-order logic Interpretation Autoepistemic logic Logic

Expressing Default Logic Variants in Default Logic Torsten Schaub∗ Institut f¨ur Informatik Universit¨at Potsdam D–14415 Potsdam GermanyAdd to Reading List