Automated Deduction for Projection Elimination Imprint: Akademische Verlagsgesellschaft - Volume 324 Dissertations in Artificial Intelligence

Name: Automated Deduction for Projection Elimination Imprint: Akademische Verlagsgesellschaft - Volume 324 Dissertations in Artificial Intelligence
Price: 39.93 USD
Availability: InStock
ISBN: 9781586039837

ISBN-10: 1586039830

ISBN-13: 9781586039837

Edition: 2009

Authors: C. Wernhard

List price: $73.00

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Buy new: $39.93

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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. It is a generalization of second-order quantification, permitting, so to speak, to quantify upon an arbitrary set of ground literals instead of just (all ground literals with) a given predicate symbol. In Automated Deduction for Projection Elimination, a semantic characterization of projection for first-order logic is presented. On this basis, properties underlying applications and processing methods are derived.

Book details

List price: $73.00
Copyright year: 2009
Publisher: IOS Press, Incorporated
Publication date: 3/15/2009
Binding: Paperback
Pages: 211
Size: 6.00" wide x 8.00" long x 0.75" tall
Weight: 1.034
Language: English