01214nam0 22002891i 450 SUN004001220110405101046.50420060111d1955 |0engc50 baengGB|||| |||||Artists in 17th century Romecatalogue of a loan exhibition 1 June-16 July 1955LondonWildenstein 195598 p.,[24] tav.ill. 25 cm.GBLondonSUNL000015759.56321Wildenstein and Co.SUNV033163727258WildensteinSUNV003445650Wildenstein and CompanyWildenstein and Co.SUNV050351Wildenstein & Co.Wildenstein and Co.SUNV033164Wildenstein & CoWildenstein and Co.SUNV033165ITSOL20181109RICASUN0040012UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALI07 CONS Bb Roma 78 07 14827 UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI LETTERE E BENI CULTURALIIT-CE010314827CONS Bb Roma 78caArtists in 17th century Rome1423792UNICAMPANIA04489nam 22007215 450 991014492420332120200704233435.03-540-68702-510.1007/BFb0023798(CKB)1000000000234627(SSID)ssj0000325255(PQKBManifestationID)11258844(PQKBTitleCode)TC0000325255(PQKBWorkID)10322505(PQKB)11390496(DE-He213)978-3-540-68702-3(PPN)155205188(EXLCZ)99100000000023462720121227d1997 u| 0engurnn#008mamaatxtccrNon-Monotonic Extensions of Logic Programming[electronic resource] Second International Workshop NMELP '96, Bad Honnef, Germany September 5 - 6, 1996, Selected Papers /edited by Juergen Dix, Luis Moniz Pereira, Teodor C. Przymusinski1st ed. 1997.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1997.1 online resource (XIII, 231 p.)Lecture Notes in Artificial Intelligence ;1216Bibliographic Level Mode of Issuance: Monograph3-540-62843-6 Prolegomena to logic programming for non-monotonic reasoning -- On logics and semantics for general logic programs -- A new logical characterisation of stable models and answer sets -- Aggregation and well-founded semantics+ -- Nonmonotonic reasoning by monotonic inferences with priority constraints -- Update-programms can update programs -- An abductive proof procedure for reasoning about actions in modal logic programming -- Update programs versus revision programs -- Transformation-based bottom-up computation of the well-founded model -- Computation of non-ground disjunctive well-founded semantics with constraint logic programming.This book constitutes the thoroughly refereed post-workshop proceedings of the 6th International Workshop on Non-Monotonic Extensions of Logic Programming, NMELP '96, held in Bad Honnef, Germany, in September 1996. The nine full papers presented in the volume in revised version were carefully reviewed and selected from a total of 18 submissions; the set of papers addresses theoretical, applicational and implementational issues and reflects the current state of the art in the area of non-monotonic extensions of logic programming. An introductory survey by the volume editors entitled "Prolegomena to Logic Programming for Non-Monotonic Reasoning" deserves special mentioning; it contains a bibliography listing 136 entries.Lecture Notes in Artificial Intelligence ;1216Computer architectureProgramming languages (Electronic computers)Artificial intelligenceLogic, Symbolic and mathematicalComputer programmingComputer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Artificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Programming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computer architecture.Programming languages (Electronic computers)Artificial intelligence.Logic, Symbolic and mathematical.Computer programming.Computer System Implementation.Programming Languages, Compilers, Interpreters.Artificial Intelligence.Mathematical Logic and Formal Languages.Programming Techniques.005.1/15Dix Juergenedthttp://id.loc.gov/vocabulary/relators/edtMoniz Pereira Luisedthttp://id.loc.gov/vocabulary/relators/edtPrzymusinski Teodor Cedthttp://id.loc.gov/vocabulary/relators/edtNMELP '96BOOK9910144924203321Non-monotonic extensions of logic programming1488807UNINA