LEADER 01197nam0-2200349---450- 001 990008338570403321 005 20090526100056.0 010 $a88-8265-246-7 035 $a000833857 035 $aFED01000833857 035 $a(Aleph)000833857FED01 035 $a000833857 100 $a20060606d2003----km-y0itay50------ba 101 0 $amul 102 $aIT 105 $aa-------101yy 200 1 $aModelli eroici dall'antichità alla cultura europea$eBergamo, 20-22 novmbre 2001$fa cura di Alberto Barzanò ...[et al.] 210 $aRoma$cL'Erma di Bretschneider$d2003 215 $a425 p.$cill.$d25 cm 225 1 $aMonografie$v23 300 $aIn testa al front.: Università Cattolica del Sacro Cuore; Centro culturale Nicolò Rezzara 327 0 $aVol. 4.:Alle radici della casa comune europea 610 0 $aEroi$aAntichità$aCongressi$aBergamo$a2001 676 $a292.213$v21$zita 702 1$aBarzanò,$bAlberto 801 0$aIT$bUNINA$c20060601$gRICA$2UNIMARC 901 $aBK 912 $a990008338570403321 952 $a292.2 CONV BERGAMO 2001$bBibl. 53369$fFLFBC 959 $aFLFBC 996 $aModelli eroici dall'antichità alla cultura europea$9721238 997 $aUNINA LEADER 05409nam 22007095 450 001 996465490403316 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 $aArchitecture, Computer 606 $aMathematical logic 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$aArchitecture, Computer. 615 0$aMathematical logic. 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 $a996465490403316 996 $aLogic Programming and Nonmonotonic Reasoning$9772042 997 $aUNISA