**Semantics: Advances in Theories and Mathematical Models**

by Muhammad Tanvir Afzal (ed.)

**Publisher**: InTech 2012**ISBN-13**: 9789535105350**Number of pages**: 284

**Description**:

The current book is a nice blend of number of great ideas, theories, mathematical models, and practical systems in the domain of Semantics. Topics include: Background; Queries, Predicates, and Semantic Cache; Algorithms and Logic Programming; Semantic Web and Interfaces.

Download or read it online for free here:

**Download link**

(4.6MB, PDF)

## Similar books

**Semantics of Programming Languages**

by

**Andrew M. Pitts**-

**University of Cambridge**

These notes introduce the structural, operational approach to programming language semantics. The course shows how to specify the meaning of some simple programming language constructs and to reason formally about semantic properties of programs.

(

**5298**views)

**Formal Language Theory for Natural Language Processing**

by

**Shuly Wintner**-

**ESSLLI**

This text is a mild introduction to Formal Language Theory for students with little or no background in formal systems. The motivation is Natural Language Processing, and the presentation is geared towards NLP applications, with extensive examples.

(

**7528**views)

**The Theory of Languages and Computation**

by

**Jean Gallier, Andrew Hicks**-

**University of Pennsylvania**

From the table of contents: Automata; Formal Languages (A Grammar for Parsing English, Context-Free Grammars, Derivations and Context-Free Languages, Normal Forms for Context-Free Grammars, Chomsky Normal Form, ...); Computability; Current Topics.

(

**5023**views)

**Computational Category Theory**

by

**D.E. Rydeheard, R.M. Burstall**

The book is a bridge-building exercise between computer programming and category theory. Basic constructions of category theory are expressed as computer programs. It is a first attempt at connecting the abstract mathematics with concrete programs.

(

**15177**views)