03524nam 22006135 450 99646532030331620200705034322.03-540-46670-310.1007/3-540-55034-8(CKB)1000000000233761(SSID)ssj0000326274(PQKBManifestationID)11242582(PQKBTitleCode)TC0000326274(PQKBWorkID)10296572(PQKB)11086174(DE-He213)978-3-540-46670-3(PPN)155187414(EXLCZ)99100000000023376120121227d1991 u| 0engurnn|008mamaatxtccrA Resolution Principle for a Logic with Restricted Quantifiers[electronic resource] /by Hans-Jürgen Bürckert1st ed. 1991.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1991.1 online resource (XII, 120 p.) Lecture Notes in Artificial Intelligence ;568Bibliographic Level Mode of Issuance: Monograph3-540-55034-8 Preliminaries -- Unification -- A logic with restricted quantifiers -- Equational constraint theories -- Conclusion.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.Lecture Notes in Artificial Intelligence ;568ComputersArtificial intelligenceMathematical logicTheory of Computationhttps://scigraph.springernature.com/ontologies/product-market-codes/I16005Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Mathematical Logic and Foundationshttps://scigraph.springernature.com/ontologies/product-market-codes/M24005Computers.Artificial intelligence.Mathematical logic.Theory of Computation.Artificial Intelligence.Mathematical Logic and Formal Languages.Mathematical Logic and Foundations.006.3Bürckert Hans-Jürgenauthttp://id.loc.gov/vocabulary/relators/aut545511BOOK996465320303316Resolution principle for a logic with restricted quantifiers888385UNISA02233nas 2200457 n 450 99000891834040332120240229084546.00006-2979000891834FED01000891834(Aleph)000891834FED01000891834CNRP 0000169920161109a19569999km-y0itaa50------baengUSauu--------Biochemistry1956-New YorkMaik "Nauka/Interperiodica" Publishing2001BiochemistryBiochemistry577.1574.072572ITACNP20090723http://acnp.cib.unibo.it/cgi-ser/start/it/cnr/dc-p1.tcl?catno=891&person=false&language=ITALIANO&libr=&libr_th=unina1Biblioteche che possiedono il periodicoSE990008918340403321Biblioteca L.Massimilla. Dipartimento di Ingegneria Chimica dell'Università degli Studi di Napoli Federico II.1984-1985;1985;Pic Sala RiunioniDINCHBiblioteca Centrale della Facoltà di Medicina e Chirurgia di Napoli " Federico II "1979-1984;FMEBCBiblioteca del Dipartimento di Biologia Strutturale e Funzionale.2000-NAP01DINCHFMEBCNAP01Biochemistry58237UNINA866-01NA109 Biblioteca L.Massimilla. Dipartimento di Ingegneria Chimica dell'Università degli Studi di Napoli Federico II.Pic Sala RiunioniP.le Tecchio, 80, 80125 Napoli (NA)0817682592 08176822550812391800it866-02NA206 Biblioteca Centrale della Facoltà di Medicina e Chirurgia di Napoli " Federico II "Via Sergio Pansini, 5, 80131 Napoli (NA)08174634080817463465/08it866-03NA247 Biblioteca del Dipartimento di Biologia Strutturale e Funzionale.Compl. Univ. Monte S. Angelo, Via Cintia, 80126 Napoli (NA)081.679220; 081.679298081.679233itacnp.cib.unibo.itACNP Italian Union Catalogue of Serialshttp://acnp.cib.unibo.it/cgi-ser/start/it/cnr/df-p.tcl?catno=891&language=ITALIANO&libr=&person=&B=1&libr_th=unina&proposto=NO