Welcome to our book review site go-pdf.online!

You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.

Sign up

Logic Programming
  • Language: en
  • Pages: 533

Logic Programming

This book constitutes the refereed proceedings of the 19th International Conference on Logic Programming, ICLP 2003, held in Mumbai, India in December 2003. The 23 revised full papers and 19 poster papers presented together with 5 invited full contributions and abstracts of 4 invited contributions were carefully reviewed and selected from 81 submissions. All current issues in logic programming are addressed.

Foundations of Probabilistic Logic Programming
  • Language: en
  • Pages: 548

Foundations of Probabilistic Logic Programming

  • Type: Book
  • -
  • Published: 2023-07-07
  • -
  • Publisher: CRC Press

Since its birth, the field of Probabilistic Logic Programming has seen a steady increase of activity, with many proposals for languages and algorithms for inference and learning. This book aims at providing an overview of the field with a special emphasis on languages under the Distribution Semantics, one of the most influential approaches. The book presents the main ideas for semantics, inference, and learning and highlights connections between the methods. Many examples of the book include a link to a page of the web application http://cplint.eu where the code can be run online. This 2nd edition aims at reporting the most exciting novelties in the field since the publication of the 1st edi...

Foundations of Intelligent Systems
  • Language: en
  • Pages: 783

Foundations of Intelligent Systems

  • Type: Book
  • -
  • Published: 2006-09-28
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 16th International Symposium on Methodologies for Intelligent Systems, ISMIS 2006. The book presents 81 revised papers together with 3 invited papers. Topical sections include active media human-computer interaction, computational intelligence, intelligent agent technology, intelligent information retrieval, intelligent information systems, knowledge representation and integration, knowledge discovery and data mining, logic for AI and logic programming, machine learning, text mining, and Web intelligence.

Probabilistic Semantic Web
  • Language: en
  • Pages: 193

Probabilistic Semantic Web

  • Type: Book
  • -
  • Published: 2016-12-09
  • -
  • Publisher: IOS Press

The management of uncertainty in the Semantic Web is of foremost importance given the nature and origin of the available data. This book presents a probabilistic semantics for knowledge bases, DISPONTE, which is inspired by the distribution semantics of Probabilistic Logic Programming. The book also describes approaches for inference and learning. In particular, it discusses 3 reasoners and 2 learning algorithms. BUNDLE and TRILL are able to find explanations for queries and compute their probability with regard to DISPONTE KBs while TRILLP compactly represents explanations using a Boolean formula and computes the probability of queries. The system EDGE learns the parameters of axioms of DISPONTE KBs. To reduce the computational cost, EDGEMR performs distributed parameter learning. LEAP learns both the structure and parameters of KBs, with LEAPMR using EDGEMR for reducing the computational cost. The algorithms provide effective techniques for dealing with uncertain KBs and have been widely tested on various datasets and compared with state of the art systems.

Machine Learning and Non-volatile Memories
  • Language: en
  • Pages: 178

Machine Learning and Non-volatile Memories

This book presents the basics of both NAND flash storage and machine learning, detailing the storage problems the latter can help to solve. At a first sight, machine learning and non-volatile memories seem very far away from each other. Machine learning implies mathematics, algorithms and a lot of computation; non-volatile memories are solid-state devices used to store information, having the amazing capability of retaining the information even without power supply. This book will help the reader understand how these two worlds can work together, bringing a lot of value to each other. In particular, the book covers two main fields of application: analog neural networks (NNs) and solid-state ...

Modern Information Processing
  • Language: en
  • Pages: 479

Modern Information Processing

  • Type: Book
  • -
  • Published: 2011-10-13
  • -
  • Publisher: Elsevier

The volume "Modern Information Processing: From Theory to Applications," edited by Bernadette Bouchon-Meunier, Giulianella Coletti and Ronald Yager, is a collection of carefully selected papers drawn from the program of IPMU'04, which was held in Perugia, Italy. The book represents the cultural policy of IPMU conference which is not focused on narrow range of methodologies, but on the contrary welcomes all the theories for the management of uncertainty and aggregation of information in intelligent systems, providing a medium for the exchange of ideas between theoreticians and practitioners in these and related areas.The book is composed by 7 sections: UNCERTAINTYPREFERENCESCLASSIFICATION AND...

AI*IA 2011: Artificial Intelligence Around Man and Beyond
  • Language: en
  • Pages: 478

AI*IA 2011: Artificial Intelligence Around Man and Beyond

  • Type: Book
  • -
  • Published: 2011-09-15
  • -
  • Publisher: Springer

This book constitutes the refereed proceedings of the 12th International Conference of the Italian Association for Artificial Intelligence, AI*IA 2011, held in Palermo, Italy, in September 2011. The 31 revised full papers presented together with 3 invited talks and 13 posters were carefully reviewed and selected from 58 submissions. The papers are organized in topical sections on machine learning; distributed AI: robotics and MAS; theoretical issues: knowledge representation and reasoning; planning, cognitive modeling; natural language processing; and AI applications.

Machine Learning, Optimization, and Data Science
  • Language: en
  • Pages: 777

Machine Learning, Optimization, and Data Science

This two-volume set, LNCS 12565 and 12566, constitutes the refereed proceedings of the 6th International Conference on Machine Learning, Optimization, and Data Science, LOD 2020, held in Siena, Italy, in July 2020. The total of 116 full papers presented in this two-volume post-conference proceedings set was carefully reviewed and selected from 209 submissions. These research articles were written by leading scientists in the fields of machine learning, artificial intelligence, reinforcement learning, computational optimization, and data science presenting a substantial array of ideas, technologies, algorithms, methods, and applications.

Applications and Practices in Ontology Design, Extraction, and Reasoning
  • Language: en
  • Pages: 244

Applications and Practices in Ontology Design, Extraction, and Reasoning

  • Type: Book
  • -
  • Published: 2020-12-02
  • -
  • Publisher: IOS Press

Semantic Web technologies enable people to create data stores on the Web, build vocabularies, and write rules for handling data. They have been in use for several years now, and knowledge extraction and knowledge discovery are two key aspects investigated in a number of research fields which can potentially benefit from the application of semantic web technologies, and specifically from the development and reuse of ontologies. This book, Applications and Practices in Ontology Design, Extraction, and Reasoning, has as its main goal the provision of an overview of application fields for semantic web technologies. In particular, it investigates how state-of-the-art formal languages, models, met...

Computational Logic in Multi-Agent Systems
  • Language: en
  • Pages: 262

Computational Logic in Multi-Agent Systems

This book constitutes the strictly refereed post-proceedings of the 4th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA IV, held in Fort Lauderdale, Fl, USA in January 2004. The 11 revised full papers presented together with 2 invited papers were carefully selected during two rounds of reviewing and improvement. The papers are devoted to techniques from computational logic for representing, programming, and reasoning about multi-agent systems. The papers are organized in topical sections on negotiation in MAS, planning in MAS, knowledge revision and update in MAS, and learning in BDI MAS.