01718nam0 22004213i 450 CFI081383420231121125457.0978880790065520140724d2013 ||||0itac50 baitalatitz01i xxxe z01nSatireGiovenalea cura di Ugo DottiMilanoFeltrinelli2013411 p.20 cmUniversale economica65Testo originale a fronte001CFI00011032001 Universale economica65SatiraeBVEE004661CFIV00450717560Giovenale, Decimo Giunio . SatiraeCommentiFIRRMLC411677I877.01Satira e umorismo latino. Periodo romano, fino al 499 ca.22Iuvenalis, Decimus IuniusCFIV004507070439340Dotti, UgoCFIV012643340JuvenalAQ1V000206Iuvenalis, Decimus IuniusGiovenale, D. GiunioCFIV004508Iuvenalis, Decimus IuniusGiovenale, Decimo GiunioCFIV030380Iuvenalis, Decimus IuniusGiovenaleCFIV046531Iuvenalis, Decimus IuniusJuvenalis, Decimus JuniusLO1V414495Iuvenalis, Decimus IuniusJuvenalis, Decimus IuniusMILV125218Iuvenalis, Decimus IuniusITIT-0120140724IT-FR0017 Biblioteca umanistica Giorgio ApreaFR0017 NCFI0813834Biblioteca umanistica Giorgio Aprea 52S.SIJ. LL1 Iuv.Dot. 52SBA0000176435 VMN RS C 2014072420140724 52Satirae17560UNICAS05488nam 22007215 450 991014388360332120251116234304.03-540-45483-710.1007/3-540-45483-7(CKB)1000000000211973(SSID)ssj0000322206(PQKBManifestationID)11213936(PQKBTitleCode)TC0000322206(PQKBWorkID)10281460(PQKB)11244345(DE-He213)978-3-540-45483-0(MiAaPQ)EBC3073070(PPN)155191950(BIP)13638539(BIP)7838925(EXLCZ)99100000000021197320121227d2002 u| 0engurnn#008mamaatxtccrConceptual Structures: Integration and Interfaces 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings /edited by Uta Priss, Dan Corbett, Galia Angelova1st ed. 2002.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2002.1 online resource (XI, 400 p.)Lecture Notes in Artificial Intelligence ;2393Bibliographic Level Mode of Issuance: Monograph3-540-43901-3 Includes bibliographical references at the end of each chapters and index.Invited -- Conceptual Structures in Modern Information Retrieval -- Formal Concept Analysis on Its Way from Mathematics to Computer Science -- Data and Knowledge Structures -- A Linearly Complex Model for Knowledge Representation -- Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations -- Information Transfer across Simple Concept Graphs -- Relational Scaling and Databases -- Information Retrieval -- Knowledge Representation in CGLF, CGIF, KIF, Frame-CG and Formalized-English -- Conceptual Graph Matching for Semantic Search -- Text Schema Mining Using Graphs and Formal Concept Analysis -- Text Mining at Detail Level Using Conceptual Graphs -- Natural Language -- Processing Negation in NL Interfaces to Knowledge Bases -- Automatic Generation and Evaluation of Sentence Graphs out of Word Graphs -- CG Representations of Non-literal Expressions -- Ontology and Semantics -- A Peircean Ontology of Semantics -- Building Concept Lattices by Learning Concepts from RDF Graphs Annotating Web Documents -- The CG Formalism as an Ontolingua for Web-Oriented Representation Languages -- A Viewpoint Model for Cooperative Building of an Ontology -- Towards a Pragmatic Web -- A First Step toward the Knowledge Web: Interoperability Issues among Conceptual Graph Based Software Agents Part I -- Interfaces and Applications -- CGWorld - Architecture and Features -- Extending SNePSwD with Permissive Belief Revision -- On Teaching Conceptual Graphs -- Logical and Mathematical Foundations -- The Use of Associative Concepts in the Incremental Building of a Logical Context -- Modal Logic for Evaluating Formulas in Incomplete Contexts -- An Embedding of Existential Graphs into Concept Graphs with Negations -- Interpretation of Automata in Temporal Concept Analysis -- Associative and Formal Concepts -- Semiconcept Graphs with Variables -- Existential Concept Graphs of Power Context Families.This book constitutes the refereed proceedings of the 10th International Conference on Conceptual Structures, ICCS 2002, held in Borovets, Bulgaria. in July 2002.The 27 revised full papers presented together with two invited contributions were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on data and knowledge structures, information retrieval, natural language, ontology and semantics, interfaces and applications, and logical and mathematical foundations.Lecture Notes in Artificial Intelligence ;2393Artificial intelligenceComputer science—MathematicsLogic, Symbolic and mathematicalAlgorithmsArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Discrete Mathematics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17028Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Artificial intelligence.Computer science—Mathematics.Logic, Symbolic and mathematical.Algorithms.Artificial Intelligence.Discrete Mathematics in Computer Science.Mathematical Logic and Formal Languages.Algorithm Analysis and Problem Complexity.003/.54Priss Utaedthttp://id.loc.gov/vocabulary/relators/edtCorbett Danedthttp://id.loc.gov/vocabulary/relators/edtAngelova Galiaedthttp://id.loc.gov/vocabulary/relators/edtInternational Conference on Conceptual Structures.BOOK9910143883603321Conceptual Structures: Integration and Interfaces2168173UNINA