First Page | Document Content | |
---|---|---|
Date: 2007-10-21 17:30:59Philosophy of language Programming paradigms Model theory Philosophy of mind Reasoning First-order logic Proposition Interpretation Logic programming Logic Inference Knowledge representation and reasoning | Artificial IntelligenceElsevier 31 Logic and artificial intelligenceAdd to Reading ListSource URL: ai.stanford.eduDownload Document from Source WebsiteFile Size: 1,52 MBShare Document on Facebook |