LEADER 04028nam  22006615  450 
001 996466148503316
005 20200702111354.0
010   $a3-540-49272-0
024 7 $a10.1007/BFb0030655
035   $a(CKB)1000000000234279
035   $a(SSID)ssj0000325254
035   $a(PQKBManifestationID)11258843
035   $a(PQKBTitleCode)TC0000325254
035   $a(PQKBWorkID)10324995
035   $a(PQKB)10836801
035   $a(DE-He213)978-3-540-49272-6
035   $a(PPN)155237977
035   $a(EXLCZ)991000000000234279
100   $a20121227d1995      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aNon-Monotonic Extensions of Logic Programming$b[electronic resource] $eICLP '94 Workshop, Santa Margherita Ligure, Italy, June 17, 1994. Selected Papers /$fedited by Louis M. Pereira, Teodor C. Przymusinski
205   $a1st ed. 1995.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1995.
215   $a1 online resource (XII, 236 p.) 
225 1 $aLecture Notes in Artificial Intelligence ;$v927
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-59467-1 
327   $aAn argumentation theoretic semantics based on non-refutable falsity -- From disjunctive programs to abduction -- Samantics of normal and disjunctive logic programs a unifying framework -- Every normal program has a nearly-stable model -- Logic programming with assumption denial -- A resolution-based procedure for default theories with extensions -- A general approach to bottom-up computation of disjunctive semantics -- Static semantics as program transformation and well-founded computation -- Magic computation for well-founded semantics -- Computing stable and partial stable models of extended disjunctive logic programs.
330   $aThis volume is based on papers presented during the ICLP '94 Workshop on Nonmonotonic Extensions of Logic Programming and on papers solicited afterwards from key researchers participating in the workshop. In total 10 carefully refereed, revised, full research papers on semantics and computational aspects of logic programs are included. Logic programs rely on a nonmonotonic operator often referred to as negation by failure or negation by default. The nonmonoticity of this operator allows to apply results from the area of nonmonotonic theories to the investigation of logic programs (and vice versa). This volume is devoted to the interdependence of nonmonotonic formalisms and logic programming.
410  0$aLecture Notes in Artificial Intelligence ;$v927
606   $aArtificial intelligence
606   $aArchitecture, Computer
606   $aSoftware engineering
606   $aComputers
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   $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002
606   $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005
615  0$aArtificial intelligence.
615  0$aArchitecture, Computer.
615  0$aSoftware engineering.
615  0$aComputers.
615 14$aArtificial Intelligence.
615 24$aComputer System Implementation.
615 24$aSoftware Engineering/Programming and Operating Systems.
615 24$aTheory of Computation.
676   $a005.13/1
702   $aPereira$b Louis M$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPrzymusinski$b Teodor C$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Conference on Logic Programming
906   $aBOOK
912   $a996466148503316
996   $aNon-monotonic extensions of logic programming$91488807
997   $aUNISA