Back to Results
First PageMeta Content
Model 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 List

Document Date: 2010-09-19 10:34:21


Open Document

File Size: 127,42 KB

Share Result on Facebook

City

San Francisco / Caparica / London / New York / Chicago / Middletown / Edinburgh / /

Company

Princeton University Press / Wesleyan University Press / Lehman / W. H. Freeman Press / /

Country

Portugal / /

/

Facility

Prentice Hall / International Statistical Institute / University of Rochester / University of Chicago Press / /

IndustryTerm

successive applications / /

Organization

Institute for Human and Machine Cognition / University of Chicago Press / National Science Foundation / Princeton University / International Statistical Institute / Wesleyan University / University of Rochester / New York / Computational Intelligence / /

Person

Nova de Lisboa / Choh Man Teng / Oliver / Henry Kyburg / Gabriel Uzquiano / Boyd / Tony Hunter / John Wiley / Thomas Dietterich / Gregory R. Wheeler / /

Position

hB / Fisher / representative / /

ProgrammingLanguage

C / /

ProvinceOrState

New York / /

PublishedMedium

The British Journal / the Philosophy of Science / Journal of Philosophy / /

Technology

artificial intelligence / /

SocialTag