Coverart for item
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

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
Creator
Subject
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 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."--PUBLISHER'S WEBSITE
Member of
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
Instantiates
Publication
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
Publication
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 Locations

    • University of Missouri-St. Louis Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65201, US
      38.919360 -92.291620
Processing Feedback ...