The Resource A resolution principle for a logic with restricted quantifiers, H.J. Bürckert
A resolution principle for a logic with restricted quantifiers, H.J. Bürckert
Resource Information
The item A resolution principle for a logic with restricted quantifiers, H.J. Bürckert represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of MissouriSt. Louis Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item A resolution principle for a logic with restricted quantifiers, H.J. Bürckert represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of MissouriSt. Louis Libraries.
This item is available to borrow from 1 library branch.
 Summary
 "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 constraintsolving 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 wellknown sorted logics or equational theories and also by extensions of predicate logics with general equational constraints or concept description languages."PUBLISHER'S WEBSITE
 Language
 eng
 Label
 A resolution principle for a logic with restricted quantifiers
 Title
 A resolution principle for a logic with restricted quantifiers
 Statement of responsibility
 H.J. Bürckert
 Language
 eng
 Summary
 "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 constraintsolving 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 wellknown sorted logics or equational theories and also by extensions of predicate logics with general equational constraints or concept description languages."PUBLISHER'S WEBSITE
 Cataloging source
 TFW
 http://library.link/vocab/creatorName
 Bürckert, H.J.
 Illustrations
 illustrations
 Index
 index present
 Literary form
 non fiction
 Nature of contents
 bibliography
 Series statement

 Lecture notes in computer science
 Lecture notes in artifical intelligence
 Series volume
 568.
 http://library.link/vocab/subjectName

 Logic, Symbolic and mathematical
 Logic programming
 Artificial intelligence
 Label
 A resolution principle for a logic with restricted quantifiers, H.J. Bürckert
 Bibliography note
 Includes bibliographical references (pages [101]109) and indexes
 Carrier category
 volume
 Carrier category code

 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Control code
 25112023
 Dimensions
 25 cm
 Extent
 x, 116 pages
 Isbn
 9783540550341
 Isbn Type
 (Berlin)
 Lccn
 lum92053894
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code

 n
 Other physical details
 illustrations
 System control number
 (WaOLN)1418509
 Label
 A resolution principle for a logic with restricted quantifiers, H.J. Bürckert
 Bibliography note
 Includes bibliographical references (pages [101]109) and indexes
 Carrier category
 volume
 Carrier category code

 nc
 Carrier MARC source
 rdacarrier
 Content category
 text
 Content type code

 txt
 Content type MARC source
 rdacontent
 Control code
 25112023
 Dimensions
 25 cm
 Extent
 x, 116 pages
 Isbn
 9783540550341
 Isbn Type
 (Berlin)
 Lccn
 lum92053894
 Media category
 unmediated
 Media MARC source
 rdamedia
 Media type code

 n
 Other physical details
 illustrations
 System control number
 (WaOLN)1418509
Library Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.umsl.edu/portal/Aresolutionprincipleforalogicwith/T5fD3zeOTEA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.edu/portal/Aresolutionprincipleforalogicwith/T5fD3zeOTEA/">A resolution principle for a logic with restricted quantifiers, H.J. Bürckert</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of MissouriSt. Louis Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item A resolution principle for a logic with restricted quantifiers, H.J. Bürckert
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.umsl.edu/portal/Aresolutionprincipleforalogicwith/T5fD3zeOTEA/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.umsl.edu/portal/Aresolutionprincipleforalogicwith/T5fD3zeOTEA/">A resolution principle for a logic with restricted quantifiers, H.J. Bürckert</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.umsl.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.umsl.edu/">University of MissouriSt. Louis Libraries</a></span></span></span></span></div>