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

Gochet, Paul; Grégoire, Eric; Gribomont, Pascal; Hulin, Guy; Pirotte, Alain; Roelants, Dominique; Snyers, Dominique; Thayse, André; Vauclair, Marc; Wolper, Pierre

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

Synopsis

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.

"synopsis" may belong to another edition of this title.