书目名称 | Foundations of Information and Knowledge Systems |
副标题 | 7th International Sy |
编辑 | Thomas Lukasiewicz,Attila Sali |
视频video | |
概述 | Up-to-date results.Fast-track conference proceedings.State-of-the-art research |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | This book constitutes the proceedings of the 7th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2012, held in Kiel, Germany, in March 2012.The 12 regular and 8 short papers, presented together with two invited talks in full paper-length, were carefully reviewed and selected from 53 submissions. The contributions cover foundational aspects of information and knowledge systems. These include the application of ideas, theories or methods from specific disciplines to information and knowledge systems, such as discrete mathematics, logic and algebra, model theory, informaiton theory, complexity theory, algorithmics and computation, statistics, and optimization. |
出版日期 | Conference proceedings 2012 |
关键词 | model checking; multi-agent systems; nonmonotonic reasoning; ontology; semantic Web; algorithm analysis a |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-642-28472-4 |
isbn_softcover | 978-3-642-28471-7 |
isbn_ebook | 978-3-642-28472-4Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag GmbH Berlin Heidelberg 2012 |