A Resolution Principle for a Logic with Restricted Quantifiers: 568 (Lecture Notes in Computer Science, 568) - Softcover
Synopsis
This monograph presents foundations for a constrained logic scheme treating constraints as a very general form of restricted quantifiers. The constraints - or quantifier restrictions - are taken from a general constraint system consisting of constraint theory and a set of distinguished constraints. The book provides a calculus for this constrained logic based on a generalization of Robinson's resolution principle. Technically, the unification procedure of the resolution rule is replaced by suitable constraint-solving methods. The calculus is proven sound and complete for the refutation of sets of constrained clauses. Using a new and elegant generalization of the notion ofa ground instance, the proof technique is a straightforward adaptation of the classical proof technique. The author demonstrates that the constrained logic scheme can be instantiated by well-known sorted logics or equational theories and also by extensions of predicate logics with general equational constraints or concept description languages.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for A Resolution Principle for a Logic with Restricted...
Stock Image
A Resolution Principle for a Logic with Restricted Quantifiers (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. 0387550348 Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # UTD14a-2008
Stock Image
A Resolution Principle for a Logic With Restricted Quantifiers
Published by
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1991
ISBN 10: 3540550348
ISBN 13: 9783540550341
Used
Softcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Stains on the edge. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # E-592-948
Stock Image
A Resolution Principle for a Logic with Restricted Quantifiers (Lecture Notes in Computer Science, 568)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar3113020170259
Stock Image
A Resolution Principle for a Logic with Restricted Quantifiers (Lecture Notes in Computer Science, 568)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540550341_new
Buy New
£ 47.99
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
A Resolution Principle for a Logic with Restricted Quantifiers
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783540550341
Buy New
£ 47.39
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
A Resolution Principle for a Logic with Restricted Quantifiers
Published by
Springer Berlin Heidelberg, Springer Dez 1991, 1991
ISBN 10: 3540550348
ISBN 13: 9783540550341
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This monograph presents foundations for a constrainedlogic scheme treating constraints as a very general form ofrestricted quantifiers. The constraints - or quantifierrestrictions - are taken from a general constraint systemconsisting of constraint theory and a set of distinguishedconstraints.The book provides a calculus for this constrained logicbased on a generalization of Robinson's resolutionprinciple. Technically, the unification procedure of theresolution rule is replaced by suitable constraint-solvingmethods. The calculus is proven sound and complete for therefutation of sets of constrained clauses. Using a new andelegant generalization of the notion ofa ground instance,the proof technique is a straightforward adaptation of theclassical proof technique.The author demonstrates that the constrained logic schemecan be instantiated by well-known sorted logics orequational theories and also by extensions of predicatelogics with general equational constraints or conceptdescription languages. 132 pp. Englisch. Seller Inventory # 9783540550341
Stock Image
A Resolution Principle for a Logic with Restricted Quantifiers
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. 1991. Paperback. . . . . . Seller Inventory # V9783540550341
Stock Image
A Resolution Principle for a Logic with Restricted Quantifiers
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 132. Seller Inventory # 263065427
Stock Image
A Resolution Principle for a Logic with Restricted Quantifiers
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1991. Paperback. . . . . . Books ship from the US and Ireland. Seller Inventory # V9783540550341
Stock Image
A Resolution Principle for a Logic with Restricted Quantifiers
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 132. Seller Inventory # 183065433