03648nam 22006615 450 99646612300331620200629194520.03-540-49872-910.1007/BFb0054787(CKB)1000000000210971(SSID)ssj0000324520(PQKBManifestationID)11224800(PQKBTitleCode)TC0000324520(PQKBWorkID)10313144(PQKB)10182517(DE-He213)978-3-540-49872-8(PPN)155212753(EXLCZ)99100000000021097120121227d1998 u| 0engurnn#008mamaatxtccrLogic Programming and Knowledge Representation[electronic resource] Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997, Selected Papers /edited by Luis Moniz Pereira, Teodor C. Przymusinski1st ed. 1998.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1998.1 online resource (XII, 252 p.)Lecture Notes in Artificial Intelligence ;1471Bibliographic Level Mode of Issuance: Monograph3-540-64958-1 Knowledge representation with logic programs -- Datalog with nested rules -- Partial evidential stable models for disjunctive deductive databases -- Disjunctive logic programming and autoepistemic logic -- A system for abductive learning of logic programs -- Refining action theories through abductive logic programming -- Abduction, argumentation and bi-disjunctive logic programs -- Reasoning with prioritized defaults -- Generalizing updates: From models to programs.This book presents the thoroughly refereed post-workshop proceedings of the Third International Workshop on Logic Programming and Knowledge Representation, LPKR'97, held in Port Jefferson, NY, USA, in October 1997. The eight revised full papers presented have undergone a two-round reviewing process; also included is a comprehensive introduction surveying the state of the art in the area. The volume is divided into topical sections on disjunctive semantics, abduction, priorities, and updates.Lecture Notes in Artificial Intelligence ;1471Architecture, ComputerArtificial intelligenceMathematical logicComputer programmingComputer System Implementationhttps://scigraph.springernature.com/ontologies/product-market-codes/I13057Artificial 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/I14010Architecture, Computer.Artificial intelligence.Mathematical logic.Computer programming.Computer System Implementation.Artificial Intelligence.Mathematical Logic and Formal Languages.Programming Techniques.005.1/15Moniz Pereira Luisedthttp://id.loc.gov/vocabulary/relators/edtPrzymusinski Teodor Cedthttp://id.loc.gov/vocabulary/relators/edtLPKR'97BOOK996466123003316Logic Programming and Knowledge Representation2126438UNISA