The global race to develop and deploy automated vehicles is still hindered by ...The global race to develop and deploy automated vehicles is still hindered by significant challenges with the related complexities requiring multidisciplinary research approaches. Knowledge Graph-Based Methods for Automated Driving offers...more
This volume contains the research papers presented at the International C- fer...This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2009) held July 6-10 2009 in Oslo Norway. This conference was the 18th in a series of...more
This open access book constitutes the proceedings of the proceedings of the 32...This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods TABLEAUX 2023 held in Prague Czech Republic during September 18-21 2023. The...more
This book provides a comprehensive and accessible introduction to knowledge gr...This book provides a comprehensive and accessible introduction to knowledge graphs which have recently garnered notable attention from both industry and academia. Knowledge graphs are founded on the principle of applying a graph-based abstraction to...more
This book constitutes the refereed proceedings of the 5th International Sympos...This book constitutes the refereed proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis ATVA 2007. The 29 revised full papers presented together with seven short papers address theoretical methods to...more
With the urgent demand for rapid turnaround on new software releases--without ...With the urgent demand for rapid turnaround on new software releases--without compromising quality--the testing element of software development must keep pace requiring a major shift from slow labor-intensive testing methods to a faster and more...more
Artificial intelligence is intelligence demonstrated by machines as opposed to...Artificial intelligence is intelligence demonstrated by machines as opposed to the natural intelligence displayed by humans or animals. There has been a lot of stories about how self-driving cars machines that create their products and many other...more
This the 11th issue of Transactions on Large-Scale Data- and Knowledge-Centere...This the 11th issue of Transactions on Large-Scale Data- and Knowledge-Centered Systems contains five selected papers focusing on Advanced Data Stream Management and Processing of Continuous Queries. The contributions cover different methods for...more
We introduce a new class of automated proof methodsfor the termination of rew...We introduce a new class of automated proof methods for the termination of rewriting systems on strings. The basis of all these methods is to show that rewriting preserves regular languages. To this end letters are annotated with natural numbers...more
Explorations in Automatic Thesaurus Discovery presents an automated method for...Explorations in Automatic Thesaurus Discovery presents an automated method for creating a first-draft thesaurus from raw text. It describes natural processing steps of tokenization surface syntactic analysis and syntactic attribute extraction. From...more
Computational collective intelligence (CCI) is most often understood as a subf...Computational collective intelligence (CCI) is most often understood as a subfield of artificial intelligence (AI) dealing with soft computing methods that enable group decisions to be made or knowledge to be processed among autonomous units acting...more