<--- Back to Details
First PageDocument Content
Mathematics / Functional predicate / Function / Formal grammar / Definite clause grammar / Context-free grammar / Syntax / Propositional calculus / First-order logic / Formal languages / Logic / Mathematical logic
Date: 2014-09-16 15:57:11
Mathematics
Functional predicate
Function
Formal grammar
Definite clause grammar
Context-free grammar
Syntax
Propositional calculus
First-order logic
Formal languages
Logic
Mathematical logic

Artificial Intelligence E LSEV I ER Artificial Intelligence[removed]366

Add to Reading List

Source URL: www.cs.cmu.edu

Download Document from Source Website

File Size: 3,58 MB

Share Document on Facebook

Similar Documents

Linguistics / Philosophy of language / Syntax / Semantics / Pragmatics / Parts of speech / Grammar / Referent / Referring expression / Definiteness / Relative clause / Coreference

The Discourse Structuring Potential of Definite Noun Phrases in Romanian Sofiana Chiriacescu () Department of Linguistics, Kepler StrStuttgart, Germany Klaus von Heusi

DocID: 1r8qf - View Document

Software engineering / Computer programming / Theoretical computer science / Logic programming / Logic in computer science / Prolog / Definite clause grammar / Partial evaluation / Unification / Horn clause / Futures and promises

ISBNISRN SICS/DSE An Automatic Partial Evaluator for Full Prolog

DocID: 1qGXO - View Document

Software engineering / Formal languages / Computer programming / Declarative programming / Datalog / CYK algorithm / Definite clause grammar / Parsing / Logic programming / Prolog / Parse tree / Categorial grammar

Advances in Abstract Categorial Grammars Language Theory and Linguistic Modeling Lecture 3

DocID: 1q4Hy - View Document

Prolog / Definite clause grammar / Logic programming / Inference / Negation as failure / Append / Fril / Prolog syntax and semantics / Software engineering / Computing / Computer programming

Learn Prolog Now! Patrick Blackburn Johan Bos Kristina Striegnitz ­

DocID: 13UaK - View Document

Constraint programming / Formal languages / Prolog / Logic programming / Logtalk / Definite clause grammar / ECLiPSe / Unification / String / Software engineering / Computing / Computer programming

SWI-Prolog version 7 extensions Jan Wielemaker Web and Media group, VU University Amsterdam, De Boelelaan 1081a, 1081 HV Amsterdam, The Netherlands,

DocID: 13U7X - View Document