Knowledge Representation, Reasoning and Declarative Problem Solving - Image 1

£43.00

Cambridge University Press Knowledge Representation, Reasoning and Declarative Problem Solving

Name: Knowledge Representation, Reasoning and Declarative Problem Solving
Brand: Cambridge University Press
Price: 37.4 GBP
Availability: InStock

Architecture & Microprocessors

Price History & Forecast

Last 82 days • 82 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 82 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £37 (42 days, 51.2%)

Price range: £37 - £43

Price levels: 2 different prices over 82 days

Description

Knowledge management and knowledge-based intelligence are areas of importance in the economy and society, and to exploit them fully and efficiently it is necessary both to represent and reason about knowledge via a declarative interface whose input language is based on logic. In this book, originally published in 2003, Chitta Baral shows exactly how to go about doing that: how to write programs that behave intelligently by giving them the ability to express knowledge and reason about it. He presents a language, AnsProlog, for both knowledge representation and reasoning, and declarative problem solving. The results have been organised here into a form that will appeal to practising and would-be knowledge engineers wishing to learn more about the subject, either in courses or through self-teaching. A comprehensive bibliography rounds off the book.

Product Specifications

Brand: Cambridge University Press
Format: Hardcover
ASIN: 0521818028
Category: Books > Subjects > Computing & Internet > Computer Science > Architecture & Microprocessors
Domain: Amazon UK
Release Date: 09 January 2003
Listed Since: 14 December 2006

Barcode

No barcode data available

Cambridge University Press Knowledge Representation, Reasoning and Declarative Problem Solving

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Artificial Intelligence for Knowledge Management: 4th IFIP WG 12.6 International Workshop, AI4KM 2016, Held at IJCAI 2016, New York, NY, USA, July 9, ... and Communication Technology, 518)

Automated Reasoning and Common Sense: Higher Order Aspirations with First Order Logic

Logic Programming and Nonmonotonic Reasoning: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings: 10377 (Lecture Notes in Computer Science, 10377)

Rules and Reasoning: 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26–28, 2022, Proceedings: 13752 (Lecture Notes in Computer Science, 13752)

Modellbasierte prädiktive Regelung: Eine Einfuhrung Fur Ingenieure

The Collected Works of Larry Wos: Applying Automated Reasoning to Puzzles, Problems, and Open Questions Vol 1

Reasoning: Studies of Human Inference and its Foundations

The Logic of Concept Expansion

For the Sake of the Argument: Ramsey Test Conditionals, Inductive Inference and Nonmonotonic Reasoning

Cooperating Heterogeneous Systems: 299 (The Springer International Series in Engineering and Computer Science)

Representation Theorems in Computer Science: A Treatment in Logic Engineering

Readings in Artificial Intelligence and Software Engineering

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Decidability of Logical Theories and Their Combination (Studies in Universal Logic)

A Knowledge Representation Practionary: Guidelines Based on Charles Sanders Peirce

Dual Tableaux: Foundations, Methodology, Case Studies: 33 (Trends in Logic, 33)

Applied Computational Intelligence and Mathematical Methods: Computational Methods in Systems and Software 2017, vol. 2: 662 (Advances in Intelligent Systems and Computing)

Logic for Computer Science and Artificial Intelligence

Practical Foundations of Mathematics: 59 (Cambridge Studies in Advanced Mathematics, Series Number 59)

Mathematical Logic: Exercises and Solutions (Problem Books in Mathematics)

Management of Knowledge Imperfection in Building Intelligent Systems: 227 (Studies in Fuzziness and Soft Computing, 227)

Intelligent Scene Modelling Information Systems: 181 (Studies in Computational Intelligence, 181)

Handbook of Practical Logic and Automated Reasoning

Inductive Temporal Logic Programming: Learning Temporal Logic Programs from Examples