Automated Deduction for Projection Elimination

Automated Deduction for Projection Elimination - Dissertations in Artificial Intelligence

Paperback (10 Feb 2009)

Not available for sale

Includes delivery to the United States

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

Projection is a logic operation which allows to express tasks in knowledge representation. These tasks involve extraction or removal of knowledge concerning a given sub-vocabulary. This title presents a semantic characterization of projection for 1st-order logic on which basis, properties underlying applications and processing methods are derived.

Book information

ISBN: 9781586039837
Publisher: IOS Press
Imprint: IOS Press
Pub date:
Language: English
Number of pages: 296
Weight: 470g
Height: 211mm
Width: 147mm
Spine width: 15mm