Presents a solid base for the examination of artificial intelligence (AI) with a thorough study of the role of logic, covering the whole field from the theoretical aspects of logic to the most practical logic programming applications. Discusses classical logic; knowledge representation and valid reasoning; non-standard logics and revisable reasoning; formal grammars; automata theory and augument transition network formalism and much more. Particular emphasis is placed on Prolog as the forerunning and most popular language ...
Read More
Presents a solid base for the examination of artificial intelligence (AI) with a thorough study of the role of logic, covering the whole field from the theoretical aspects of logic to the most practical logic programming applications. Discusses classical logic; knowledge representation and valid reasoning; non-standard logics and revisable reasoning; formal grammars; automata theory and augument transition network formalism and much more. Particular emphasis is placed on Prolog as the forerunning and most popular language for logic programming.
Read Less
Add this copy of From Standard Logic to Logic Programming: Introducing a to cart. $26.02, new condition, Sold by Chidoc5 Rare Books rated 4.0 out of 5 stars, ships from Highland Park, IL, UNITED STATES, published 1988 by Wiley.
Add this copy of From Standard Logic to Logic Programming: Introducing a to cart. $70.28, new condition, Sold by Just one more Chapter rated 3.0 out of 5 stars, ships from Miramar, FL, UNITED STATES, published 1988 by Wiley.
Add this copy of From Standard Logic to Logic Programming: Introducing a to cart. $75.70, new condition, Sold by GridFreed rated 5.0 out of 5 stars, ships from North Las Vegas, NV, UNITED STATES, published 1988 by Wiley.
