LEADER 04729nam 22006255 450 001 996465667803316 005 20200704225322.0 010 $a3-540-70643-7 024 7 $a10.1007/3-540-61630-6 035 $a(CKB)1000000000234511 035 $a(SSID)ssj0000324547 035 $a(PQKBManifestationID)11268432 035 $a(PQKBTitleCode)TC0000324547 035 $a(PQKBWorkID)10305886 035 $a(PQKB)10365525 035 $a(DE-He213)978-3-540-70643-4 035 $a(PPN)15523790X 035 $a(EXLCZ)991000000000234511 100 $a20121227d1996 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogics in Artificial Intelligence$b[electronic resource] $eEuropean Workshop, JELIA '96, Evora, Portugal, September 30 - October 3, 1996, Proceedings /$fedited by Jose Julio Alferes, Luis Moniz Pereira, Eva Orlowska 205 $a1st ed. 1996. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1996. 215 $a1 online resource (X, 426 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v1126 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-61630-6 327 $aHyper tableaux -- An algorithm for the retrieval of unifiers from discrimination trees -- Building proofs or counterexamples by analogy in a resolution framework -- What you always wanted to know about rigid E-unification -- Labelled proofs for quantified modal logic -- A uniform tableaux method for nonmonotonic modal logics -- Design and implementation of diagnostic strategies using modal logic -- A modal action logic based framework for organization specification and analysis -- McCarthy's idea -- Strong and explicit negation in non-monotonic reasoning and logic programming -- Only persistence makes nonmonotonicity monotonous -- Ordering-based representations of rational inference -- Semi-representability of default theories in rational default logic -- A query answering algorithm for Lukaszewicz' general open default theory -- Infinitary default logic for specification of nonmonotonic reasoning -- A system for computing constrained default logic extensions -- The Oz programming model -- An abductive framework for negation in disjunctive logic programming -- Characterizing D-WFS: Confluence and iterated GCWA -- Modules and specifications -- Logic programming with integrity constraints -- Temporal reasoning over linear discrete time -- Similarity saturation for first order linear temporal logic with UNLESS -- Carving Up space: Steps towards construction of an absolutely complete theory of spatial regions -- Informational logic for automated reasoning -- Extensions for open default theories via the domain closure assumption -- Revising and updating using a back-up semantics -- A simple signed system for paraconsistent reasoning. 330 $aThis book presents the refereed proceedings of the Sixth European Workshop on Logics in Artificial Intelligence, JELIA '96, held in Evora, Portugal in September/October 1996. The 25 revised full papers included together with three invited papers were selected from 57 submissions. Many relevant aspects of AI logics are addressed. The papers are organized in sections on automated reasoning, modal logics, applications, nonmonotonic reasoning, default logics, logic programming, temporal and spatial logics, and belief revision and paraconsistency. 410 0$aLecture Notes in Artificial Intelligence ;$v1126 606 $aArtificial intelligence 606 $aArchitecture, Computer 606 $aMathematical logic 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 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 615 0$aArtificial intelligence. 615 0$aArchitecture, Computer. 615 0$aMathematical logic. 615 14$aArtificial Intelligence. 615 24$aComputer System Implementation. 615 24$aMathematical Logic and Formal Languages. 676 $a006.3/01/5113 702 $aAlferes$b Jose Julio$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aMoniz Pereira$b Luis$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aOrlowska$b Eva$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aEuropean Workshop JELIA '96 906 $aBOOK 912 $a996465667803316 996 $aLogics in Artificial Intelligence$9772596 997 $aUNISA LEADER 01644nam 2200421 450 001 9910375858103321 005 20230809231545.0 035 $a(CKB)4100000004909956 035 $a(WaSeSS)IndRDA00104352 035 $a(EXLCZ)994100000004909956 100 $a20180905d2017 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aEGOSE 2017 $eproceedings, International Conference Electronic Governance and Open Society: Challenges in Eurasia : St. Petersburg, Russia, 3-6 September 2016 /$fsponsor, ACM 210 1$aNew York :$cACM,$d2017. 215 $a1 online resource (195 pages) 225 1 $aACM International Conference Proceedings Series 311 $a1-4503-5412-2 410 0$aACM international conference proceedings series. 517 1 $aElectronic Governance and Open Society: Challenges in Eurasia 2017 517 1 $aProceedings of the International Conference on Electronic Governance and Open Society: Challenges in Eurasia 606 $aInternet in public administration$vCongresses 606 $aAdministrative agencies$xData processing$vCongresses 606 $aGovernment information$xData processing$vCongresses 615 0$aInternet in public administration 615 0$aAdministrative agencies$xData processing 615 0$aGovernment information$xData processing 676 $a352.3802854678 712 02$aAssociation for Computing Machinery, 801 0$bWaSeSS 801 1$bWaSeSS 906 $aBOOK 912 $a9910375858103321 996 $aEGOSE 2017$92152362 997 $aUNINA LEADER 02373oas 22009253a 450 001 9910141560903321 005 20251106213014.0 011 $a1944-7760 035 $a(DE-599)ZDB2115222-6 035 $a(OCoLC)42085519 035 $a(CONSER) 2007247699 035 $a(CKB)110975507367634 035 $a(EXLCZ)99110975507367634 100 $a19990816a19819999 sy a 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aCultural survival quarterly 210 $aCambridge, Mass. $cCultural Survival, Inc 215 $a1 online resource 300 $aEach issue also has distinctive title. 311 08$a0740-3291 517 1 $aCSQ 606 $aIndigenous peoples$vPeriodicals 606 $aCulture$vPeriodicals 606 $aSocial change$vPeriodicals 606 $aAutochtones$vPe?riodiques 606 $aCulture$2fast$3(OCoLC)fst00885059 606 $aIndigenous peoples$2fast$3(OCoLC)fst00970213 606 $aSocial change$2fast$3(OCoLC)fst01122310 606 $aInheemse volken$2gtt 606 $aConflicten$2gtt 606 $aINDIGENOUS PEOPLES$2unbist 606 $aCULTURE$2unbist 606 $aENVIRONMENTAL PROTECTION$2unbist 608 $aPeriodicals.$2fast 608 $aPeriodicals.$2lcgft 615 0$aIndigenous peoples 615 0$aCulture 615 0$aSocial change 615 6$aAutochtones 615 7$aCulture. 615 7$aIndigenous peoples. 615 7$aSocial change. 615 17$aInheemse volken. 615 17$aConflicten. 615 07$aINDIGENOUS PEOPLES. 615 07$aCULTURE. 615 07$aENVIRONMENTAL PROTECTION. 676 $a306 712 02$aCultural Survival Inc. 801 0$bIRU 801 1$bIRU 801 2$bOCLCQ 801 2$bBUF 801 2$bNSD 801 2$bOCLCQ 801 2$bHEBIS 801 2$bCLU 801 2$bOCLCO 801 2$bOCLCQ 801 2$bOCLCF 801 2$bOCLCO 801 2$bVT2 801 2$bOCLCQ 801 2$bOCLCA 801 2$bELW 801 2$bOCLCO 801 2$bCUS 801 2$bAU@ 801 2$bNTG 801 2$bOCLCQ 801 2$bOCLCL 801 2$bOCLCQ 906 $aJOURNAL 912 $a9910141560903321 996 $aCultural survival quarterly$92251193 997 $aUNINA