This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems.

The book covers the basics of grammar development.

This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory a

Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and paralleli