01077nam0 22002651i 450 UON0004394020231205102157.98020020107d1967 |0itac50 baengAU|||| 1||||Essays in honour of Griffithes Wheeler Thatcher 1863-1950ed. by E.C.B. MacLaurinSydneySydney Sydney Univ. Press1967X, 255 p.22 cmNLLeidenUONL003056VO GEN D IVICINO ORIENTE - STUDI IN ONORE DI - GENERALIAAMACLAURINE. C. B.UONV027855THATCHERGriffithes WheelerUONV027856Sydney University PressUONV252886650ITSOL20240220RICASIBA - SISTEMA BIBLIOTECARIO DI ATENEOUONSIUON00043940SIBA - SISTEMA BIBLIOTECARIO DI ATENEOSI VO GEN D I 009 SI SEM646 7 009 Essays in honour of Griffithes Wheeler Thatcher 1863-19501157510UNIOR01158nam 2200397 450 991082902760332120230808201827.02-36723-106-0(CKB)3710000001093940(MiAaPQ)EBC4813619(Au-PeEL)EBL4813619(CaPaEBR)ebr11353331(OCoLC)975224572(EXLCZ)99371000000109394020200127d2016 uy 0freurcnu||||||||txtrdacontentcrdamediacrrdacarrierC'est un beau jour pour guérir /Jean-Pierre Le Rallic[Place of publication not identified] :Le Texte vivant,[2016]©20161 online resource (216 pages) illustrations2-36723-109-5 Traditional medicineTraditional medicine.615.882Le Rallic Jean-Pierre1960-1596800MiAaPQMiAaPQMiAaPQBOOK9910829027603321C'est un beau jour pour guérir3918309UNINA04661nam 22008055 450 991034942570332120200704044245.09783319781020331978102210.1007/978-3-319-78102-0(CKB)4100000002892527(DE-He213)978-3-319-78102-0(MiAaPQ)EBC6296144(MiAaPQ)EBC5579120(Au-PeEL)EBL5579120(OCoLC)1030437091(PPN)225550865(EXLCZ)99410000000289252720180320d2018 u| 0engurnn#008mamaatxtrdacontentcrdamediacrrdacarrierGraph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers /edited by Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton1st ed. 2018.Cham :Springer International Publishing :Imprint: Springer,2018.1 online resource (VII, 139 p.)Lecture Notes in Artificial Intelligence ;107759783319781013 3319781014 Exploring, Reasoning With and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs -- Subjective Bayesian Networks and Human-in-the-Loop Situational Understanding -- Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm -- Representing and Reasoning about Logical Network Topologies -- From Enterprise Concepts to Formal Concepts: A University Case Study -- Visualizing ALC Using Concept Diagrams -- Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results.This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2017, held in Melbourne, VIC, Australia, in August 2017, associated with IJCAI 2017, the 26th International Joint Conference on Artificial Intelligence. The 7 revised full papers presented were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background allows to bridge the gap between the different communities.Lecture Notes in Artificial Intelligence ;10775Artificial intelligenceLogic, Symbolic and mathematicalApplication softwareInformation storage and retrievalComputer networksMathematical statisticsArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Information Systems Applications (incl. Internet)https://scigraph.springernature.com/ontologies/product-market-codes/I18040Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Probability and Statistics in Computer Sciencehttps://scigraph.springernature.com/ontologies/product-market-codes/I17036Artificial intelligence.Logic, Symbolic and mathematical.Application software.Information storage and retrieval.Computer networks.Mathematical statistics.Artificial Intelligence.Mathematical Logic and Formal Languages.Information Systems Applications (incl. Internet).Information Storage and Retrieval.Computer Communication Networks.Probability and Statistics in Computer Science.006.332Croitoru Madalinaedthttp://id.loc.gov/vocabulary/relators/edtMarquis Pierreedthttp://id.loc.gov/vocabulary/relators/edtRudolph Sebastianedthttp://id.loc.gov/vocabulary/relators/edtStapleton Gemedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910349425703321Graph Structures for Knowledge Representation and Reasoning1903158UNINA