LEADER 01462nam 2200337 n 450 001 996387684703316 005 20221108080412.0 035 $a(CKB)1000000000632674 035 $a(EEBO)2264184638 035 $a(UnM)99871466 035 $a(EXLCZ)991000000000632674 100 $a19850712d1641 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 13$aAn humble examination of a printed abstract of the answers to nine reasons of the House of Commons, against the votes of bishops in Parliament$b[electronic resource] /$fPrinted by order of a committee of the honourable House of Commons, now assembled in Parliament 210 $aLondon $cPrinted for P. Stephens and C. Meredith$d1641 215 $a[2], 77, [1] p 300 $aThe Answers were prepared by John Williams, Archbishop of York, for the House of Lords. 300 $aAttributed to Cornelius Burges by Halkett & Laing (2nd ed.). 300 $aErrata: p. 77. 300 $aReproduction of original in Thomason Collection, British Library, and University of Chicago Library. 330 $aeebo-0018 700 $aBurges$b Cornelius$f1589?-1665.$01002137 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bCStRLIN 801 2$bWaOLN 906 $aBOOK 912 $a996387684703316 996 $aAn humble examination of a printed abstract of the answers to nine reasons of the House of Commons, against the votes of bishops in Parliament$92303146 997 $aUNISA LEADER 05433nam 22007095 450 001 9910144923703321 005 20201107170041.0 010 $a3-540-69249-5 024 7 $a10.1007/3-540-63255-7 035 $a(CKB)1000000000234675 035 $a(SSID)ssj0000324522 035 $a(PQKBManifestationID)11268430 035 $a(PQKBTitleCode)TC0000324522 035 $a(PQKBWorkID)10305884 035 $a(PQKB)11702064 035 $a(DE-He213)978-3-540-69249-2 035 $a(PPN)155166379 035 $a(EXLCZ)991000000000234675 100 $a20121227d1997 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic Programming and Nonmonotonic Reasoning$b[electronic resource] $eFourth International Conference, LPNMR'97, Dagstuhl Castle, Germany, July 28-31, 1997, Proceedings /$fedited by Ulrich Furbach, Anil Nerode 205 $a1st ed. 1997. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1997. 215 $a1 online resource (XI, 461 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1265 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-63255-7 327 $aForward and backward chaining in constraint programming -- Strong and weak constraints in disjunctive datalog -- Nonmonotonic reasoning with quantified boolean constraints -- Improving the alternating fixpoint: The transformation approach -- Is non-monotonic reasoning always harder -- Complexity of only knowing: The prepositional case -- Affordable classes of normal logic programs -- Automated reasoning with nonmonotonic logics -- Simulations between programs as cellular automata -- Separating disbeliefs from beliefs in autoepistemic reasoning -- Power defaults (preliminary report) -- A study of Przymusinski's static semantics -- Resolution for skeptical stable semantics -- Computing non-ground representations of stable models -- Industry needs for integrated information services -- Computing, solving, proving: A report on the Theorema project -- Towards a systematic approach to representing knowledge in declarative logic programming -- A paraconsistent semantics with contradiction support detection -- On conservative enforced updates -- A general framework for revising nonmonotonic theories -- Composing general logic programs -- Modular logic programming and generalized quantifiers -- Programs with universally quantified embedded implications -- Generalized query answering in disjunctive deductive databases: Procedural and nonmonotonic aspects -- DisLoP: Towards a disjunctive logic programming system -- REVISE: Logic programming and diagnosis -- A deductive system for non-monotonic reasoning -- The deductive database system LOLA -- ACLP: Flexible solutions to complex problems -- Nonmonotonic reasoning in FLORID -- GLUE: Opening the world to theorem provers -- Smodels ? an implementation of the stable model and well-founded semantics for normal logic programs -- XSB: A system for efficiently computing well-founded semantics -- An implementation platform for query-answering in default logics: The XRay system, its implementation and evaluation. 330 $aThis book constitutes the refereed proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '97, held in Dagstuhl Castle, Germany, in July 1997. The volume presents 19 revised regular papers together with 10 system descriptions and five abstracts of invited presentations. The papers included report state-of-the-art research and development in the interdisciplinary area of logic programming and logical foundations of artificial intelligence. 410 0$aLecture Notes in Artificial Intelligence ;$v1265 606 $aArtificial intelligence 606 $aSoftware engineering 606 $aComputer architecture 606 $aLogic, Symbolic and mathematical 606 $aComputer programming 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aArtificial intelligence. 615 0$aSoftware engineering. 615 0$aComputer architecture. 615 0$aLogic, Symbolic and mathematical. 615 0$aComputer programming. 615 14$aArtificial Intelligence. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aComputer System Implementation. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Techniques. 676 $a006.3/36 702 $aFurbach$b Ulrich$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNerode$b Anil$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aLPNMR '97 906 $aBOOK 912 $a9910144923703321 996 $aLogic Programming and Nonmonotonic Reasoning$9772042 997 $aUNINA