Date: 2010-09-19 10:34:21Model theory Proof theory Entailment Metalogic Default logic Inference Soundness Monotonicity of entailment First-order logic Logic Logical consequence Deduction | | A resource bounded default logic Gregory R. Wheeler∗ Centro de Inteligˆencia Artificial (CENTRIA) Departamento de Inform´atica, Universidade Nova de Lisboa[removed]Caparica, Portugal [removed]Add to Reading ListSource URL: gregorywheeler.orgDownload Document from Source Website File Size: 127,42 KBShare Document on Facebook
|