<--- Back to Details
First PageDocument Content
Philosophy of language / Programming paradigms / Model theory / Philosophy of mind / Reasoning / First-order logic / Proposition / Interpretation / Logic programming / Logic / Inference / Knowledge representation and reasoning
Date: 2007-10-21 17:30:59
Philosophy 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 intelligence

Add to Reading List

Source URL: ai.stanford.edu

Download Document from Source Website

File Size: 1,52 MB

Share Document on Facebook

Similar Documents

Programming paradigms / Software engineering / Computing / Programming language / Functional programming / Imperative programming / Reactive programming / Object-oriented programming / Syntax / Scripting language / Declarative programming / Assignment

Programming Paradigms and Beyond Shriram Krishnamurthi and Kathi Fisler Brown University and

DocID: 1xUbO - View Document

Parallel computing / Computer programming / Application programming interfaces / IT infrastructure / Computing / Fortran / OpenMP / Thread

Runtime Correctness Checking for Emerging Programming Paradigms Joachim Protze (), Christian Terboven, Matthias S. Müller, Serge Petiton, Nahid Emad, Hitoshi Murai and Taisuke Boku RWTH Aachen U

DocID: 1xTYR - View Document

Programming with Multiple Paradigms in Lua Roberto Ierusalimschy PUC-Rio, Rio de Janeiro, Brazil Abstract. Lua is a scripting language used in many industrial applications, with an emphasis on emb

DocID: 1u59G - View Document

Mutable objects in R Hadley Wickham December 15, 2010 Abstract Programming paradigms help us understand the differences and similarities between fundamental choices in language design. This paper looks at R in the contex

DocID: 1u45m - View Document

CSSE 403: Programming Language Paradigms Instructor: Dr. Mike Hewner (feel free to call me Buffalo) Email: Office Phone: Cell Phone: it often can be better to text me at

DocID: 1tF1D - View Document