<p>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.</p>

From Standard Logic to Logic Programming: Introducing a Logic Based Approach to Artificial Intelligence

Computers & Technology

Gochet, Paul

Gribomont, Pascal

Hulin, Guy

Pirotte, Alain

Roelants, Dominique

Snyers, Dominique

Vauclair, Marc

Wolper, Pierre

Grégoire, Eric

Thayse, André

Computer Science

wiley

Advances the study of artificial intelligence concepts and applications using logic as a guideline. Examines such topics as natural and formal languages; modal logic; temporal logic and specification of concurrent programs; theory of relational and deductive databases; intensional logic and Montague's Semantics; representation of incomplete information in databases and much more.

From Modal Logic to Deductive Databases: Introducing a Logic Based Approach to Artificial Intelligence

Ascent to Truth: A Critical Examination of Quine's Philosophy (Introductions)

Politics & Social Sciences

Philosophy

Philosophia Verlag Gmbh

See the best price to sell, buy, or rent books by Gochet, Paul. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Gochet, Paul