LEADER 05911nam 22007335 450 001 996465563503316 005 20200704162752.0 024 7 $a10.1007/11546207 035 $a(CKB)1000000000213201 035 $a(SSID)ssj0000318705 035 $a(PQKBManifestationID)11265691 035 $a(PQKBTitleCode)TC0000318705 035 $a(PQKBWorkID)10335933 035 $a(PQKB)11304139 035 $a(DE-He213)978-3-540-31827-9 035 $a(MiAaPQ)EBC3067541 035 $a(PPN)123096995 035 $a(EXLCZ)991000000000213201 100 $a20100315d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic Programming and Nonmonotonic Reasoning$b[electronic resource] $e8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /$fedited by Chitta Baral, Gianluigi Greco, Nicola Leone, Giorgio Terracina 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (XIV, 462 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v3662 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-31827-5 311 $a3-540-28538-5 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Nonmonotonic Reasoning in FLORA-2 -- Data Integration and Answer Set Programming -- Halo I: A Controlled Experiment for Large Scale Knowledge Base Development -- ASP Foundations -- Unfounded Sets for Disjunctive Logic Programs with Arbitrary Aggregates -- Loops: Relevant or Redundant? -- Approximating Answer Sets of Unitary Lifschitz-Woo Programs -- On Modular Translations and Strong Equivalence -- ASP Extensions -- Guarded Open Answer Set Programming -- External Sources of Computation for Answer Set Solvers -- Answer Sets for Propositional Theories -- Applications -- An ID-Logic Formalization of the Composition of Autonomous Databases -- On the Local Closed-World Assumption of Data-Sources -- Computing Dialectical Trees Efficiently in Possibilistic Defeasible Logic Programming -- Actions and Causations -- An Approximation of Action Theories of and Its Application to Conformant Planning -- Game-Theoretic Reasoning About Actions in Nonmonotonic Causal Theories -- Some Logical Properties of Nonmonotonic Causal Theories -- odular-?: An Elaboration Tolerant Approach to the Ramification and Qualification Problems -- Algorithms and Computation -- Platypus: A Platform for Distributed Answer Set Solving -- Solving Hard ASP Programs Efficiently -- Mode-Directed Fixed Point Computation -- Lookahead in Smodels Compared to Local Consistencies in CSP -- Foundations -- Nested Epistemic Logic Programs -- An Algebraic Account of Modularity in ID-Logic -- Default Reasoning with Preference Within Only Knowing Logic -- Semantics -- A Social Semantics for Multi-agent Systems -- Revisiting the Semantics of Interval Probabilistic Logic Programs -- Routley Semantics for Answer Sets -- The Well Supported Semantics for Multidimensional Dynamic Logic Programs -- Application Track -- Application of Smodels in Quartet Based Phylogeny Construction -- Using Answer Set Programming for a Decision Support System -- Data Integration: a Challenging ASP Application -- Abduction and Preferences in Linguistics -- Inference of Gene Relations from Microarray Data by Abduction -- System Track -- nomore: A System for Computing Preferred Answer Sets -- Integrating an Answer Set Solver into Prolog: - -- circ2dlp ? Translating Circumscription into Disjunctive Logic Programming -- Pbmodels ? Software to Compute Stable Models by Pseudoboolean Solvers -- KMonitor? A Tool for Monitoring Plan Execution in Action Theories -- The nomore++ System -- Smodels A ? A System for Computing Answer Sets of Logic Programs with Aggregates -- A DLP System with Object-Oriented Features -- Testing Strong Equivalence of Datalog Programs ? Implementation and Examples -- SELP ? A System for Studying Strong Equivalence Between Logic Programs -- cmodels ? SAT-Based Disjunctive Answer Set Solver. 410 0$aLecture Notes in Artificial Intelligence ;$v3662 606 $aArtificial intelligence 606 $aComputer logic 606 $aSoftware engineering 606 $aMathematical logic 606 $aComputer programming 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 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$aComputer logic. 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 0$aComputer programming. 615 14$aArtificial Intelligence. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Techniques. 676 $a005.1/5 702 $aBaral$b Chitta$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aGreco$b Gianluigi$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aLeone$b Nicola$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aTerracina$b Giorgio$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996465563503316 996 $aLogic Programming and Nonmonotonic Reasoning$9772042 997 $aUNISA LEADER 01357nam a2200313 i 4500 001 991003984449707536 008 030108s1997 it 000 0 eng d 020 $a8879491415 035 $ab11892365-39ule_inst 040 $aDip.to Scienze dell'Antichità$bita 245 00$aEducation in Greek fiction /$cedited by Alan H. Sommerstein and Catherine Atherton 260 $aBari :$bLevante,$cc1997 300 $a205 p. ;$c21 cm. 490 0 $aNottingham classical literature studies ;$v4 500 $aRelazioni del 4. Nottingham Classical Literature Symposium: Department of Classics : University of Nottingham, 24 Maggio 1995. 504 $aNote bibliografiche. 600 00$aAristofane.$tVespe$vCongressi 600 00$aAristofane.$tVespe$vCongressi 600 00$aAristofane.$tVespe$vCongressi 650 0$aTeatro greco$xStoria$vCongressi 700 1 $aSommerstein, Alan H. 700 1 $aAtherton, Catherine 711 2 $aNottingham Classical Literature Symposium$n<4. ;$d1995 ;$cNottingham> 907 $a.b11892365$b28-04-17$c08-01-03 912 $a991003984449707536 945 $aLE007 00 SOM 01.01$g1$i2015000065209$lle007$n2013 n.c.$ned.est.0103$nLE015-0303$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i12150204$z08-01-03 996 $aEducation in greek fiction$9606743 997 $aUNISALENTO 998 $ale007$b08-01-03$cm$da $e-$feng$git $h0$i1 LEADER 02849nam0-2200529---450 001 9910342053603321 005 20250304112043.0 012 $ahoro ha0. alle noch (3) 1748 (R)$2fei$5IT-NA0852: B 1 III 5 (1 012 $ahoro ha0. alle noch (3) 1748 (R)$2fei$5IT-NA0852: B 1 III 5 bis (1 012 $a2.1. ioa, e-o- caSp (3) 1749 (R)$2fei$5IT-NA0338: U V 3 012 $a2.1. ioa, e-o- caSp (3) 1749 (R)$2fei$5IT-NA0852: B 1 III 5 (2 012 $a2.1. ioa, e-o- caSp (3) 1749 (R)$2fei$5IT-NA0852: B 1 III 5 bis (2 100 $a20191029g17481749km-y0itay50------ba 101 0 $aita 102 $aIT 140 $aa-----------------bb0------- 200 1 $aScienza della natura del p.d. Gio. Maria Della Torre c.r. somasco professore di fisica nel liceo arcivescovile, e membro dell'Accademia reale napoletana. Parte prima [-seconda] 210 $aIn Napoli$cPer Serafino Porsile Regio Stampatore$d1748-1749 215 $a2 v.$cill. calcogr.$d4° 300 $aVignetta calcogr. incisa da Filippo De Grado sul front. del v. 1 307 $aSegn.: ?? *? a-b? A-3I4?. - Ultima carta bianca (v. 1) 307 $aSegn.: ?? A-4F? (v. 2) 307 $a1.: [16], xvi, 439, [1] p., XXXI c. di tav. rip. ; 2.: [8], 600. p., [31] c. di tav. rip. 312 $aTit. dell'occhietto del v. 1: Scienza della natura generale 312 $aTit. dell'occhietto del v. 2: Scienza della natura particolare. Il mondo terrestre 316 $aPiatto anteriore completamente staccato$5IT-NA0338: U V 3 317 $aTimbro ovale: "Biblioteca Terracciano" sul front.$5IT-NA0338: U V 3 317 $aMutilo delle cc. di tav. V e VI$5IT-NA0852: B 1 III 5 bis (2 517 1 $aScienza della natura particolare. Il mondo terrestre 517 1 $aScienza della natura generale 620 $aItalia.$dNapoli 700 1$aDella Torre,$bGiovanni Maria$f<1710-1782>$0261463 719 00$aPorsile,$gSerafino$4650 801 0$aIT$bUNINA$gREICAT$2UNIMARC 856 4 $zVisualizza la versione elettronica in SBNWeb$uhttps://books.google.it/books?id=evLG2u0by98C&printsec=frontcover&hl=it&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false$e20240527 856 4 $zVisualizza la versione elettronica in SBNWeb$uhttps://books.google.it/books?id=ApneeQA6_AMC&printsec=frontcover&hl=it&source=gbs_ge_summary_r&cad=0#v=onepage&q&f=false$e20191030 901 $aAQ 912 $a9910342053603321 952 $aU V 3$fDBV 952 $aB 1 III 5 (1$b28602$fNAP14 952 $aB 1 III 5 (2$b28602$fNAP14 952 $aB 1 III 5 bis (1$b26502$fNAP14 952 $aB 1 III 5 bis (2$b26502$fNAP14 959 $aDBV 959 $aNAP14 996 $aScienza della natura del p.d. Gio. Maria Della Torre c.r. somasco professore di fisica nel liceo arcivescovile, e membro dell'Accademia reale napoletana. Parte prima$91564517 997 $aUNINA